그림처럼 정사각형 ABCD에서 E는 CD 변에 한 점, F는 BC 연장선 상점, CE=CF.구증:BE=DF.

그림처럼 정사각형 ABCD에서 E는 CD 변에 한 점, F는 BC 연장선 상점, CE=CF.구증:BE=DF.

증명: 사변형 ABCD는 정사각형, BC=DC, ☞BCD=ᄀDCF=90도, BCE와 DCF에서는 BC=DC∙BCD=ᄀDCF=90°CE=CF, ☞ BCE∙DCF(SAS), BE=DF.