Lema 1: Umnožak faktora je nula ako i samo ako je barem jedan od faktora nula.
PRIMJER 1:
Riješi diofantsku jednadžbu:
.
RJEŠENJE:
Po lemi, vidimo da su rješenja oblika
(ako je prva zagrada jednaka nuli),
(ako je druga zagrada jednaka nuli) i
(ako je treća zagrada jednaka nuli; ovo možete zapisati i preko nekog parametra).
Nema veze što se neki skupovi rješenja preklapaju, na primjer
(kada su prva i treća zagrade jednake nuli), bitno je samo da pokrijete sva rješenja.
PRIMJER 2:
Riješimo diofantsku jednadžbu
.
RJEŠENJE:
Zadana jednadžba zapravo je jednaka:
. Dakle, dovoljno je riješiti samo slučajeve kada je jedna zagrada jednaka
, a druga
. Sada izjednačavamo zagrade s tim vrijednostima. Konkretno, rješenja su
.
Zadatci za samostalno rješavanje
1. Riješi u cijelim brojevima:
.
2. Riješi u cijelim brojevima:
.
3. Nađi sva cijelobrojna rješenja za:
.
\textbf{Lema 1:} Umnožak faktora je nula \textit{ako i samo ako} je \textbf{barem} jedan od faktora nula.
PRIMJER 1:
Riješi diofantsku jednadžbu: $(x+3)(y-7)(x+y)=0$.
RJEŠENJE:
Po lemi, vidimo da su rješenja oblika $x=-3, y \in \mathbb{Z}$ (ako je prva zagrada jednaka nuli), $x \in \mathbb{Z}, y=7$ (ako je druga zagrada jednaka nuli) i $x = -y$ (ako je treća zagrada jednaka nuli; ovo možete zapisati i preko nekog parametra).
Nema veze što se neki skupovi rješenja preklapaju, na primjer $(x, y) = (-3, 3)$ (kada su prva i treća zagrade jednake nuli), bitno je samo da pokrijete sva rješenja.
PRIMJER 2:
Riješimo diofantsku jednadžbu $xy + x - 3y - 6 = 0$.
RJEŠENJE:
Zadana jednadžba zapravo je jednaka: $(y + 1)(x - 3) = 3$. Dakle, dovoljno je riješiti samo slučajeve kada je jedna zagrada jednaka $\pm 1$, a druga $\pm 3$. Sada izjednačavamo zagrade s tim vrijednostima. Konkretno, rješenja su $(x, y) = (2, 4), (0, 6), (-4, 2), (-2, 0)$.
\textbf{Zadatci za samostalno rješavanje}
1. Riješi u cijelim brojevima: $4x^2 + 2xy + 2x + y = 0$.
2. Riješi u cijelim brojevima: $6x^2 - 13xy + 6y^2 = 4$.
3. Nađi sva cijelobrojna rješenja za: $x^2 + 37^2 = y^2$.