Transcript diofant
Pred. Ivan Dražić, prof.
Tehnički fakultet u Rijeci
•“Otac simboličke algebre”
•Djelo “Aritmetika” u 13. svezaka, 6
izgubljenih
Andrew Wiles, 1994.
10. Hibertov problem (od 22. iz 1900. u
Parizu)
◦ Postoji li algoritam koji može utvrditi ima li
proizvoljna diofantska jednadžba rješenje?
◦ 1970. Matiyasevich – NE!
◦ Kod kojih jednadžbi je to moguće?
Što je to diofantska jednadžba?
◦ Neodređena algebarska jednadžba s cjelobrojnim
koeficijentima čija su rješenja cijeli brojevi
Što znači riješiti diofantsku jednadžbu?
◦ Naći sva rješenja, pokazati da nema ostalih rješenja
ili pokazati da jednadžba nema rješenja
KORIŠTENJEM RAZLIČITIH NEJEDNAKOSTI
RADI SE RESTRIKCIJA INTERVALA U KOJIMA SE
NALAZE RJEŠENJA
...
DOKAZ DA JEDNADŽBA IMA
BESKONAČNO RJEŠENJA!
Pokazati da jednadžba ima beskonačno rješenja:
Zasniva se na teoremima:
◦
NE POSTOJI STROGO PADAJUĆI NIZ PRIRODNIH
BROJEVA.
◦
U PADAJUĆEM NIZU PRIRODNIH BROJEVA IMA
SAMO KONAČNO RAZLIČITIH ELEMENATA
KONTRADIKCIJA S PRVIM TEOREMOM!
KORIŠTENJE MODULARNE ARITMETIKE
KORIŠTENJE PRINCIPA MATEMATIČKE
INDUKCIJE
PITAGORINA JEDNADŽBA
Relativno prosti
PELLOVA JEDNADŽBA
Nema rješenja ili ima
beskonačno mnogo rješenja!