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.

Comente