由于BB'关于EF对称,所以EF为BB1垂直平分线,
交AD,BC于E,F,则BB‘为EF垂直平分线,所以B’E=BF
2.由于A'E=AE=a,B'F=B'e=c,B'A'=AB=b
所以a^2+b^2=C^2