Iniciante
Como , pelo pequeno teorema de Fermat:
deixa resto
na divisão por
.
Intemediário
Aplicação direta do Teorema de Turán:
Avançado
A prova consistirá no princípio de dualidade da Geometria Projetiva: se letras maiúsculas representam os pontos e letras minúsculas suas respectivas polares, então
Por construção , a reta polar de X é BC. Daí, e portanto
. Mas então, como
, segue que
o que, em particular, garante que AX e PO são perpendiculares.