Recordar propiedades de potenciación para esta parte

()
n n
n p n p n
q an =q an n =an p
q q

()
n−1 n−1 n −1 n−1
p p p p
q n an−1 =q n a n−1 n−1 =qn an−1 n −1 =an−1 −1 =q an −1 pn−1
q q q q q
(…)

()
2 2
n p n p n 2 2 n+2 2
q a2 =q a2 2 =q a2 p q =q a2 p
q q

()
1
n p n p n +1
q a1 =q a 1 =q a1 p
q q
n
q a0

Buscamos q en cada termino para sacar factor común

=q ( q an−2 p )
2 n−2 n −2
q a n−2 p

(…)

q n−1 a n p=qn −2 +1 a n p=qn−2 q a n p=q ( q n−2 an p )

a0 =q ( q a0 )
n n+1−1 1 n−1 n−1
q a0=q a0 =q q

Parte final para probar que q divide a n y que p divide a 0

Supongamos que k=−( a n−1 p an ) y k ∈ Z . Entonces :

n−1 n−2 n−1
+ …+q a n p+ q
n n
a n p =qk ⇒q∨an p (1)

Como q no divide a p , q tampoco divide a p (2) (propiedad 5 de división en Z )

n

Entonces, por (1) y (2), q∨a n.

Para la otra parte de la demostración, debemos considerar la expresión

n
Y, despejando q a0, haciendo algunas cuentas podríamos obtener que:

q a0=− p ( an p a n)
n n−1 n−2 n−1
+ q an−1 p + …+q

Entonces, considerando que m=−( an p +q a n−1 pn−2 +…+q n−1 an ), se tiene que:
n−1

n n
q a0= pm⇒ p∨q a 0 (3)
Como p no divide a q, p no divide a qn (4)

Luego, por (3) y (4), p∨a0.