Page 1 Next

Displaying 1 – 20 of 169

Showing per page

Altitude, Orthocenter of a Triangle and Triangulation

Roland Coghetto (2016)

Formalized Mathematics

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.

Currently displaying 1 – 20 of 169

Page 1 Next