Diofantove jednačine

Pronalaženje svih pravih trouglova sa celobrojnim dužinama stranica ekvivalentno je rešavanju Diofantove jednačine a2 + b2 = c2.

Diofantova jednačina je algebarska jednačina s dve ili više nepoznatih s celobrojnim koeficijentima u kojoj se traže celobrojna ili racionalna rešenja. Ime je dobila po Diofantu koji je prvi sistematski proučavao takve jednačine.[1] Linearna Diofantova jednačina izjednačava zbir dva ili više monoma, svaki stepena 1 u jednoj od promenljivih, sa konstantom. Eksponencijalna Diofantova jednačina je ona u kojoj eksponenti na članovima mogu biti nepoznati.

Primeri

U sledećim Diofantovim jednačinama, w, x, y, i z su nepoznate, a ostalim slovima su date konstante:

ax + by = 1 Ovo je linearna Diofantova jednačina.
w3 + x3 = y3 + z3 Najmanje netrivijalno rešenje u pozitivnim celobrojnim brojevima je 123 + 13 = 93 + 103 = 1729. Poznato je po tome što mu je dato evidentno svojstvo 1729. godine, broj taksija (takođe nazvan Hardi–Ramanudžanov broj), po Ramanudžanu i Hardiju tokom sastanka 1917.[2] Postoji beskonačno mnogo netrivijalnih rešenja.[3]
xn + yn = zn Za n = 2 postoji beskonačno mnogo rešenja (x, y, z): Pitagorinih trojki. Za veće celobrojne vrednosti od n, poslednja Fermaova teorema (koju je inicijalno objavio Fermat 1637. i dokazao Endru Vajls 1995[4]) navodi da ne postoje pozitivna celobrojna rešenja (x, y, z).
x2 − ny2 = ±1 Ovo je Pelova jednačina, koja je dobila ime po engleskom matematičaru Džonu Pelu. Nju je studirao Bramagupta u 7. veku, kao i Fermat u 17. veku.
4/n = 1/x + 1/y + 1/z Erdos-Štrausova hipoteza navodi da, za svaki pozitivni celi broj n ≥ 2, postoji rešenje u x, y, i z, sva od kojih su pozitivni celi brojevi. Iako se obično ne navodi u polinomnom obliku, ovaj primer je ekvivalentan polinomskoj jednačini 4xyz = yzn + xzn + xyn = n(yz + xz + xy).
x4 + y4 + z4 = w4 Ojler je pogrešno pretpostavio da nema netrivijalnih rešenja. Elkis je dokazao da ima beskonačno mnogo netrivijalnih rešenja, a Fraj je računarskom pretragom odredio najmanje netrivijalno rešenje.[5]

Linearne Diofantove jednačine

Diofantova linearna jednačina je jednačina oblika:

a x + b y = c {\displaystyle ax+by=c}

gdje su a, b i c neki celi brojevi.

Primer
x = − 5 3 y {\displaystyle x=-{\frac {5}{3}}y}
Kako je x ceo broj to je y deljivo sa 3
y = 3 t {\displaystyle y=3t}
odnosno
x = − 5 t {\displaystyle x=-5t}
( x , y ) = ( − 5 t , 3 t ) {\displaystyle (x,y)=(-5t,3t)}
Teorema

Diofantova jednačina a x + b y = c {\displaystyle ax+by=c} , gde su a {\displaystyle a} , b {\displaystyle b} , c {\displaystyle c} celi brojevi a 2 + b 2 ≠ 0 , {\displaystyle a^{2}+b^{2}\neq 0,} ima celobrojna rešenja ako i samo ako M ( a , b ) {\displaystyle M(a,b)} deli c {\displaystyle c} .

Ako su x 0 {\displaystyle x_{0}} i y 0 {\displaystyle y_{0}} rešenja te jednačine onda su sva rešenja oblika

x = x 0 + b d t {\displaystyle x=x_{0}+{\frac {b}{d}}t}
y = y 0 + a d t {\displaystyle y=y_{0}+{\frac {a}{d}}t}

Rešenje ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} naziva se partikularno rešenje Diofantove jednačine. Opšte rešenje je zbir partikularnog rešenja i rešenja homogene jednačine a x + b y = 0 {\displaystyle ax+by=0}

Primer
3 x + 5 y = 8 {\displaystyle 3x+5y=8}

Partikularno rešenje je ( 1 , 1 ) {\displaystyle (1,1)} , a rešenja pripadne homogene jednačine su ( − 5 t , 3 t ) {\displaystyle (-5t,3t)} , t ∈ Z {\displaystyle t\in Z}

Rešenja jednačine su parovi ( 1 − 5 t , 1 + 3 t ) {\displaystyle (1-5t,1+3t)} za t ∈ Z {\displaystyle t\in Z} Za pronalaženje partikularnog rešenja Diofantove jednačine korististi se Euklidov algoritam pomoću kojeg određuju celi brojevi k {\displaystyle k} i l {\displaystyle l} za koje vredi a x + b y = d {\displaystyle ax+by=d} , gde je d = M ( a , b ) {\displaystyle d=M(a,b)} , a zatim množenjem sa c d {\displaystyle {\frac {c}{d}}} dobija se partikularno rešenje.

Primer
1000 x − 123 y = 5 {\displaystyle 1000x-123y=5}
1000 = 8 ∗ 123 + 16 {\displaystyle 1000=8*123+16}
123 = 7 ∗ 16 + 11 {\displaystyle 123=7*16+11}
16 = 1 ∗ 11 + 5 {\displaystyle 16=1*11+5}
11 = 2 ∗ 5 + 1 {\displaystyle 11=2*5+1}

pa je

16 = 1000 − 8 ∗ 123 {\displaystyle 16=1000-8*123}
11 = 123 − 7 ∗ 16 {\displaystyle 11=123-7*16}
5 = 16 − 1 ∗ 11 {\displaystyle 5=16-1*11}
1 = 11 − 2 ∗ 5 {\displaystyle 1=11-2*5}

U poslednju jednakost se uvrsti izraz za broj 5 iz pretposlednje jednakosti

1 = 11 − 2 ∗ 5 = 11 − 2 ∗ ( 16 − 11 ∗ 1 ) = 3 ∗ 11 − 2 ∗ 16 {\displaystyle 1=11-2*5=11-2*(16-11*1)=3*11-2*16}
1 = 3 ∗ ( 123 − 16 ∗ 7 ) − 2 ∗ 16 = 3 ∗ 123 − 23 ∗ 16 {\displaystyle 1=3*(123-16*7)-2*16=3*123-23*16}
1 = 3 ∗ 123 − 23 ∗ ( 1000 − 8 ∗ 123 ) = − 23 ∗ 1000 + 187 ∗ 123 {\displaystyle 1=3*123-23*(1000-8*123)=-23*1000+187*123}

tj.

1 = − 23 ∗ 1000 + 187 ∗ 123 {\displaystyle 1=-23*1000+187*123} / ∗ 5 {\displaystyle /*5}
5 = − 115 ∗ 1000 + 935 ∗ 123 {\displaystyle 5=-115*1000+935*123}
x 0 = − 115 {\displaystyle x_{0}=-115}
y 0 = − 935 {\displaystyle y_{0}=-935}
x = 123 t {\displaystyle x=123t}
y = 1000 t {\displaystyle y=1000t}

Rešenje date jednadnačine je

x = − 115 + 123 t {\displaystyle x=-115+123t}
y = − 935 + 1000 t {\displaystyle y=-935+1000t} t ∈ Z {\displaystyle t\in Z}
Primer

Za prevoz neke robe raspolaže se vrećama od 40 kg i 60 kg. Koliko treba uzeti jednih, a koliko drugih da se preveze 500 kg robe

Zadatak se može rešiti Ojlerovom metodom

40 x + 60 y = 500 {\displaystyle 40x+60y=500}
2 x + 3 y = 25 {\displaystyle 2x+3y=25} za x ≥ 0 {\displaystyle x\geq 0} i y ≥ 0 {\displaystyle y\geq 0}
x = 25 − 3 y 2 = 12 − y + 1 − y 2 {\displaystyle x={\frac {25-3y}{2}}=12-y+{\frac {1-y}{2}}}
1 − y 2 = u {\displaystyle {\frac {1-y}{2}}=u} u   Z {\displaystyle u\ Z}
2 u + y = 1 {\displaystyle 2u+y=1}
y = 1 − 2 u {\displaystyle y=1-2u}
x = 12 − ( 1 − 2 u ) + u = 11 + 3 u {\displaystyle x=12-(1-2u)+u=11+3u}

Rešenja jednadčine su parovi ( x , y {\displaystyle (x,y} ) gde je x = 11 + 3 u {\displaystyle x=11+3u} i y = 1 − 2 u {\displaystyle y=1-2u}

− 11 3 ≤ u ≤ 1 2 => u = − 3 , − 2 , − 1 , 0 {\displaystyle -{\frac {11}{3}}\leq u\leq {\frac {1}{2}}=>u=-3,-2,-1,0}

Traženi parovi ( x , y {\displaystyle (x,y} ) su ( 2 , 7 ) {\displaystyle (2,7)} ( 5 , 5 ) {\displaystyle (5,5)} ( 8 , 3 ) {\displaystyle (8,3)} i ( 11 , 1 ) {\displaystyle (11,1)}

Nelinearne Diofantove jednačine

Ne postoji univerzalna metoda rešavanja ovih jednačina, ali zato postoji niz metoda kojima se rešavaju neki specijalni tipovi nelinearnih Diofantovih jednačina. Neki od tih metoda su:

  1. metod faktorizacije
  2. metod razlomka
  3. metod poslednje cifre
  4. metod kongruencije
  5. metod zbira potencija s parnim eksponentima
  6. metod nejednakosti

Metod faktorizacije

Metod faktorizacije sastoji se u tome da se jedna strana jednačine zapiše u obliku proizvoda celobrojnih vrednosti, pa uzimajući u obzir drugu stranu jednačine posmatraju se mogući slučajevi.

x y + x − 3 y − 3 = 0 {\displaystyle xy+x-3y-3=0}
( x − 3 ) ( y + 1 ) = 3 {\displaystyle x-3)(y+1)=3}

Ovo je moguće za

x-3 y+1
1 3
-1 -3
3 1
-3 -1
odnosno
x y
4 2
2 -4
6 0
0 -2

Metod razlomka

Osnovna ideja ovog metoda slična je kao kod metode faktorizacije, samo što se sada jedna stranu jednačine zapisuje u obliku razlomka dve celobrojne vrednosti, dok druga strane jednačine ima takođe celobrojnu vrednost. Zbog toga nazivnik tog razlomka mora deliti brojnik, što daje klasifikaciju mogućih slučajeva. Spomenuti razlomak se u praksi najčešće dobija tako da se jedna nepoznata izrazi kao racionalna funkcija druge.

x y + 2 y = x {\displaystyle xy+2y=x}
y ( x + 2 ) = x {\displaystyle y(x+2)=x}
y = x x + 2 = 1 − 2 x + 2 {\displaystyle y={\frac {x}{x+2}}=1-{\frac {2}{x+2}}}
x   { − 1 , − 3 , 0 , − 4 } {\displaystyle x\ {\begin{Bmatrix}-1,-3,0,-4\end{Bmatrix}}}
y   { − 1 , 3 , 0 , − 2 } {\displaystyle y\ {\begin{Bmatrix}-1,3,0,-2\end{Bmatrix}}}

Metod poslednje cifre

Metod poslednje cifre je podmetod metoda ostataka koji koristi ispitivanje ostataka pri deljenju brojem 10. Preciznije, razdvajanje slučajeva se vrši posmatranjem zadnje cifre nekih delova jednačine, te njihovim usklađivanjem.

x 2 + 5 y = 199519941993 {\displaystyle x^{2}+5y=199519941993}

Kvadrat celog broja završava cifrom 0, 1, 4, 5, 6, ili 9, a broj 5 y {\displaystyle 5y} sa 0 ili 5, pa zbir na levoj strani završava sa 0, 1, 4, 5, 6, ili 9, a ne sa 3. Jednačina nema rešenja.

Metod kongruencije

x 2 − 4 y = 1995 {\displaystyle x^{2}-4y=1995}
1995 {\displaystyle 1995} neparan, a 4 y {\displaystyle 4y} paran, pa je x {\displaystyle x} neparan
x = 2 k − 1 {\displaystyle x=2k-1}
( 2 k − 1 ) 2 − 4 y = 1995 {\displaystyle (2k-1)^{2}-4y=1995}
4 k 2 − 4 k + 1 − 4 y = 1995 {\displaystyle 4k^{2}-4k+1-4y=1995}
4 ( k 2 + k − y ) = 1994 {\displaystyle 4(k^{2}+k-y)=1994}

Jednačina nema rešenja, jer 1994 nije deljivo sa 4

Metod zbira potencija s parnim eksponentima

Metod zbira je sličan metodu faktorizacije, samo što se sada jedna strana jednačine zapisuje u obliku zbira (najčešće nenegativnih) celih brojeva.

x 2 + y 2 + 2 x − 4 y + 8 = 0 {\displaystyle x^{2}+y^{2}+2x-4y+8=0}
( x + 1 ) 2 + ( y − 2 ) 2 = 13 {\displaystyle (x+1)^{2}+(y-2)^{2}=13}
( x + 1 ) 2 = 9 {\displaystyle (x+1)^{2}=9}
( y − 2 ) 2 = 4 {\displaystyle (y-2)^{2}=4}
( x , y ) ∈ { ( 1 , 5 ) , ( 2 , 4 ) } {\displaystyle (x,y)\in {\begin{Bmatrix}(1,5),(2,4)\end{Bmatrix}}}

Metod nejednakosti

Ovaj metod se često koristi da bi se smanjio skup mogućih rešenja date jednačine, a zatim se na tom smanjenom skupu razlikuju slučajevi. Na tom smanjenom skupu razlikuju se slučajevi. Metod nejednakosti se često koristi i u kombinaciji s nekim drugom metodom za rešavanje nelinearnih Diofantovih jednačina

3 x + 4 x = 5 x {\displaystyle 3^{x}+4^{x}=5^{x}}
x = 2 {\displaystyle x=2}
3 x + 4 x = 5 x {\displaystyle 3^{x}+4^{x}=5^{x}} / : 5 x {\displaystyle /:5^{x}}
( 3 5 ) x + ( 4 5 ) x = 1 {\displaystyle ({\frac {3}{5}})^{x}+({\frac {4}{5}})^{x}=1}

za x < 2 {\displaystyle x<2}

( 3 5 ) x + ( 4 5 ) x > 1 {\displaystyle ({\frac {3}{5}})^{x}+({\frac {4}{5}})^{x}>1}

za x > 2 {\displaystyle x>2}

( 3 5 ) x + ( 4 5 ) x < 1 {\displaystyle ({\frac {3}{5}})^{x}+({\frac {4}{5}})^{x}<1}

Jednačina ima samo jedno rešenje x = 2 {\displaystyle x=2}

Pelove i pelovske jednačine

Neka je zadata jednačina

x 2 + y 2 = z 2 {\displaystyle x^{2}+y^{2}=z^{2}}

Uređena trojka (x,y,z) koja zadovoljava zadatu jednačinu se naziva Pitagorina trojka. Ako su brojevi x y z relativno prosti onda je to primitivna Pitagorina trojka

U svakoj primitivnoj Pitagorinoj trojci tačno je jedan od brojeva x {\displaystyle x} , y {\displaystyle y} neparan. Za x {\displaystyle x} , y {\displaystyle y} parne se ne bi radilo o primitivnoj Pitagorinoj trojci

Diofantova jednačina oblika

x 2 − d y 2 = a {\displaystyle x^{2}-dy^{2}=a} gde je d ∈ N {\displaystyle d\in N} i nije potpun kvadrat je Pelova jednačina.

Pelova jednačina ima beskonačno mnogo rešenja u skupu prirodnih brojeva. Ako se pronađe najmanje (osnovno) rešenje ( x e , y e ) {\displaystyle (x_{e},y_{e})} , preostala rešenja ( x n , y n ) {\displaystyle (x_{n},y_{n})} se mogu generisati na sledeće načine

  1. : x n + y n d {\displaystyle x_{n}+y_{n}{\sqrt {d}}} = ( x n + y n d ) n {\displaystyle =(x_{n}+y_{n}{\sqrt {d}})^{n}}
  2. : x n + 1 = 2 x n x e − x n − 1 {\displaystyle x_{n+1}=2x_{n}x_{e}-x_{n-1}} i y n + 1 = 2 x n y e − y n − 1 {\displaystyle y_{n+1}=2x_{n}y_{e}-y_{n-1}} za ( x 0 , y 0 ) = ( 1 , 0 ) {\displaystyle (x_{0},y_{0})=(1,0)} i ( x 1 , y 1 ) = ( x e , y e ) {\displaystyle (x_{1},y_{1})=(x_{e},y_{e})}
  3. : x n + 1 = x e x n + y e d y n {\displaystyle x_{n+1}=x_{e}x_{n}+y_{e}dy_{n}} i y n + 1 = x e y n + y e d x n {\displaystyle y_{n+1}=x_{e}y_{n}+y_{e}dx_{n}}

Jednačina

x 2 − d y 2 = 1 {\displaystyle x^{2}-dy^{2}=1} je Pelovska jednačina (jednačina Pelovog oblika)

Za razliku od Pelove jednačine ova jednačina nema uvek celobrojno rešenje.[6]

Erdos–Štrausova hipoteza

Ovom hipotezom je pretpostavljeno da za sve prirodne brojeve n ≥ 2 {\displaystyle n\geq 2} postoji racionalni broj 4 / n {\displaystyle 4/n} koji se može iskazati kao zbir tri jedinična razlomka s pozitivnim, celobrojnim nazivnicima kako sledi:

4 n = 1 x + 1 y + 1 z . {\displaystyle {\frac {4}{n}}={\frac {1}{x}}+{\frac {1}{y}}+{\frac {1}{z}}.\,}
Primer
za n = 1801 {\displaystyle n=1801} , postoji rešenje jednačine gde je x = 451 {\displaystyle x=451} , y = 295364 {\displaystyle y=295364} i z = 3249004 {\displaystyle z=3249004} .

Pomnože li se obe strane jednačine sa n x y z {\displaystyle nxyz} , nalazi se Diofantova jednačina oblika:

4 x y z = n ( x y + x z + y z ) . {\displaystyle 4xyz=n(xy+xz+yz).\,} [7]

Reference

  1. ^ Mordell, L. J. (1969). Diophantine equations. Pure and Applied Mathematics. 30. Academic Press. ISBN 978-0-12-506250-3. Zbl 0188.34503. 
  2. ^ „Quotations by Hardy”. Gap.dcs.st-and.ac.uk. Архивирано из оригинала 16. 7. 2012. г. Приступљено 20. 11. 2012. 
  3. ^ Everest, G.; Ward, Thomas (2006), An Introduction to Number Theory, Graduate Texts in Mathematics, 232, Springer, стр. 117, ISBN 9781846280443 .
  4. ^ Wiles, Andrew (1995). „Modular elliptic curves and Fermat's Last Theorem” (PDF). Annals of Mathematics. Annals of Mathematics. 141 (3): 443—551. JSTOR 2118559. OCLC 37032255. doi:10.2307/2118559. Архивирано из оригинала (PDF) 10. 07. 2023. г. Приступљено 06. 09. 2020. 
  5. ^ Noam Elkies (1988). „On A4 + B4 + C4 = D4” (PDF). Mathematics of Computation. 51 (184): 825—835. JSTOR 2008781. MR 0930224. doi:10.2307/2008781. 
  6. ^ „Diofantske jednadžbe / Pelove i pelovske jednadžbe” (PDF). Архивирано из оригинала (PDF) 8. 4. 2016. г. Приступљено 28. 12. 2018. 
  7. ^ 4-parametrowa seria rozwiązań równania Erdősa-Strausa

Literatura

  • Schmidt, Wolfgang M. (1991). Diophantine approximations and Diophantine equations. Lecture Notes in Mathematics. 1467. Berlin: Springer-Verlag. ISBN 978-3-540-54058-8. Zbl 0754.11020. 
  • Shorey, T. N.; Tijdeman, R. (1986). Exponential Diophantine equations. Cambridge Tracts in Mathematics. 87. Cambridge University Press. ISBN 978-0-521-26826-4. Zbl 0606.10011. 
  • Smart, Nigel P. (1998). The algorithmic resolution of Diophantine equations. London Mathematical Society Student Texts. 41. Cambridge University Press. ISBN 978-0-521-64156-2. Zbl 0907.11001. 
  • Stillwell, John (2004). Mathematics and its History (Second изд.). Springer Science + Business Media Inc. ISBN 978-0-387-95336-6. 
  • Dickson, Leonard Eugene (2005) [1920]. History of the Theory of Numbers. Volume II: Diophantine analysis. Mineola, NY: Dover Publications. ISBN 978-0-486-44233-4. MR 0245500. Zbl 1214.11002. 
  • Mordell, L. J. (1969). Diophantine equations. Pure and Applied Mathematics. 30. Academic Press. ISBN 0-12-506250-8. Zbl 0188.34503. 
  • Bashmakova, Izabella G. "Diophante et Fermat," Revue d'Histoire des Sciences 19 (1966), pp. 289–306
  • Bashmakova, Izabella G. Diophantus and Diophantine Equations. Moscow: Nauka 1972 [in Russian]. German translation: Diophant und diophantische Gleichungen. Birkhauser, Basel/ Stuttgart, 1974. English translation: Diophantus and Diophantine Equations. Translated by Abe Shenitzer with the editorial assistance of Hardy Grant and updated by Joseph Silverman. The Dolciani Mathematical Expositions, 20. Mathematical Association of America, Washington, DC. 1997.
  • Bashmakova, Izabella G. “Arithmetic of Algebraic Curves from Diophantus to Poincaré” Historia Mathematica 8 (1981), 393-416.
  • Bashmakova, Izabella G., Slavutin, E.I. History of Diophantine Analysis from Diophantus to Fermat. Moscow: Nauka 1984 [in Russian].
  • Bashmakova, Izabella G. “Diophantine Equations and the Evolution of Algebra,” American Mathematical Society Translations 147 (2), 1990, pp. 85–100. Translated by A. Shenitzer and H. Grant.
  • Rashed, Roshdi, Houzel, Christian. Les Arithmétiques de Diophante : Lecture historique et mathématique, Berlin, New York : Walter de Gruyter, 2013.
  • Rashed, Roshdi, Histoire de l’analyse diophantienne classique : D’Abū Kāmil à Fermat, Berlin, New York : Walter de Gruyter.

Spoljašnje veze

Diofantove jednačine na Vikimedijinoj ostavi.
  • Diophantine Equation. From MathWorld at Wolfram Research.
  • Hazewinkel Michiel, ур. (2001). „Diophantine equations”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104. 
  • Dario Alpern's Online Calculator
  • Diofantske jenačine Архивирано на сајту Wayback Machine (11. јун 2012)
  • p
  • r
  • u
Matematičari
(hronologija)
Traktati
  • Almagest
  • Arhimedov Palimpsest
  • Aritmetika
  • Konike (apolonijeve)
  • Catoptrics
  • Data (Euclid)
  • Elementi (euklidovi)
  • Measurement of a Circle
  • On Conoids and Spheroids
  • On the Sizes and Distances (aristarhove)
  • On Sizes and Distances (hiparhove)
  • On the Moving Sphere (Autolycus)
  • Optika (euklidova)
  • O spiralama
  • O sferi i cilindru
  • Ostomahion
  • Planisferijum
  • Sphaerics
  • Kvadratura parabole
  • The Sand Reckoner
Problemi
Pojmovi
i definicije
Rezultati
U Elementima
Apolonije
  • Apolonijeva teorema
Ostalo
CentersRelated
Istorija
  • algebre
    • hronologija
  • aritmetike
    • hronologija
  • matematičke analize
    • hronologija
  • geometrije
    • hronologija
  • logike
    • hronologija
  • matematike
    • hronologija
  • brojeva
    • preistorijsko računanje
  • brojevnih sistema
    • spisak
Druge kulture
Portal Antička Grčka • Portal Matematika
Normativna kontrola Уреди на Википодацима
Međunarodne
  • FAST
Državne
  • Španija
  • Francuska
  • BnF podaci
  • Nemačka
  • Izrael
  • Sjedinjene Države
  • Letonija
  • Japan
  • Češka
Ostale
  • IdRef