Lagrangeov teorem (teorija brojeva): razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Oznake: mobilni uređaj m.wiki
Oznake: mobilni uređaj m.wiki
Redak 9:
dokazivati. Nasuprot, pretpostavimo kako je <math>P(x_0) \equiv 0 \pmod p</math>, za neki cijeli broj <math>x_0</math>
te neka je <math>P(x) = a_nx^n + a_{n-1}x^{n - 1} + ... + a_1x + a_0,</math> gdje su <math>a_0, a_1, ... , a_n \in \mathbb{Z}</math>.
Odatle je <math>P(x) \equiv P(x) - P(x_0) \pmod p</math>, tj. </math>P(x) \equiv a_n(x^n - {x_0}^n) + a_{n-1}(x^{n - 1} - {x_0}^{n - 1}) + ... + a_1(x - x_0) \pmod p.</math>.
 
Kako za <math>k \in \mathbb{N} </math> vrijedi <math>x^k - {x_0}^k = (x - x_0)(x^{k-1} + x^{k - 2}x_0 + ... + x{x_0}^{k - 2} + {x_0}^{k - 1}),</math>
Redak 16:
 
Prema pretpostavci indukcije, kongruencija <math> Q(x) \equiv 0
\pmod p </math> ima najviše <math>n - 1</math> rješenja pa kongruencija <math>P(x) \equiv 0 \pmod p</math> ima najviše <math>n</math>
rješenja (dakle <math> x_0 </math> i rješenja kongruencije <math>Q(x) \equiv 0 \pmod p</math>), što je i trebalo dokazati.<ref>https://www.mathos.unios.hr/~imatic/uvod%20u%20teoriju%20brojeva.pdf</ref>
 
==Izvori==