AB1*BB1 = BC1*CC1 => 三角形ABB1 和BCC1 面积相等
B1X/C1C=(BX/BC=AY1/AB)=A1Y1/BB1
BB1*B1X=CC1*A1Y1
BB1*B1X=CC1*C1Y (A1Y1=C1Y) =〉=> 三角形BB1X 和CC1Y 面积相等
面积相加,三角形ABX 和BCY 面积相等,对应两边相等,第三边必然相等,AX=BY