Заглавие | 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 |
Pagination | 105-121 |
ISSN | 0205-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 |
Прикачен файл | Размер |
---|---|
103-105-121.pdf | 204.19 KB |