Iniciante
Como mdc(8,29)=1, pelo pequeno teorema de Fermat: 829−1≡1(mod29)⇒(828)32≡132(mod29)⇒8896≡1(mod29)⇒8900≡84≡82⋅82≡64⋅64≡6⋅6≡7(mod29)⇒8900 deixa resto 7 na divisão por 29.
Intemediário
Aplicação direta do Teorema de Turán:
∣A∣≥n22(1−15)=4n210=2n25
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
R∈s⇒S∈r
Por construção , a reta polar de X é BC. Daí, P∈x e portanto X∈p. Mas então, como A∈p, segue que
p=AX
o que, em particular, garante que AX e PO são perpendiculares.