Siano ABC e A'B'C' due triangoli, e siano $ ~ \alpha, \beta, \gamma $ gli angoli di ABC. L'angolo in A' misura $ ~ \alpha $, e l'angolo in B' misura $ \pi - \beta $. Dimostrare che $ \frac{BC}{B'C'} = \frac{AC}{A'C'} $.
Con una rotomotetia su A'B'C' porto A' in A, B' in B, C' dall'altra parte di C.
Il rapporto B'C'/A'C' si conserva senza problemi.
A questo punto, essendo C', B = B', C allineati, il problema equivale al teorema della bisettrice.
