△ ABC 에 서 는 AD 를 평균 8736 점 으로 나눈다. BAC 는 BC 에서 D, EF 는 8214 점, AD 에 게 건 네 고 AC 는 E 에 게 건 네 주 고 BA 의 연장선 은 F 에 게 건 네 주 며 증 거 를 구한다. △ AEF 는 이등변 삼각형 이다.

△ ABC 에 서 는 AD 를 평균 8736 점 으로 나눈다. BAC 는 BC 에서 D, EF 는 8214 점, AD 에 게 건 네 고 AC 는 E 에 게 건 네 주 고 BA 의 연장선 은 F 에 게 건 네 주 며 증 거 를 구한다. △ AEF 는 이등변 삼각형 이다.

증명: ∵ EF * 8214 * AD, 8756 * * 8736 * F = 8736 * BAD, 8736 * 8736 * AEF = 8736 * DAC, 87577 * AD 평 점 8736 * BAC, 8756 * 8736 * BAD = 8736 * DAC, 8756 * 8736 F = 8736 * AEF, 8756 * AE = AE = AF, 즉 △ AEF 는 이등변 삼각형 입 니 다.