因为, 如果AX=BY, 三角ABX 就要全等BCY, 从而角B=C (=D=A=90度)
ABCD是正方型的情况下, 证明AX=BY是很间单的. 而且只要有一个条件既可, 或者BX=CY 或者AX垂直BY.