DIRECT AND INDIRECT METHODS OF PROOF. THE LEHMUS-STEINER THEOREM

ЗаглавиеDIRECT AND INDIRECT METHODS OF PROOF. THE LEHMUS-STEINER THEOREM
Вид публикацияJournal Article
Година на публикуване2016
АвториMihova V, Ninova J
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том103
Pagination105-121
ISSN0205-0808
ключови думиDirect and indirect methods of proof, direct proof of Lehmus-Steiner’s theorem, logical models, Stewart’s theorem
Резюме
We describe and discuss the different methods of proof of a given statement and illustrate by logical models the essence of specific types of proofs, especially of direct and indirect methods of proof.
Two direct proofs of Lehmus-Steiner’s theorem are proposed.
2000 MSC

Primary 51F20, Secondary 51M15

Прикачен файлРазмер
PDF icon 103-105-121.pdf204.19 KB