Computer aided proof of heights of a triangle are concurrent
- Zoltán Kovács
Heights of a triangle are concurrent
GeoGebra uses symbolic computations to confirm that the heights of a triangle are always concurrent. (In other words: they always lie on a common point.) What happens if the triangle is a degenerate one, i.e. A, B and C are collinear? GeoGebra assumes that the "heights" are concurrent in the infinity, so the statement is still true.