Тараф ва кунҷ
Дар секунҷаи баробарпаҳлу тарафҳои баробар кунҷҳои баробар доранд. Агар тарафҳо баробар набошанд, кунҷҳо чӣ гуна мешаванд?
Маълум:
Матлуб:
Исбот.
Теорема исбот шуд. ∎
Исбот. Маълум: Матлуб: Фарз мекунем, ки нест, яъне ё Агар секунҷа баробарпаҳлу аст ва (теоремаи 1) — ин ба шарт мухолиф аст. Агар аз теоремаи боло — боз мухолифат. Пас ∎