O artykule
Data publikacji: 31 sie 2016
Zakres stron: 27 - 36
Otrzymano: 30 gru 2015
DOI: https://doi.org/10.1515/forma-2016-0003
Słowa kluczowe
© by Roland Coghetto
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.
We introduce the altitudes of a triangle (the cevians perpendicular to the opposite sides). Using the generalized Ceva’s Theorem, we prove the existence and uniqueness of the orthocenter of a triangle [7]. Finally, we formalize in Mizar [1] some formulas [2] to calculate distance using triangulation.