<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></abstract>

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.

Altitude, Orthocenter of a Triangle and Triangulation

Rue de la Brasserie 5 7100 La Louvière, Belgium

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

{"article-title":"Altitude, Orthocenter of a Triangle and Triangulation"}

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...

Altitude, Orthocenter of a Triangle and Triangulation

Online veröffentlicht: 31. Aug. 2016

Seitenbereich: 27 - 36

Eingereicht: 30. Dez. 2015

DOI: https://doi.org/10.1515/forma-2016-0003

Schlüsselwörter
Euclidean geometry, trigonometry, altitude, orthocenter, triangulation, distance

© by Roland Coghetto

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Altitude, Orthocenter of a Triangle and Triangulation

Online veröffentlicht: 31. Aug. 2016

Seitenbereich: 27 - 36

Eingereicht: 30. Dez. 2015

DOI: https://doi.org/10.1515/forma-2016-0003

SchlüsselwörterEuclidean geometry, trigonometry, altitude, orthocenter, triangulation, distance

© by Roland Coghetto

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Schlüsselwörter
Euclidean geometry, trigonometry, altitude, orthocenter, triangulation, distance