C.a.R. > Applications > Non-Euclidean Geometry > Orthocenter

The fact that the heights are angle bisectors of the triangle of the bases of the heights still holds in Poincaré geometry. The proof must be different from this one.