| Title | DIRECT AND INDIRECT METHODS OF PROOF. THE LEHMUS-STEINER THEOREM |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Mihova V, Ninova J |
| Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Volume | 103 |
| Pagination | 105-121 |
| ISSN | 0205-0808 |
| Keywords | Direct and indirect methods of proof, direct proof of Lehmus-Steiner’s theorem, logical models, Stewart’s theorem |
| Abstract | 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 |
| Attachment | Size |
|---|---|
 103-105-121.pdf | 204.19 KB |