设∠ACE=α,∠BCF=β,则α+β=45,α+β+45=90,2(α+β)=90
⊿ACE中用正弦定理有 AE/sinα=CE/sin45
所以CE=AEsin45/sinα
⊿CEF中用正弦定理有：EF/sin45=CE/sin(45+β)=CE/cosα
所以 EF=sin45* AEsin45/sinαcosα=AE/sin2α
所以 AE=EF*sin2α
同理BF=EF*sin2β
所以AE²+BF² =EF²（sin²2α+sin²2β）=EF²得证