Altitude, Orthocenter of a Triangle and Triangulation

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 uniqueness of the orthocenter of a triangle [7]. Finally, we formalize in Mizar [1] some formulas [2] to calculate distance using triangulation...

Full description

Bibliographic Details
Main Author: Coghetto Roland
Format: Article
Language:English
Published: Sciendo 2016-03-01
Series:Formalized Mathematics
Subjects:
51m04
03b35
euclidean geometry
trigonometry
altitude
orthocenter
triangulation
distance
identifier: euclid13
version: 8.1.04 5.36.1267
Online Access:https://doi.org/10.1515/forma-2016-0003

Internet

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

Similar Items