그림 에서 정사각형 ABCD 에서 대각선 AC 와 BD 는 점 E,AF 는 8736°BAC 로 나 뉘 고 BD 는 점 F 에 제출 하 며 증 거 를 구한다.EF+12AC=AB.

그림 에서 정사각형 ABCD 에서 대각선 AC 와 BD 는 점 E,AF 는 8736°BAC 로 나 뉘 고 BD 는 점 F 에 제출 하 며 증 거 를 구한다.EF+12AC=AB.

증명:그림 에서 보 듯 이 F 는 FM⊥AB 를 점 M 에서 만 들 었 고 전체 8757°AC⊥BD 는 점 E 에서 이 루어 졌 으 며 전체 8756°AE=12AC,전체 ABD=8736°CBD=45°,전체 8757°AF 평 점 BAC,전체 EF= MF.그리고 8757°AF=AF,전체 8756°Rt△AMF≌Rt△AEF(HL),8756AEAEAEE=AM,전체 8757AF=AF,전체 8756°Rt△AMF≌Rt△AEF(HL),8756AEE=AM,전체 8757 에서 8757AF=AF,전체 Rt△AMF\8780Rt△AEF(HL),8756F AEF(HL),\8756AEAEMFB=∠ABF=45°,∴MF=MB,∴MB=EF,∴EF+12AC=MB+AE=MB+AM=AB.