Both approaches to Theorem 1 are quite common and belong to the folklore in the mathematical olympiads community. We believe that they can serve as nice exercises in projective, or respectively hyperbolic, geometry.
Both approaches to Theorem 1 are quite common and belong to the folklore in themathematical olympiads community. We believe that they can serve as nice exercisesin projective, or respectively hyperbolic, geometry.