Olkoon $n$ positiivinen kokonaisluku. Osoita, että $\syt(n^3+1, n^2+2)=1$, $3$ tai $9$.

Suurin yhteinen tekijä, $\syt$, toimii yhtälailla polynomeille kuin kokonaisluvuillekin. Kokonaisluvuille pätee muutama simppeli sääntö. Kaikille $a,b,c\in\mathbb Z$ pätee

• $\syt(a+cb,b)= \syt(a,b)$ eli esimerkiksi $\syt(8+2\cdot12, 12) = \syt(8,12)$.

[Todistus tulee joskus.] Tämä tulos on helppo yleistää polynomeillekin.

 

Siis

$\syt(n^3+1,n^2+2)=\syt((n^3+1)−n(n^2+2),n^2+2)$

$=\syt(1−2n,n^2+2)$.

Leikitään samaa leikkiä lisää, jolloin

$\syt(n^3+1,n^2+2)=\syt(2n-1,n^2+2)$

$= \syt(2n-1, n^2+2+2n-1)$

$= \syt(2n-1,n^2+2n+1)$

$= \syt(2n-1,(n+1)^2).$

Saatiin ainakin se neliö aikaiseksi. Nyt, jos saadaan vielä yhteiseksi tekijäksi $1$ tai $3$, niin homma on selvä. Joten lasketaan

$\syt(2n-1,n+1) =\syt(2n-1-(n+1), n+1)$

$=\syt(n-2,n+1) $

$= \syt(n-2,n+1-(n-2))$

$=\syt(n-2,3)= 1\text{ tai }3$.

Viimeinen rivi on selvä; edelliset ovat äskeisen tuloksen toistoa. Lisätyt polynomit ovat näkyvissä, joten homma on aika selvä.