예를 들어, AD는 BAC, DE는 E, DF는 F, DB=DC는 BAC, DE는 AB, DF는 F에 AC를, DB=DC는 EB=FC.

예를 들어, AD는 BAC, DE는 E, DF는 F, DB=DC는 BAC, DE는 AB, DF는 F에 AC를, DB=DC는 EB=FC.

증명: ₩AD 는 BAC, DE는 E, DF는 F, DE는 DF, DE는 AB, DF는 F, DF는 Rt DBE와 Rt DCF에서 DE=DFDB=DC, Rt DBE는 Rt DCF(HL), EB=FC는 DE=DFDB=DC, DE는 Rt DBE는 Rt DCF, DF는 Rt DBE와 Rt DCF에서 DE=DF는 DE=DF.