Diofantske jednadžbe. Andrej Dujella

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Diofantske jednadžbe. Andrej Dujella"

Transcript

1 Diofantske jednadžbe Andrej Dujella Poslijediplomski kolegij 2006/2007

2 Sadržaj 1 Pellovske jednadžbe Jednadžbe x 2 dy 2 = ±1,± Verižni razlomci i Pellova jednadžbe Jednadžba x 2 dy 2 = N Ternarne kvadratne forme Legendreov teorem Algoritmi za nalaženje netrivijalnih rješenja Princip Hassea i Minkowskoga Rezultati, metode i algoritmi iz diofantskih aproksimacija Liouvilleov, Thueov i Rothov teorem Hipergeometrijska metoda Simultane diofantske aproksimacije Linearne forme u logaritmima Baker-Davenportova redukcija LLL-redukcija Cjelobrojne točke na eliptičkim krivuljama i Thueova jednadžba Elementarni rezultati o Mordellovoj jednadžbi y 2 = x 3 +k Primjena faktorizacije u kvadratnim poljima Transformacija eliptičkih krivulja u Thueove jednadžbe Algoritam za rješavanje Thueove jednadžbe Racionalne točke na eliptičkim krivuljama

3 Poglavlje 1 Pellovske jednadžbe 1.1 Jednadžbe x 2 dy 2 = ±1,±4 Diofantska jednadžba oblika x 2 dy 2 = 1, (1.1) gdje je d prirodan broj koji nije potpun kvadrat, naziva se Pellova jednadžba. Slučaj kad je d potpun kvadrat isključujemo jer je tada očito da jednadžba (1.1) ima samo trivijalna rješenja x = ±1, y = 0. Zaista, ako je d = δ 2, onda iz (x δy)(x + δy) = 1 slijedi x δy = x + δy = ±1. Jednadžba je dobila ime po engleskom matematičaru Johnu Pellu, kojem je Euler, po svemu sudeći pogrešno, pripisao zasluge za njezino rješavanje. Neke pojedinačne jednadžbe ovog tipa nalaze se u tekstovima starogrčkih matematičara (Arhimed, Diofant), no prvi su ih sustavno proučavali srednjevjekovni indijski matematičari (Brahmagupta). Od europskih matematičara, metode za rješavanje Pellovih jednadžbi dali su Brouncher, Fermat, Euler i Lagrange, koji je prvi dao i striktan dokaz korektnosti predložene metode. Kao prvi korak u proučavanju Pellove jednadžbe, dokazat ćemo da ona ima beskonačno mnogo rješenja u prirodnim brojevima. Koristit ćemo Dirichletov teorem iz diofantskih aproksimacija koji kaže da za svaki iracionalan broj α postoji beskonačno mnogo racionalnih brojeva p q sa svojstvom α p q < 1 q2. (1.2) Zadokazvidjeti npr.skriptuizuvoda u teoriju brojeva, Teorem 6.1 i Korolar 6.2 (na skriptu ćemo se ubuduće pozivati sa [UTB]). Ideja dokaza je za dani prirodan broj Q promotriti Q+1 brojeva 0, 1, {α} = α α, {2α},..., {(Q 1)α} iz segmenta [0,1] i podjelu tog segmenta na Q disjunktnih podintervala širine 1/Q, te po Dirichletovom principu zaključiti da postoji podinterval koji sadrži barem dva, od promatranih Q+1 brojeva. 2

4 Diofantske jednadžbe 3 Lema 1.1. Neka je d prirodan broj koji nije potpun kvadrat. Tada postoji cijeli broj k, k < 1+2 d, sa svojstvom da jednadžba x 2 dy 2 = k (1.3) ima beskonačno mnogo rješenja u prirodnim brojevima. Dokaz: Po Dirichletovom teoremu, postoji beskonačno mnogo parova prirodnih brojeva (x, y) sa svojstvom Za svaki takav par (x,y) vrijedi x d y < 1 x y y 2, tj. 1 d < y. x+y d = x y d+2y d < 1 y +2y d (1+2 d)y, pa je x 2 dy 2 = x y d x+y d < 1+2 d. Budući da parova (x, y) s navedenim svostvo ima beskonačno, a cijelih brojeva koji su po modulu manji od 1+2 d samo konačno, to postoji neki cijeli broj k, takav da je k < 1+2 d, za kojeg jednadžba (1.3) ima beskonačno mnogo rješenja. Teorem 1.1. Pellova jednadžba x 2 dy 2 = 1 ima barem jedno rješenje u prirodnim brojevima x i y. Dokaz: Beskonačno mnogo rješenja jednadžbe (1.3) možemo podijeliti u k 2 klasa, stavljajući rješenja (x 1,y 1 ) i (x 2,y 2 ) u istu klasu akko je x 1 x 2 (mod k)iy 1 y 2 (mod k).tadanekaodtihklasasadržibaremdva(ustvari beskonačno) različitih rješenja (x 1,y 1 ), (x 2,y 2 ) (x 1,x 2 su različiti prirodni brojevi). Stavimo x = x 1x 2 dy 1 y 2, y = x 1y 2 x 2 y 1 k k ( podijelimo rješenja x 2 + y 2 d i x1 + y 1 d). Tvrdimo da je x,y Z, y 0 i x 2 dy 2 = 1. Imamo: x 1 x 2 dy 1 y 2 x 2 1 dy2 1 k 0 (mod k), x 1 y 2 x 2 y 1 x 1 y 1 x 1 y 1 0 (mod k), pa su x,y Z. Pretpostavimo da je y = 0, tj. x 1 y 2 = x 2 y 1. Tada je k = x 2 2 dy 2 2 = x 2 2 d x2 2 y2 1 x 2 1 = x2 2 x 2 (x 2 1 dy1) 2 = x2 2 1 x 2 k, 1

5 Diofantske jednadžbe 4 tj. x 2 1 = x2 2, što je u suprotnosti s pretpostavkom da su x 1 i x 2 različiti prirodni brojevi. Konačno, x 2 dy 2 = 1 k 2 [ (x1 x 2 dy 1 y 2 ) 2 d(x 1 y 2 x 2 y 1 ) 2] = 1 k 2(x2 1x 2 2 +d 2 y 2 1y 2 2 dx 2 1y 2 2 dx 2 2y 2 1) = 1 k 2(x2 1 dy2 1 )(x2 2 dy2 2 ) = 1 k k = 1. k2 Za najmanje rješenja (x, y) u prirodnim brojevima Pellove jednadžbe (1.1) kažemo dajenjenofundamentalno rješenje. Označavamo ga sa(x 1,y 1 ), a često takoder i sa x 1 +y 1 d. Teorem 1.2. Pellova jednadžba x 2 dy 2 = 1 ima beskonačno mnogo rješenja. Ako je (x 1,y 1 ) fundamentalno rješenje, onda su sva rješenja (u prirodnim brojevima) ove jednadžbe dana formulom x n +y n d = (x1 +y 1 d) n, n N, (1.4) tj. x n = x n 1 + ( ) n 2 y n = nx n 1 1 y 1 + dx n 2 1 y1 2 + ( n 3 ( ) n 4 ) dx n 3 1 y ( n 5 d 2 x n 4 1 y1 4 +, ) d 2 x n 5 1 y Dokaz: Iz (1.4) slijedi x n y n d = (x1 y 1 d) n, pa množenjem dobivamo x 2 n dy2 n = (x 1 dy 2 1 )n = 1, što znači da su (x n,y n ) zaista rješenja (i ima ih beskonačno mnogo). Pretpostavimo sada da je (s,t) rješenje koje nije oblika (x n,y n ), n N. Budući da je x 1 +y 1 d > 1 i s+t d > 1, to postoji m N takav da je (x 1 +y 1 d) m < s+t d < (x 1 +y 1 d) m+1. (1.5) Pomnožimo li (1.5) sa (x 1 +y 1 d) m = (x 1 y 1 d) m, dobivamo 1 < (s+t d)(x 1 y 1 d) m < x 1 +y 1 d. Definirajmo a,b Z s a+b d = (s+t d)(x 1 y 1 d) m. Imamo: a 2 db 2 = (s 2 dt 2 )(x 2 1 dy2 1 )m = 1. Iz a + b d > 1 slijedi 0 < a b d < 1, pa je a > 0 i b > 0. Stoga je (a,b) rješenje u prirodnim brojevima jednadžbe x 2 dy 2 = 1 i a+b d < x 1 +y 1 d, što je kontradikcija.

6 Diofantske jednadžbe 5 Napomena 1.1. Iz (1.4) se lako dobije(vidi [UTB, Teorem 7.12]) da nizovi (x n ) i (y n ) zadovoljavaju rekurzije x n+2 = 2x 1 x n+1 x n, y n+2 = 2x 1 y n+1 y n, n 0, gdje je (x 1,y 1 ) fundamentalno rješenje od (1.1), dok je (x 0,y 0 ) = (1,0) trivijalno rješenje. O metodama za nalaženje fundamentalnog rješenja govorit ćemo malo kasnije, i vidjet ćemo da to nije sasvim jednostavan problem. No, za neke d-ove specijalnog oblika fundamentalno rješenje je vrlo lako odrediti. Propozicija 1.1. Ako je a+b d rješenje jednadžbe x 2 dy 2 = 1 i vrijedi a > 1 2 b2 1, onda je to fundamentalno rješenje. Specijalno, ako su u,v prirodni brojevi i d = u(uv 2 + 2), onda je 1 + uv 2 + v d fundamentalno rješenje jednadžbe x 2 dy 2 = 1. Dokaz: Ako je b = 1, onda je tvrdnja očito točna. Neka je b > 1, te x 1 + y 1 d fundamentalno rješenje od (1.2). Pretpostavimo da je b > y1. Tada iz d = a2 1 b 2 = x2 1 1 y 2 1 slijedi x 2 1 b2 y 2 1 a2 = b 2 y 2 1 = δ, za neki δ N. Dakle, x 1b + y 1 a = δ 1, x 1 b y 1 a = δ 2, gdje je δ 1 δ 2 = δ. Sada je a = δ 1 δ 2 2y 1 kontradikcija. Specijalni slučaj slijedi iz δ 1 = b2 y1 2 1 b2 2y 1 2y 1 2 1, (1+uv 2 ) 2 u(uv 2 +2)v 2 = 1 i 1+uv 2 > v Do sada smo se bavili samo jednom od četiri jednadžbe navedene u naslovu ovog odjeljka. Da bismo motivirali proučavanje i preostale tri jednadžbe, navest ćemo neke pojmove i činjenice o kvadratnim poljima. Ti će pojmovi biti kasnije poopćeni i sustavnije obradeni kad budemo govorili o primjeni alata iz algebarske teorije brojeva na rješavanje diofantskih jednadžbi. Neka je d cijeli broj koji nije potpun kvadrat. Skup svih brojeva oblika u+v d, u,v Q, uz uobičajene operacije zbrajanja i množenja kompleksnih brojeva, čini polje, koje označavamo s Q( d) i zovemo kvadratno polje. Očito je Q( dm 2 ) = Q( d) za m Q, m 0, pa možemo bez smanjenja općenitosti pretpostaviti da je d kvadratno slobodan. Svaki element

7 Diofantske jednadžbe 6 α od Q( d) je nultočka jedinstvenog normiranog kvadratnog polinoma s racionalnim koeficijentima (kojeg zovemo minimalni polinom od α). Ako su koeficijenti tog polinoma cjelobrojni, onda kažemo da je α cijeli (algebarski broj). Cijeli elementi u Q( d) čine prsten, koji označavamo sa O Q( d). Vrijedi (vidi [UTB, Teorem 8.2]): ako je d 2 ili 3 (mod 4), onda je O Q( d) = {u+v d : u,v Z} = Z[ d], ako je d 1 (mod 4), onda je O Q( d) = { u+v d 2 : u,v Z, u v (mod 2)} = Z[(1+ d)/2]. Invertibilni elementi prstena O Q( d) zovu se jedinice polja Q( d). Norma elementa α = u+v d Q( d) definira se kao N(α) = α α = (u + v d)(u v d) = u 2 dy 2. Osnovna svojstva norme su (vidi [UTB, Teorem 8.3]): 1) N(αβ) = N(α)N(β), 2) N(α) = 0 α = 0, 3) α O Q( d) N(α) Z, 4) γ O Q( d) je jedinica N(γ) = ±1. Primijetimo da svojstvo 4) slijedi iz relacije N(γ) N( 1 γ ) = N(1) = 1 i svojstva 3). Vidimo da je problem pronalaženja jedinica u realnim kvadratnim poljima (s d > 0) usko povezan s Pellovim jednadžbama. Preciznije: ako je d 2 ili 3 (mod 4), tada je u + v d jedinica u Q( d) ako i samo ako vrijedi u 2 dy 2 = ±1, ako je d 1 (mod 4), tada je u+v d 2 jedinica u Q( d) ako i samo ako vrijedi u 2 dy 2 = ±4. Stoga se uz (običnu) Pellovu jednadžbu x 2 dy 2 = 1 promatraju i jednadžbe x 2 dy 2 = 1,4, 4 (često se i one nazivaju Pellovim jednadžama). Uočimo da za razliku od obične Pellove jednadžbe (1.1), jednadžba x 2 dy 2 = 1 (1.6) ne mora imati rješenja u cijelim brojevima. Npr. očito je da jednadžba x 2 3y 2 = 1 nema rješenja (jer je lijeva strana kongruentna 0 ili 1 modulo 3). Nužan uvjet za rješivost jednadžbe(1.6) je da d nema prostih djelitelja oblika 4k+3 (jer 1 mora biti kvadratni ostatak modulo d). No, vidjet ćemo uskoro da taj uvjet nije i dovoljan. Ako jednadžba(1.6) ima rješenja, onda najmanje njezino rješenje u prirodnim brojevima zovemo fundamentalno rješenje.

8 Diofantske jednadžbe 7 Teorem 1.3. Pretpostavimo da jednadžba x 2 dy 2 = 1 ima rješenja, te da joj je x 1 +y 1 d fundamentalno rješenje. Tada je (x1 +y 1 d) 2 fundamentalno rješenje jednadžbe x 2 dy 2 = 1. Ako definiramo x n +y n d = (x1 +y 1 d) n, tada su x 2n +y 2n d sva rješenja jednadžbe x 2 dy 2 = 1, a x 2n+1 +y 2n+1 d sva rješenja jednadžbe x 2 dy 2 = 1 u prirodnim brojevima. Dokaz: Imamo: x n y n d = (x1 y 1 d) n,pajex 2 n dy 2 n = (x 2 1 dy2 1 )n = ( 1) n. Dakle, zaista je x 2n + y 2n d rješenje od x 2 dy 2 = 1, a x 2n+1 + y 2n+1 d rješenje od x 2 dy 2 = 1. Pretpostavimo da za fundamentalno rješenje a+b d jednadžbe (1.1) vrijedi 1 < a+b d < (x 1 +y 1 d) 2. Iz (x 1 +y 1 d)( x1 +y 1 d) = 1, slijedi 0 < x1 +y 1 d < 1. Stoga je x 1 +y 1 d < (a+b d)( x1 +y 1 d) = s+t d < x1 +y 1 d, gdjejes = ax 1 +dby 1,t = ay 1 bx 1 ivrijedis 2 dt 2 = 1.Zbogs+t d > 0 is t d < 0, jasnojedajet > 0. Akojes<0, ondaiz x 1 +y 1 d < s+t d dobivamo x 1 +y 1 d > s+t d. Prema tome, zaključujemo da je s +t d rješenje od (1.6), koje je manje od fundamentalnog, što je kontradikcija. Pretpostavimo sada da je u + v d neko rješenje od (1.6) koje nije sadržano u nizu (x 2n+1 +y 2n+1 d). Tada postoji m N takav da je (x 1 +y 1 d) 2n 1 < u+v d < (x 1 +y 1 d) 2n+1. Množeći ove nejednakosti sa (x 1 y 1 d) 2n, dobivamo x 1 +y 1 d < σ +τ d < x1 +y 1 d, gdjejeσ 2 dτ 2 = 1. No, već smodokazali datakvi σ i τ nemogu postojati. Propozicija 1.2. Ako je p prost broj i p 1 (mod 4), onda jednadžba x 2 py 2 = 1 ima rješenja. Dokaz: Neka je (x 1,y 1 ) fundamentalno rješenje jednadžbe x 2 py 2 = 1. Tada je x 2 1 y2 1 1 (mod 4), pa je x 1 neparan, a y 1 paran. Iz x 1 1 x1 +1 ( y1 ) ( 2 x1 1 = p i, x ) 1 +1 = slijedi da postoje u,v N takvi da je x 1 ±1 2 = pu 2, x = v 2, y 1 2 = uv. Odavde je v 2 pu 2 = 1. No, iz u < y 1 i minimalnosti od (x 1,y 1 ), slijedi da ovdje ne možemo imati predznak +, tj. da vrijedi v 2 pu 2 = 1. (Uočimo da je po Teoremu 1.3, u+v p fundamentalno rješenje od x 2 py 2 = 1 i vrijedi (u+v p) 2 = u 2 +pv 2 +2uv p = x 1 +y 1 pd.)

9 Diofantske jednadžbe 8 Primjer 1.1. Jednadžba x 2 34y 2 = 1 nema rješenja (iako kongruencija x 2 34y 2 1 (mod m) ima rješenja za svaki m N). Rješenje: Fundamentalno rješenje jednadžbe x 2 34y 2 = 1 je (iz Propozicije 1.1, ili uvrštavanjem y = 1,2,3,...). Ako bi jednadžba x 2 34y 2 = 1 bila rješiva, za njezino fundamentalno rješenje x 1 +y 1 34 bi, po Teoremu 1.3, trebalo vrijediti x y 2 1 = 35, 2x 1 y 1 = 6. Očito je da ovaj sustav nema cjelobrojnih rješenja. Jednadžba x 2 dy 2 = 4 (1.7) (d je i dalje prirodan broj koji nije potpun kvadrat) naravno uvijek ima rješenjauprirodnimbrojevima,jerakoje(u,v)rješenjejednadžbeu 2 dy 2 = 1, onda je x = 2u, y = 2v rješenje jednadžbe x 2 dy 2 = 4. No, vidjet ćemo da za neke d-ove mogu postojati i neka rješenja koja se ne dobivaju na ovaj način. Potpuno analogno Teoremu 1.2, dokazuje se sljedeći teorem: Teorem 1.4. Sva rješenja jednadžbe x 2 dy 2 = 4 u prirodnim brojevima dana su sa ( ) n x n +y n d x 1 +y 1 d =, n N, 2 2 gdje je (x 1,y 1 ) fundamentalno (tj. najmanje) rješenje te jednadžbe. Promotrimo sada slučajeve koji mogu nastupiti u ovisnosti o parnosti ili neparnosti brojeva x 1 i y 1. Jasno je da ne može biti da je y 1 neparan, a x 1 paran, pa stoga imamo tri slučaja: Ako su x 1,y 1 oba parni, onda su x n,y n takoder parni za svaki n i x y 1 2 d predstavlja fundamentalno rješenje jednadžbe x 2 dy 2 = 1. Ako je x 1 paran, a y 1 neparan, onda 4 d, tj. d = 4d. Sada je x 1 2 +y 1 d fundamentalno rješenje jednadžbe x 2 d y 2 = 1. Preostao je najzanimljiviji slučaj kada su x 1,y 1 neparni, u kojem nemamo odmah tako direktnu vezu s (običnom) Pellovom jednadžbom. U tom slučaju mora vrijediti d dy1 2 x (mod 8). Dakle, nužan uvjet da bi jednadžba x 2 dy 2 = 4 imala rješenja u neparnim brojevima jest da je d 5 (mod 8). Primjerice, za d = 5,13,21,29 jednadžba (1.7) ima rješenja u neparnim brojevima. Npr. za d = 5, fundamentalno rješenje je (x 1,y 1 ) = (3,1). No, uvjet d 5 (mod 8) nije i dovoljan, što pokazuje primjer d = 37, gdje je x 1 = 146, y 1 = 24, pa su sva rješenja parna.

10 Diofantske jednadžbe 9 Propozicija 1.3. Ako jednadžba x 2 dy 2 = 4 ima rješenja u neparnim brojevima i ako je x 1 +y 1 d njezino fundamentalno rješenje, onda je ( ) 3 x 1 +y 1 d = (x3 1 +3dx 1 y1) (3x2 1y 1 +dy1) 3 d fundamentalno rješenje jednadžbe x 2 dy 2 = 1. Dokaz: Budući da su x 1,y 1 neparni i d 5 (mod 8), vrijedi x dy (mod 8), 3x 2 1 +dy (mod 8), pa su brojevi u 1 = 1 8 (x dx 1y1 2) i v 1 = 1 8 (3x2 1 y 1 + dy1 3 ) cijeli. Nadalje, ( ) u 2 1 dv2 1 = x 2 1 dy = 1. Pretpostavimo da u 1 +dv 1 nije fundamentalno rješenje jednadžbe (1.1), te neka je s 1 +t 1 d to fundamentalno rješenje. To znači da je 1 < s 1 +t 1 d < ( ) 3 x 1 +y 1 d. 2 Uočimo da ne može biti s 1 +t 1 d < (x1 +y 1 d)/2, jer bi tada 2s1 +2t 1 d bilo rješenje od (1.7) koje je manje od x 1 + y 1 d. Takoder, ne može biti ( ) s 1 +t 1 d = x1 +y 1 d 2, 2 jer broj (x 2 1 +dy1 2 )/4 nije cijeli. Zato je ( ) i ( ) i+1 x 1 +y 1 d x 1 +y 1 d < s 1 +t 1 d < (1.8) 2 2 za i = 1 ili i = 2. Množeći nejednakosti u (1.8) sa 1 < a+b d 2 < x 1 +y 1 d, 2 ( ) x1 y 1 d i, 2 dobivamo gdje je a 2 db 2 = 4, što je u kontradikciji s minimalnošću od (x 1,y 1 ). Primjer 1.2. Fundamentalno rješenje jednadžbe je 3+ 5, pa je fundamentalno rješenje jednadžbe x 2 5y 2 = 4 (1.9) x 2 5y 2 = 1 (1.10) ( ) 3 jednako = Koristeći rekurzivne relacije analogne ovima iz Napomene 1.1, može se dokazati da su sva rješenja jednadžbe (1.9) dana

11 Diofantske jednadžbe 10 sa x = L 2n, y = F 2n, a sva rješenje jednadžbe (1.10) sa x = 1 2 L 6n, y = 1 2 F 6n, gdje su F n i L n Fibonaccijevi i Lucasovi brojevi, definirani sa F 0 = 0, F 1 = 1, F n+2 = F n+1 +F n, L 0 = 2, L 1 = 1, L n+2 = L n+1 +L n. Konačno, promotrimo još i jednadžbu x 2 dy 2 = 4. (1.11) Ona ne mora imati rješenja. Ako jednadžba x 2 dy 2 = 1 ima rješenja, onda i jednadžba (1.11) ima rješenja (u parnim brojevima). No, jednadžba (1.11) može imati rješenja i u neparnimbrojevima. To je npr. slučaj za d = 5 (rješenje je x = y = 1), d = 13,29,53. Ponovo je nužan uvjet za postojanje neparnih rješenja d 5 (mod 8). Analogno Teoremu 1.3 se dokazuje sljedeći rezultat: Teorem 1.5. Pretpostavimo da jednadžba x 2 dy 2 = 4 ima rješenja, te da je x 1 + y 1 d njezino fundamentalno rješenje. Tada su sva rješenja te jednadžbe dana sa x n +y n d 2 = ( ) n x 1 +y 1 d, n neparan. 2 Nadalje, ( ) 2 x1 +y 1 d 2 je fundamentalno rješenje jednadžbe x 2 dy 2 = 4. Rezultate iz ovog odjeljka o jednadžbama x 2 dy 2 = ±1,±4 ćemo sumirati i interpretirati u terminima jedinica u realnim kvadratnim poljima, što nam je i bila jedna od motivacija za njihovo proučavanje. Sljedeći korolar je direktna posljedica Teorema 1.2, 1.3, 1.4 i 1.5 u kojima je dana struktura skupa svih rješenja Pellovih jednadžbi. Korolar 1.1. Grupa jedinica u realnom kvadratnom polju Q( d) ima dva generatora: 1 i ǫ d, gdje je ǫ d = a+b d ili a+b d 2, dok je a+b d fundamentalno rješenje jedne od Pellovih jednadžbi x 2 dy 2 = ±1,±4. Dakle, svaka se jedinica može napisati u obliku ±ǫ n d, n Z. Generator ǫ d se zove fundamentalna jedinica kvadratnog polja Q( d). Ako je x 1 +y 1 d fundamentalno rješenje Pellove jednadžbe x 2 dy 2 = 1, onda je x 1 +y 1 d = (a+b d) ν, gdje je ν {1,2,3,6}.

12 Diofantske jednadžbe 11 Preciznije informacije o eksponentu ν su dane u sljedećoj tablici, pomoću koje ν možemo odrediti iz kongruencijskih svojstava brojeva a, b, d. d a 2 db 2 b a ν primjer 3 (mod 4) 1 1 d = 3 1,2 (mod 4) 1 0 (mod 2) 1 d = 6 1,2 (mod 4) 1 1 (mod 2) 2 d = 2 5 (mod 16) 4 1 (mod 2) ±3b (mod 8) 3 d = 21 5 (mod 16) 4 1 (mod 2) ±b (mod 8) 6 d = 5 13 (mod 16) 4 1 (mod 2) ±b (mod 8) 3 d = (mod 16) 4 1 (mod 2) ±3b (mod 8) 6 d = 13 Tablica 1.1: Veza fundamentalnih rješenja i fundamentalnih jedinica

13 Diofantske jednadžbe Verižni razlomci i Pellova jednadžbe Teorem 1.2 i Napomena 1.1 nam pokazuju kako možemo generirati sva rješenja Pellove jednadžbe x 2 dy 2 = 1 ukoliko znamo njeno fundamentalno (najmanje) rješenje. No, ostaje pitanje kako naći to fundamentalno rješenje. Ponekad rješenje možemo naći uvrštavajući redom y = 1,2,3,... i provjeravajući je li dy 2 +1 kvadrat. Medutim, već i za relativno male d-ove fundamentalno rješenje može biti vrlo veliko, npr. za d = 94, fundamentalno rješenje je Stoga je potrebno naći efikasniji način za njegovo nalaženje. Jedan relativno efikasan algoritam za nalaženje fundamentalog rješenja dobit ćemo iz veze Pellovih jednadžbi s diofantskim aproksimacijama, te preko njih s verižnim razlomcima. Naime, svako netrivijano rješenje jednadžbe x 2 dy 2 = 1 inducira jako dobru racionalnu aproksimaciju iracionalnog broja d. Zaista, x d y = 1 y x+y d < 1 2 (1.12) dy2. Poznato je da se sve jako dobre racionalne aproksimacije realnog broja mogu dobiti iz njegovog razvoja u verižni razlomak. Neka je α R. Izraz oblika α = a 0 + a a gdje je a 0 Z, te a 1,a 2,... N, zove se razvoj broja α u jednostavni verižni (ili neprekidni) razlomak. Verižni razlomak kraće zapisujemo kao [a 0 ;a 1,a 2,...]. Brojevi a 0,a 1,a 2,... sezovu parcijalni kvocijenti, a definiraju se na sljedeći način: a 0 = α, α = a α 1, a 1 = α 1, α 1 = a α 2, a 2 = α 2,... Postupak se nastavlja sve dok je a k α k. Razvoj u jednostavni verižni razlomak broja α je konačan ako i samo ako je α racionalan broj. Ako je α = m n, brojevi a 0,a 1,a 2,... su upravo kvocijenti iz Euklidovog algoritma primjenjenog na brojeve m i n. Racionalne brojeve p k q k = a 0 + a 1 + a , = [a 0 ;a 1,...,a k ] + 1 a k

14 Diofantske jednadžbe 13 zovemo konvergente verižnog razlomka. Brojnici i nazivnici konvergenti zadovoljavaju sljedeće rekurzije: p n+2 = a n+2 p n+1 +p n, p 0 = a 0, p 1 = a 0 a 1 +1, (p 1 = 1, p 2 = 0), q n+2 = a n+2 q n+1 +q n, q 0 = 1, q 1 = a 1, (q 1 = 0, q 2 = 1). Indukcijom se lako dokazuje sljedeća važna relacija koja povezuje konvergente sa susjednim indeksima: q n p n 1 p n q n 1 = ( 1) n. (1.13) Relacija (1.13) povlači da je p 2k q 2k α i α p 2k+1 q 2k+1 za svaki k. Nadalje, može se dokazati da ako je α pozitivan, onda vrijede sljedeće nejednakosti: p 0 q 0 < p 2 q 2 < p 4 q 4 < α < p 5 q 5 < p 3 q 3 < p 1 q 1. p Ako je α iracionalan, onda je lim n n qn = α (za detalje vidjeti [UTB, Poglavlje 6]). Postavlja se pitanje koliko dobro konvergente aproksimiraju α. Odgovor je dan u sljedećim nejednakostima: 1 q n (q n +q n+1 ) < α p n < 1. (1.14) Vrijediisvojevrsniobratovečinjenice(Legendreovteorem):akoje p q racionalan broj koji zadovoljava nejednakost α p q < 1, ondaje p 2q 2 q konvergenta odα. Mi ćemo dokazati nešto općenitiju tvrdnju (Worley [1981], Dujella [2004]). Teorem 1.6. Neka je α proizvoljan realan broj, te c pozitivan realan broj. Ako racionalan broj p q zadovoljava nejednakost α p q < c q2, (1.15) tada je q n p q = rp n ±sp n 1 rq n ±sq n 1, za neke nenegativne cijele brojevi n,r,s takve da je rs < 2c (i izbor predznaka). Dokaz: Pretpostavit ćemo da je α < p q. U slučaju α > p q, dokaz je analogan. Takoder ćemo pretpostaviti da je α iracionalan (za α racionalan potrebna je mala modifikacija dokaza). Neka je n najveći neparan broj takav da je α < p q p n q n. q 2 n

15 Diofantske jednadžbe 14 (Ako je p q > p 1 q 1, onda uzimamo n = 1.) Definirajmo brojeve r i s sa: p = rp n+1 +sp n, q = rq n+1 +sq n. Prema relaciji (1.13), determinanta ovog sustava je ±1, pa su r,s cijeli brojevi, a kako je p n+1 q n+1 < p q pn q n, vrijedi r 0 i s > 0. Zbog minimalnosti od n, imamo p n+2 p q n+2 q < α p q < c q 2. Nadalje, p n+2 p q n+2 q = (a n+2q n+1 +q n )(rp n+1 +sp n ) (a n+2 p n+1 +p n )(rq n+1 +sq n ) qq n+2 = sa n+2 r. qq n+2 Stoga je tj. q(sa n+2 r) < cq n+2 = c s ((sa n+2 r)q n+1 +q), (sa n+2 r)(q c s q n+1) < c s q. Dalje imamo 1 sa n+2 r > q c s q n+1 c s q = s c 1 s r+ sqn q n+1 c 1 r. Tako smo dobili nejednakost (kvadratnu nejednadžbu po r): Razlikujemo sada dva slučaja: 1) s 2 a n+2 4c r 2 sra n+2 +ca n+2 > 0. (1.16) Uz ovu pretpostavku je s 4 a 2 n+2 4cs2 a n+2 (s 2 a n+2 4c) 2, pa za rješenje nejednadžbe (1.16) vrijedi da je r < 1 ( ) s 2 a n+2 s 2s 4 a 2n+2 4cs2 a n+2 2c s, ili r > 1 2s ( ) s 2 a n+2 + s 4 a 2n+2 4cs2 a n+2 1 s (s2 a n+2 2c).

16 Diofantske jednadžbe 15 Prva mogućnost povlači rs < 2c. Ako je nastupila druga mogućnost, uvodimo supstituciju t = sa n+2 r. Broj t je prirodan i vrijedi p = rp n+1 +sp n = (sa n+2 t)p n+1 +sp n = sp n+2 tp n+1, q = sq n+2 tq n+1 i st = s 2 a n+2 rs < 2c. 1) s 2 a n+2 < 4c Ako je r < 1 2 sa n+2, onda rs < 1 2 s2 a n+2 < 2c. Ako je 1 2 sa n+2 r < sa n+2, onda ponovo definiramo t = sa n+2 r i vrijedi st 1 2 s2 a n+2 < 2c. Iz nejednakosti (1.12) i Teorema 1.6 (ustvari, već iz Legendreovog teorema koji je specijalni slučaj Teorema 1.6 za c = 1/2) zaključujemo da za svako rješenje Pellove jednadžbe x 2 dy 2 = 1 vrijedi da je x y neka konvergenta u razvoju od d. Broj d je kvadratna iracionalnost, pa mu je razvoj periodičan ([UTB, Teorem 6.14]). Štoviše, broj d+ d je reduciran (veći je od 1, a konjugat d + d mu je iz 1,0 ), pa mu je razvoj čisto periodičan ([UTB, Teorem 6.15]). Odavde slijedi da d ima razvoj oblika: d = [a0 ;a 1,a 2,...,a l 1,2a 0 ], gdje je a 0 = d. Nadalje, može se pokazati da vrijedi palindromno svojstvo : a 1 = a l 1, a 2 = a l 2,... ([UTB, Teorem 7.7]). Sada ćemo navesti algoritam za razvoj kvadratnih iracionalnosti u verižni razlomak (za dokaz korektnosti algoritma, vidjeti [UTB, dokaz Teorema 6.14]). Neka je α kvadratna iracionalnost. Prikažemo je u obliku α = s 0+ d t 0, gdje su d,s 0,t 0 Z, t 0 0, d i t 0 (d s 2 0 ). Ako je α = d, onda je jednostavno s 0 = 0, t 0 = 1. Sada brojeve a i (tzv. parcijalne kvocijente) računamo rekurzivno na slijedeći način: a i = s i +a 0 t i, s i+1 = a i t i s i, t i+1 = d s2 i+1 t i. (1.17) Uočimo da, iako je α iracionalan broj, ovaj algoritam radi samo s cijelim brojevima. Pokazuje se da su nizovi (s i ) i (t i ) ograničeni. Preciznije, dobije se da za dovoljno velike indekse i vrijedi 0 < s i < d, 0 < t i < s i + d < 2 d. Na taj način se upravo i zaključuje da razvoj mora biti periodičan (jer moraju postojati različiti indeksi j,k takvi da je (s j,t j ) = (s k,t k )). Odavde

17 Diofantske jednadžbe 16 direktno dobivamo ocjenu za duljinu perioda u razvoju od d: l(d) < d 2 d = 2d. Preciznijom analizom odnosa izmedu si i t i (posebno kongruencije s 2 i d (mod t i )), dobije se ocjena l(d) = O( dlnd). Najbolji poznati rezultat toga tipa je l(d) < 7 2π dlnd za dovoljno velike d ([Cohn ]), a slutnja je (povezana s čuvenom Riemannovom slutnjom) da vrijedi l(d) = O( dlnlnd). Izjednačavanjem racionalnih i iracionalnih dijelova u jednakosti dobiva se relacija s n+1 + d t d = n+1 p n +p n 1 s n+1 +, d t n+1 q n +q n 1 p 2 n dq 2 n = ( 1) n+1 t n+1, za sve n 1. (1.18) Ona nam pokazuje da rješenja Pellove jednadžbe x 2 dy 2 = 1 odgovaraju onim n-ovima za koje je ( 1) n+1 t n+1 = 1. Nije teško za vidjeti da je t i = 1 ako i samo ako l i (l je duljina perioda). Zato vrijedi Teorem 1.7. Neka je l duljina perioda u razvoju od d. Ako je l paran, onda jednadžba x 2 dy 2 = 1 nema rješenja, a sva rješenja od x 2 dy 2 = 1 su dana sa (x,y) = (p nl 1,q nl 1 ), n N. Posebno, fundamentalno rješenje je (p l 1,q l 1 ). Ako je l neparan, onda su sva rješenja jednadžbe x 2 dy 2 = 1 dana sa (x,y) = (p (2n 1)l 1,q (2n 1)l 1 ), a sva rješenja jednadžbe x 2 dy 2 = 1 sa (x,y) = (p 2nl 1,q 2nl 1 ), n N. Posebno, fundamentalno rješenje od x 2 dy 2 = 1 je (p 2l 1,q 2l 1 ). Primjer 1.3. Nadimo fundamentalno rješenje jednadžbe x 2 113y 2 = 1. Rješenje: Razvijmo 113 u verižni razlomak koristeći algoritam (1.17): a 0 = 10, s 1 = a 0 t 0 s 0 = 10, t 1 = d s2 1 = 13; t 0 s1 +10 a 1 = = 1, s 2 = 3, t 2 = 8; a 2 = 1, s 3 = 5, t 3 = 11; t 1 a 3 = 1, s 4 = 6, t 4 = 7; a 4 = 2, s 5 = 8, t 5 = 7. Možemo nastaviti dalje s algoritmom sve dok ne dobijemo (s k,t k ) = (s 1,t 1 ). No, možemo i uočiti da vrijedi t 4 = t 5. Ovo djelomično ponavljanje nam indicira da smo došli do polovice punog perioda. Naime, vrijedi slijedeće: ako je s n = s n+1, onda je l = 2n; ako je t n = t n+1, onda je l = 2n+1.

18 Diofantske jednadžbe 17 U našem slučaju je l = 9, pa nam svojstvo palidromnosti i činjenica da je zadnji član u periodu jednak 2a 0, omogućava da rekonstruiramo razvoj: 113 = [10;1,1,1,2,2,1,1,1,20]. Da bi izračunali fundamenalno rješenje jednadžbe x 2 113y 2 = 1, dovoljno je naći fundamentalno rješenje jednadžbe x 2 113y 2 = 1 (a to je (p 8,q 8 )) i kvadrirati ga (Teorem 1.3). i a i p i q i Traženo fundamentalno rješenje jednadžbe x 2 113y 2 = 1 je ( ) 2 =

19 Diofantske jednadžbe Jednadžba x 2 dy 2 = N Jednadžba oblika x 2 dy 2 = N, (1.19) gdje je d prirodan broj koji nije potpun kvadrat i N cijeli broj različit od 0, naziva se pellovska jednadžba. Jasno je da ovakva jednadžba ne mora imati cjelobrojnih rješenja. No, ukoliko ima barem jedno rješenje, onda ih ima beskonačno mnogo. Zaista, ako je x + y d rješenje jednadžbe 1.19, a u+v d rješenje pripadne Pellove jednadžbe x 2 dy 2 = 1, onda je (x+y d)(u+v d) = (ux+dvy)+(uy +vx) d (1.20) takoder rješenje jednadžbe (1.19), jer je (ux+dvy) 2 d(uy +vx) 2 = (x 2 dy 2 )(u 2 dv 2 ) = N 1 = N. Budući da Pellova jednadžba ima beskonačno mnogo rješenja, to iz (1.20) slijedi da i jednadžba (1.19) ima beskonačno rješenja (uz pretpostavku da ima barem jedno). Za dva rješenja x + y d i x + y d jednadžbe (1.19) kažemo da su asocirana ako se jedno iz drugog može dobiti množenjem s nekim rješenjem Pellove jednadžbe kao u formuli (1.20). Lako se provjerava da je na ovaj način uvedena relacija ekvivalencije na skupu svih rješenja jednadžbe (1.19) (podsjetimo se da je (u+v d) 1 = u v d, što povlači simetričnost). Reći ćemo da medusobno asocirana rješenja tvore jednu klasu rješenja. Nije teško za vidjeti da su x+y d i x +y d asocirani ako i samo ako vrijedi xx dyy (mod N), xy x y (mod N) (pogledati dokaz Teorema 1.1). Neka je K jedna klasa rješenja, te neka su njeni elementi x i + y i d, i = 1,2,3,... Tada klasu koja se sastoji od rješenja x i y i d označavamo s K i kažemo da je konjugirana klasi K. Ako vrijedi da je K = K, onda kažemo da je klasa K dvoznačna. Medu svim elementima klase K odabrat ćemo jedan, x + y d, kojeg ćemozvatifundamentalno rješenje jednadžbe x 2 dy 2 = N u klasi K.Biramo ga tako da y poprimi najmanju moguću nenegativnu vrijednost medu svim elementima x+y duklasi K. Ovim jezahtjevom i x jednoznačno odreden, osim u slučaju kada je K dvoznačna. Ako je K dvoznačna, onda izabiremo x tako da zadovolji i dodatni uvjet da je x 0. Uočimo da x poprima najmanju moguću vrijednost unutar klase K. Teorem 1.8. Neka je u+v d fundamentalno rješenje jednadžbe x 2 dy 2 = 1. Tada za svako fundamentalno rješenje x +y d jednadžbe x 2 dy 2 = N

20 Diofantske jednadžbe 19 vrijede nejednakosti: 0 y v 2(u+ε) N, x 1 2 (u+ε) N, gdje je ε = 1 ako je N > 0, a ε = 1 ako je N < 0. Posebno, fundamentalnih rješenja (pa i klasa rješenja) ima konačno mnogo. Dokaz: Dokazat ćemo tvrdnju za N < 0. Dokaz za N > 0 je analogan. Definirajmo cijele brojeve x,y sa x +y d = (x +y d)(u δv d), gdje je δ = 1 ako je x 0, a δ = 1 ako je x < 0. Tada x +y d pripada istoj klasi kao i x +y d, pa zbog minimalnosti od y zaključujemo da je y = uy δvx y, što povlači v x (u 1)y. Kvadriranjem dobivamo v 2 (dy 2 +N) (u 2 2u+1)y 2, tj. y 2 (2u 2) N v 2, pa dobivamo traženu nejednakost za y. Sada je x 2 = dy 2 +N dnv2 2u 2 +N = N(u2 2u+1) 2u 2 = N (u 1). 2 Primjer 1.4. Riješimo jednadžbu x 2 6y 2 = 29. Rješenje: Fundamentalnorješenje pripadnepellove jednadžbex 2 6y 2 = 1 je Stoga za fundamentalna rješenja polazne jednadžbe vrijede nejednakosti 0 y 3, x 7. Lako se provjeri da su jedina rješenja koja zadovoljavaju te nejednakosti i (i ona nisuasocirana). Dakle, sva rješenja su dana sa x+y 6 = ±(5+3 6)(5+2 6) n ili x+y 6 = ±( 5+3 6)(5+2 6) n, za n Z. To znači da imamo dva niza rješenja (u prirodnim brojevima): x 0 = 5, y 0 = 3; x 1 = 61, y 1 = 25; x n+2 = 10x n+1 x n, y n+2 = 10y n+1 y n, x 0 = 5, y 0 = 3; x 1 = 11, y 1 = 5; x n+2 = 10x n+1 x n, y n+2 = 10y n+1 y n. Propozicija 1.4. Pretpostavimo da je N < d. Ako je x+y d rješenje jednadžbe x 2 dy 2 = N, onda je x y neka konvergenta u razvoju u verižni razlomak od d.

21 Diofantske jednadžbe 20 Dokaz: Pretpostavimo najprije da je N > 0. Tada je x > y d, pa je 0 < x y d = N y(x+y d) < N 2 dy < 1 2 2y 2. Iz Legendreovog teorema slijedi da je x y neka (neparna) konvergenta od d. Neka je sada N < 0. Tada je x < y d, pa imamo 0 < y x 1 d = N x d(x+y d) < N 2 dx < 1 2 2x 2. Zaključujemo da je y 1 x neka konvergenta od. No, ako je y d x i-ta konvergenta od 1, onda je x d y (i 1)-va konvergenta od d. Dakle, rješivost jednadžbe x 2 dy 2 = N u relativno prostim cijelim brojevima x,y, ako je N < d, možemo ustanoviti tako da d razvijemo u verižni razlomak, te provjerimo zadovoljava li neka od prvih 2l konvergenti relaciju p 2 i dq2 i = ( 1)i+1 t i+1 = N. Ako N nije puno veći od d (npr. N < 4 d), onda možemo koristiti Teorem 1.6 umjesto Legendreovog teorema. Pritom koristimo relaciju (rp i ±sp i 1 ) 2 d(rq i ±sq i 1 ) 2 = ( 1) i+1 (r 2 t i+1 s 2 t i 2rss i+1 ). (1.21) Za rješenje x 0 +y 0 d kažemo da je primitivno ako su x0 i y 0 relativno prosti. Ako je (x 0,y 0 ) = g, onda je x 0 g + y 0 g d primitivno rješenje jednadžbe x 2 dy 2 = N. g 2 Primjer 1.5. Neka je k prirodan broj. Odrediti sve prirodne brojeve N takve da je N < 4k i da jednadžba ima primitivno rješenje. Rješenje: Imamo da je 0 < x y k 2 +1 < x 2 (k 2 +1)y 2 = N N 2 k 2 +1y < 2k 2 k 2 +1y < 2 2 y 2. Po Teoremu 1.6, brojevi x i y imaju oblik x = rp i ±sp i 1, y = rq i ±sq i 1, gdje je rs < 4. Broj k 2 +1 ima vrlo jednostavan razvoj u verižni razlomak: k 2 +1 = [k;2k]. Nadalje, s i = k, t i = 1 za svaki i 1. Zato je u formulu (1.21) dovoljno uvrstiti i = 1, te (r,s) = (1,0),(1,1),(1,2),(2,1),(1,3),(3,1). Dobivaju se sljedeće vrijednosti od N koje zadovoljavaju uvjet 0 < N < 4k: N = 1, 2k, 4k 3 (za svaki k N),

22 Diofantske jednadžbe 21 te još dodatno N = 10 za k = 3 (što je jednako 6k 8). Opisat ćemo opći algoritam kojim se rješavanje jednadžbe x 2 dy 2 = N za N < d može svesti na rješavanje jednadžbe x 2 dy 2 = N, gdje je N > d. Konstrukcija koja se pritom koristi dat će nam i novi dokaz konačnosti broja klasa rješenja, te ocjenu za broj klasa koja neće ovisi o veličini fundamentalnog rješenja pripadne Pellove jednadžbe. Lema 1.2. Ako je x 0 +y 0 d primitivno rješenje jednadžbe x 2 dy 2 = N, onda postoji cijeli broj k, k N 2, sa svojstvom x 0 ky 0 (mod N), k 2 d (mod N). U tom slučaju kažemo da rješenje x 0 +y 0 d pripada broju k. Dokaz: Budući da su x 0 i y 0 relativno prosti, to su i y 0 i N takoder relativno prosti. Stoga postoji k Z takav da je ky 0 x 0 (mod N). Broj k možemo izabrati iz bilo kojeg potpunog sustava ostataka modulo N, a tako i iz onog s najmanjim ostacima po apsolutnoj vrijednosti, koji sadrži ostatke koji su N 2. Nadalje, pa je k 2 d (mod N). x 2 0 dy 2 0 (k 2 d)y (mod N), Lema 1.3. Dva primitivna rješenja jednadžbe x 2 dy 2 = N su asocirana ako i samo ako pripadaju istom broju. Dokaz: Neka su x 0 +y 0 d i x1 +y 1 d dva primitivna asocirana rješenja jednadžbe x 2 dy 2 = N. Tada postoji rješenje u+v d jednadžbe x 2 dy 2 = 1 tako da je x 1 = x 0 u+dy 0 v, y 1 = x 0 v +y 0 u. Ako x 0 +y 0 d pripada broju k, onda vrijedi y 1 k x 0 vk +y 0 uk y 0 vk 2 +x 0 u dy 0 v +x 0 u x 1 (mod N), pa i x 1 +y 1 d pripada broju k. Dokažimo sada obrat. Pretpostavimo da rješenja x 0 +y 0 d i x1 +y 1 d pripadaju istom broju k. Tada je x 0 x 1 k 2 y 0 y 1 dy 0 y 1 (mod N) i x 0 y 1 ky 0 y 1 y 0 x 1 (mod N), pa su rješenja asocirana. Korolar 1.2. Neka je N kvadratno slobodan cijeli broj. Broj klasa rješenja jednadžbe x 2 dy 2 = N je 2 ω(n), gdje je ω(n) broj prostih faktora od N.

23 Diofantske jednadžbe 22 Dokaz: Budući da je N kvadratno slobodan, sva rješenja su primitivna. Po Lemi 1.3, broj klasa je manji ili jednak broju mogućih k-ova, tj. broju rješenja kongruencije x 2 d (mod N). Neka je N = p 1 p 2 p ω(n). Za svaki i = 1,2,...,ω(N), kongruencija x 2 d (mod p i ) ima najviše dva rješenja, pa je (po Kineskom teoremu o ostacima) broj rješenja kongruencije x 2 d (mod N) manji ili jednak 2 ω(n). Napomena 1.2. U općem slučaju, kada je N = p α 1 1 pαm m, može se pokazati da je broj rješenja jednadžbe x 2 dy 2 = N odozgo omeden s m i=1 (α i+1). Naime, ovdje treba uzeti u obzir i neprimitivna rješenja. Tako, npr. kada je N = p 2β+1, onda promatramo jednadžbe x 2 dy 2 = p 2γ+1 za 0 γ β. Svaka od njih ima najviše dvije klase primitivnih rješenja, pa je ukupan broj klasa 2(β+1). Ako je N = p 2β, onda promatramo jednadžbe x 2 dy 2 = p 2γ za 0 γ β. Za γ = 0 imamo točno jednu klasu rješenja, a za γ 1 najviše dvije klase primitivnih rješenja, pa je ukupan broj klasa 1+2β. Neka je k 2 d (mod N). Definirajmo M = k2 d N. Može se pokazati da jednadžba x 2 dy 2 = N ima rješenje koje pripada broju k ako i samo ako jednadžba X 2 dy 2 = M ima rješenje koje pripada broju k. Nadalje, veza medu rješenjima ovih dviju jednadžbi je dana sa: x = dy ±kx M, y = X ±ky M (1.22) (ovdje predznak izabiremo tako da brojnici budu djeljivi s M). Pretpostavimo da je N > d. Ako je k 2 d > 0, onda je a ako je k 2 d < 0, onda je M < k2 N N2 /4 = N N 4, M d N < d d = d. Stoga u konačno mnogo koraka dolazimo do jednadžbe oblika x 2 dy 2 = M u kojoj M < d, koja se može riješiti pomoću verižnih razlomaka (Propozicija 1.4). Primjer 1.6. Dokažimo da jednadžba x 2 13y 2 = 53 ima rješenja. Rješenje: Promotrimokongruencijuk 2 13 (mod 53). Onaimarješenja k = ±15. Pripadni M je jednak 4, a pripadna jednadžba je X 2 13Y 2 = 4. Znamo da ova jednadžba mora imati rješenja, a najmanje je X + Y d = Stoga i polazna jednadžba ima rješenja. Koristeći formule (1.22), dobivamo da je jedno rješenje x = = 51, y = = 14.

24 Poglavlje 2 Ternarne kvadratne forme 2.1 Legendreov teorem Promatrat ćemo ternarne kvadratne forme Q(x,y,z) = Ax 2 +Bxy +Cxz+Dy 2 +Eyz +Fz 2 (2.1) s racionalnim koeficijentima (tj. homogene polinome drugog stupnja u tri varijable). Zanimaju nas kriteriji za odredivanje ima li jednadžba Q(x, y, z) = 0 netrivijalnih racionalnih rješenja (x,y,z) (rješenje (x,y,z) = (0,0,0) ćemo zvati trivijalnim). Jasno je da je za ovakvu (homogenu) jednadžbu rješivost u racionalnim brojevima ekvivalentna rješivosti u relativno prostim cijelim brojevima (množimo sa zajedničkim nazivnikom; dijelimo sa zajedničkim faktorom). NekajeA = [α ij ]nesingularna3 3matricasracionalnimkoeficijentima. Tada za formu g(x,y,z) = f(α 11 x+α 12 y +α 13 z,α 21 x+α 22 y +α 23 z,α 31 x+α 32 y +α 33 z) kažemo da je ekvivalentna formi f. Na taj način očito dobivamo relaciju ekvivalencije. Nadalje, vrijedi da jednadžba f(x, y, z) = 0 ima netrivijalno rješenje ako i samo ako jednadžba g(x,y,z) = 0 ima netrivijalno rješenje (zato ćemo i za te dvije jednadžbe govoriti da su ekvivalentne). Lema 2.1. Jednadžba Q(x, y, z) = 0 ekvivalentna je nekoj jednadžbi oblika ax 2 +by 2 +cz 2 = 0, gdje su a,b,c cijeli brojevi. Ako je abc 0, onda se a,b,c mogu izabrati tako da budu kvadratno slobodni i u parovima relativno prosti. Dokaz: Možemo pretpostaviti da je A 0. U protivnom, polaznu formu možemo zamijeniti njoj ekvivalentnom formom koja će imati to svojstvo. Zaista, neka je Q(x 0,y 0,z 0 ) = α 0. Postoji nesingularna matrica A kojoj 23

25 Diofantske jednadžbe 24 je prvi stupac x 0,y 0,z 0. Primijenimo li supstituciju s matricom A na formu Q, dobivamo formu oblika αx 2 +. Dakle, imamo A 0. Sada supstitucija x x By+Cz 2A eliminira članove uz xy i xz, tj. dobivamo jednadžbu oblika A x 2 +D y 2 +E yz +F z 2 = 0. Ako D,E,F nisu svi jednaki 0, onda slično kao gore možemo pretpostaviti da je D 0. Primjenom supstitucije y y E z 2D eliminiramo član uz yz i dobivamo jednadžbu oblika ax 2 +by 2 +cz 2 = 0, (2.2) a, b, c Q. Množeći sa zajedničkim nazivnikom, možemo pretpostaviti da su a,b,c Z. Ako sada npr. a nije kvadratno slobodan (i različit je od 0), tj. a = a a 2, onda supstitucijom x x a dobivamo jednadžbu oblika (2.2) u kojoj je a kvadratno slobodan. Dakle, možemo postići da su a, b, c kvadratno slobodni. Dijeleći sa zajedničkim faktorom, možemo postići da je (a,b,c) = 1. Pretpostavimo da a,b,c nisu u parovima relativno prosti. Neka je npr. p prost broj koji dijeli b i c, tj. b = pb, c = pc. Supstitucijom x px dobivamo jednadžbu pax 2 +b y 2 +c z 2 = 0. Na ovaj način možemo ukloniti sve eventualne zajedničke faktore dvaju od brojeva a,b,c, te postići da na kraju a,b,c buduuparovima relativno prosti. Udaljnjemćemopromatratiformeoblikaax 2 +by 2 +cz 2,gdjea,b,czadovoljavaju uvjete iz Leme 2.1. Ti uvjeti se mogu objediniti tako da tražimo da je abc kvadratno slobodan. Takoder ćemo pretpostavljati da je forma negenerirana, što znači da je abc 0. (Ako je a = 0, onda jednadžba by 2 +cz 2 = 0 ima netrivijalno rješenje ako i samo ako je bc kvadrat cijelog broja. A ako su b i c kvadratno slobodni i relativno prosti, to je moguće samo za bc = 1.) Teorem 2.1 (Legendre). Neka su a, b, c cijeli brojevi različiti od 0, takvi da je broj abc kvadratno slobodan. Nužan i dovoljan uvjet da bi jednadžba ax 2 +by 2 +cz 2 = 0 imala netrivijalno rješenje u racionalnim brojevima je da 1) brojevi a, b, c nisu svi pozitivni niti svi negativni; 2) broj bc je kvadratni ostatak modulo a, broj ac je kvadratni ostatak modulo b, broj ab je kvadratni ostatak modulo c. Dokažimo najprije dvije leme. Prva govori o tome kako linearna homogena kongruencija uvijek ima relativno mala netrivijalna rješenja, dok

26 Diofantske jednadžbe 25 druga govori o tome kako možemo kombinirati faktorizacije kvadratne forme na linearne faktore po različitim modulima. Mi ćemo to iskoristiti da bi našu formu (2.2) faktorizirali modulo abc, te pomoću dobivenih linearnih faktora našli malo rješenje promatrane kongruencije. Bude li to rješenje dovoljno malo, kongruenciju ćemo moći zamjeniti jednakošću i time dokazati teorem. Lema 2.2. Neka su λ, µ, ν pozitivni realni brojevi takvi da je λµν = m Z. Tada kongruencija αx+βy +γz 0 (mod m) (s cjelobrojnim koeficijentima) ima netrivijano rješenje x, y, z takvo da je x λ, y µ, z ν. Dokaz: Neka x prolazi skupom {0,1,..., λ }, y skupom {0,1,..., µ }, a z skupom {0,1,..., ν }. Tako dobivamo (1+ λ )(1+ µ )(1+ ν ) različitih trojki (x,y,z). Kako je (1+ λ )(1+ µ )(1+ ν ) > λµν = m, po Dirichletovom principu postoje dvije različite trojke (x 1,y 1,z 1 ) i (x 2,y 2,z 2 ) za koje vrijedi Sada je αx 1 +βy 1 +γz 1 αx 2 +βy 2 +γz 2 (mod m). α(x 1 x 2 )+β(y 1 y 2 )+γ(z 1 z 2 ) 0 (mod m), te x 1 x 2 λ λ, y 1 y 2 µ, z 1 z 2 ν. Lema 2.3. Neka je (m,n) = 1. Ako se ax 2 +by 2 +cz 2 faktorizira na linearne faktore modulo m i modulo n, onda se faktorizira na linearne faktore modulo mn. Dokaz: Po pretpostavci je ax 2 +by 2 +cz 2 (α 1 x+β 1 y +γ 1 z)(α 2 x+β 2 y +γ 2 z) (mod m), ax 2 +by 2 +cz 2 (α 3 x+β 3 y +γ 3 z)(α 4 x+β 4 y +γ 4 z) (mod n), gdje su α i,β i,γ i Z. Po Kineskom teoremu o ostacima, postoje α,β,γ,α,β,γ Z sa svojstvima: α α 1 (mod m), β β 1 (mod m), γ γ 1 (mod m), α α 2 (mod m), β β 2 (mod m), γ γ 2 (mod m), α α 3 (mod n); β β 3 (mod n); γ γ 3 (mod n); α α 4 (mod n); β β 4 (mod n); γ γ 4 (mod n).

27 Diofantske jednadžbe 26 Tada kongruencija ax 2 +by 2 +cz 2 (αx+βy +γz)(α x+β y +γ z) vrijedi i modulo m i modulo n, pa vrijedi i modulo mn. Dokaz Teorema 2.1: Nužnost: Ako ax 2 +by 2 +cz 2 = 0 ima cjelobrojno rješenje (x 0,y 0,z 0 ) (0,0,0), onda je jasno da a,b,c ne mogu svi biti pozitivni (jer bi tada bilo ax 2 0 +by2 0 +cz2 0 > 0), niti svi negativni. Dijeleći s (x 0,y 0,z 0 ) ako je potrebno, možemo pretpostaviti da su x 0,y 0,z 0 relativno prosti. Dokažimo sada da je (c,x 0 ) = 1. Pretpostavimo da prost broj p dijeli c i x 0. Tada p by0 2, ali p b, pa mora biti p y 0. No, tada p 2 cz0 2, pa jer je c kvadratno slobodan, imamo da p z 0. To je kontradikcija s (x 0,y 0,z 0 ) = 1. Dakle, zaista je (c,x 0 ) = 1. Zato postoji u Z takav da je ux 0 1 (mod c). Promotrimo kongruenciju ax 2 0 +by2 0 0 (mod c). Množeći ju s u 2 b, dobivamo (uby 0 ) 2 ab (mod c), što upravo znači da je ab kvadratni ostatak modulo c. Sasvim na isti način se dokazuju analogne tvrdnje za ac i bc. Dovoljnost: Bez smanjenja općenitosti možemo pretpostaviti da je a > 0 i b,c < 0 (uočimo da ako a,b,c zadovoljavaju uvjete teorema, onda ih zadovoljavaju i a, b, c). Neka je r 2 ab (mod c), te aa 1 1 (mod c) (r i a 1 postoje po pretpostavkama na a,b,c). Tada je ax 2 +by 2 +cz 2 ax 2 +by 2 aa 1 (ax 2 +by 2 ) a 1 (a 2 x 2 +aby 2 ) a 1 (a 2 x 2 r 2 y 2 ) a 1 (ax ry)(ax+ry) (x a 1 ry)(ax+ry) (mod c). Dakle, ax 2 + by 2 + cz 2 je produkt linearnih faktora modulo c, a sasvim analogno i modulo a i modulo b. Primijenimo li Lemu 2.3(dvaput), dobivamo da vrijedi ax 2 +by 2 +cz 2 (αx+βy +γz)(α x+β y +γ z) (mod abc). (2.3) Sada ćemo primijeniti Lemu 2.2 na kongruenciju αx+βy +γz 0 (mod abc) (2.4) uz λ = bc, µ = ac, ν = ab. Zaključujemo da postoji netrivijalno rješenje (x 1,y 1,z 1 ) kongruencije (2.4) koje zadovoljava x 1 bc, y 1 ac, z1 ab. Uočimo da bc može biti cijeli broj samo ako je bc = 1, tj. b = c = 1. Sličan zaključak imamo i za preostala dva korijena. Stoga smo dobili slijedeće:

28 Diofantske jednadžbe 27 x 2 1 y1 2 bc i jednakost vrijedi samo za b = c = 1; ac i jednakost vrijedi samo za a = 1, c = 1; z 2 1 ab i jednakost vrijedi samo za a = 1, b = 1. Promotrimo najprije slučaj b = c = 1. Sada uvjet teorema postaje da je 1 kvadratni ostatak modulo a. No, dobro je poznato (vidi [UTB, Teorem 4.7]) da se tada a može zapisati kao suma dva kvadrata: a = y z2 0, pa jednadžba ax 2 + by 2 + cz 2 = ax 2 y 2 z 2 = 0 ima netrivijalno rješenje (x,y,z) = (1,y 0,z 0 ). Dakle, sada možemo pretpostaviti da nije b = c = 1. U tom slučaju imamo ax 2 1 +by 2 1 +cz 2 1 ax 2 1 < abc, ax 2 1 +by2 1 +cz2 1 by2 1 +cz2 1 > b( ac)+c( ab) = 2abc, tj. 2abc < ax by2 1 + cz2 1 < abc. No, zbog (2.3) i (2.4) vrijedi i ax2 1 + by1 2 +cz2 1 0 (mod abc). To znači da imamo samo dvije mogućnosti (samo su dva višekratnika od abc u intervalu 2abc, abc ): ax 2 1 +by 2 1 +cz 2 1 = 0 ili ax 2 1 +by 2 1 +cz 2 1 = abc. Ako je nastupio prvi slučaj, onda smo našli netrivijalno rješenje promatrane jednadžbe i dokaz je gotov. U drugom slučaju ćemo modificirati trojku (x 1,y 1,z 1 ) da bi pomoću nje ipak dobili rješenje promatrane jednadžbe. Definirajmo: x 2 = by 1 + x 1 z 1, y 2 = ax 1 + y 1 z 1, z 2 = z1 2 + ab. Imamo c(z1 2 +ab) = ax2 1 by2 1, pa je cz 2 2 = (ax2 1 +by2 1 )(z2 1 +ab) = a( by 1+x 1 z 1 ) 2 b(ax 1 +y 1 z 1 ) 2 = ax 2 2 by2 2. Dakle, (x 2,y 2,z 2 ) je traženo rješenje. Treba još samo provjeriti što se dogada u slučaju kada je ovo rješenje trivijalno. Tada je z1 2 = ab, pa jer je ab kvadratno slobodan, mora biti a = 1, b = 1. Dakle, imamo jednadžbu x 2 y 2 +cz 2 = 0, koja očito ima netrivijalno rješenje (x,y,z) = (1,1,0). Primjer 2.1. Ispitajmo ima li diofantska jednadžba Q(x,y,z) = x 2 +3y 2 +5z 2 +7xy +9yz +11xz = 0 netrivijalnih cjelobrojnih rješenja. Rješenje: Želimo dobiti ekvivalentnu jednadžbu oblika ax2 +by 2 +cz 2 = 0, pa postupamo kao u dokazu Leme 2.1. Najprije iz Q(x,y,z) = ( x+ 7 2 y z ) y z yz

29 Diofantske jednadžbe 28 dobivamo ekvivalentnu jednadžbu g(x,y,z) = 4x 2 37y 2 101z 2 41yz = 0, a potom iz g(x,y,z) = 4x 2 37 ( y z) z2 dobivamo jednadžbu 37 (4x) 2 (74y) z 2 = 0. Konačno, eliminacijom kvadratnih faktora dolazimo do jednadžbe h(x,y,z) = 37x 2 y z 2 = 0 na koju možemo primijeniti Legendreov teorem. Vidimo da koeficijenti nisu istog predznaka. Nadalje, brojevi 37 i su prosti, pa još samo treba provjeriti da su Legendreovi simboli ( 37 ( ) ( jednaki 1. Oba ova simbola su jednaka ( ) ) = ( ) 21 = 37 ( ) 37 = 21 ( ), pa računamo = ) i Prema tome, polazna jednadžba ima netrivijalno rješenje. U idućem poglavlju ćemo vidjeti kako se to rješenje može naći.

30 Diofantske jednadžbe Algoritmi za nalaženje netrivijalnih rješenja Kao što smo vidjeli u prethodnom poglavlju, Legendreov teorem nam daje relativno efikasnu metodu za ispitivanje postojanja netrivijalnih nultočaka ternarne kvadratne forme. Preciznije, algoritam koji koristi Legendreov teorem ima subeksponencijalnu složenost, jer je njegov najzahtjevniji dio faktorizacija brojeva a,b,c na proste faktore, koja je nužna da bi mogli testirati jesu li zadovoljeni uvjeti s kvadratnim ostacima. Postavlja se pitanje, nakon što smo ustanovili postojanje netrivijalnog rješenja, kako pronaći barem jedno takvo rješenje (ili čak sva rješenja). Prikazat ćemo dva algoritma za nalaženje jednog netrivijalnog rješenja. Prvi algoritam je zasnovan na preciznim ocjenama (preciznijim od onih koje slijede iz gornjeg dokaza Teorema 2.1) koje mora zadovoljiti barem jedno netrivijalno rješenje. Teorem 2.2 (Holzer). Neka je broj abc kvadratno slobodan, te a > 0 i b,c < 0. Ako jednadžba ax 2 +by 2 +cz 2 = 0 (2.5) ima netrivijalno rješenje, onda postoji barem jedno netrivijalno rješenje koje zadovoljava nejednakosti x bc, y ac, z ab. Dokaz: Neka je (x 0,y 0,z 0 ) rješenje od (2.5) u relativno prostim brojevima. Pretpostavimodaje x 0 > bc.pokazat ćemo datadapostojirješenje (x,y,z) od (2.5) u kojem je x < x 0. Nastavljajući isti postupak, dolazimo do zaključka da mora postojati rješenje u kojem je x bc. No, tada je b y 2 ax 2 abc, pa je y ac, a slično i z ab. Pokažimo dakle kako se može dobiti rješenje u kojem je x < x 0. Stavimo x = x 0 +tx, y = y 0 +ty, z = z 0 +tz, (2.6) gdje su X,Y,Z cijeli brojevi koje ćemo na prikladan način izabrati malo kasnije. Može se reći da smo povukli (projektivni) pravac kroz (projektivnu) racionalnu točku na (projektivnoj) koniki. Zato očekujemo da će se pravac i konika sječi u još jednoj točki. Zaista, uvrštavanjem (2.6) u (2.5), te kraćenjem s t (slobodni član je jednak nula jer je (x 0,y 0,z 0 ) rješenje), dobivamo t = 2(ax 0X +by 0 Y +cz 0 Z) ax 2 +by 2 +cz 2. Stoga je δx = x 0 (ax 2 +by 2 +cz 2 ) 2X(ax 0 X +by 0 Y +cz 0 Z), δy = y 0 (ax 2 +by 2 +cz 2 ) 2Y(ax 0 X +by 0 Y +cz 0 Z), δz = z 0 (ax 2 +by 2 +cz 2 ) 2Z(ax 0 X +by 0 Y +cz 0 Z).

31 Diofantske jednadžbe 30 gdje je δ zajednički djelitelj triju izraza na desnoj strani. Pretpostavimo sada da δ a i δ (y 0 Z z 0 Y). Pokazat ćemo da su tada x,y,z cijeli brojevi. Dovoljno je dokazati da δ (by 2 +cz 2 ) i δ (by 0 Y +cz 0 Z). Iz ax 2 0 +by2 0 +cz2 0 = 0 i pretpostavke da su x 0,y 0,z 0 relativno prosti, te a,b,c kvadratnoslobodniiuparovima relativno prosti, slijedidaje(δ,bcy 0 z 0 ) = 1. Sada imamo: by 2 +cz 2 y0 2 Y 2 (by0 2 +cz2 0 ) ax2 0 y 2 0 Y 2 0 (mod δ), by 0 Y +cz 0 Z y0 1 Y(by2 0 +cz2 0 ) 0 (mod δ), čimesmodokazalidasustvarnox,y,z cijelibrojevi.želimoizabratiδ,x,y,z tako da x bude što manji. Imamo: δx ( = X + by ) 0Y +cz 0 Z 2 + bc ax 0 ax 0 a 2 x 2 (y 0 Z z 0 Y) 2. (2.7) 0 Odaberimo sada Y i Z kao rješenja linearne kongruencije y 0 Z z 0 Y = δ. Dalje se dokaz malo razlikuje u ovisnosti o parnosti od a. Neka je najprije a paran. Tada stavljamo δ = a 2, a za X izabiremo najbliži cijeli broj broju by 0Y+cz 0 Z ax 0 (da bi minimizirali prvi pribrojnik na desnoj strani u (2.7)). Tada iz (2.7) dobivamo 1 x 2 x bc 4x 2 0 < 1 2, tj. x < x 0, što se i tražilo. U slučaju kada je a neparan, potrebna je malo modifikacija da bi dobili isti zaključak. Sada je δ neparan. Ako su desne strane u jednakostima za δx, δy i δz parne, onda su djeljive s 2δ, a to znači da u (2.7) možemo δ zamijeniti s 2δ. Stavljamo δ = a, te X izabiremo kao najbliži cijeli broj broju by 0Y+cz 0 Z ax 0 koji zadovoljava dodatnosvojstvo da je broj ax+by +cz paran. Dobivamo 2 x x 0 < 1+1, te ponovo x < x 0. Holzerov teorem nam daje mogućnost nalaženja netrivijalnog rješenja jednadžbe (2.5) testiranjem svih parova x,y takvih da je 0 x bc, 0 y ac i ispitivanjem je li broj ax2 +by 2 c kvadrat cijelog broja. O algoritmima za efikasno testiranje je li dani prirodni broj kvadrat može se naći u skripti iz kolegija Teorija brojeva u kriptografiji, Poglavlje 2.8. No, parova kojetrebaispitati imapribližno c ab, paovo dajeprilično neefikasan (eksponencijalni) algoritam na nalaženje rješenja. Prikazat ćemo dva efikasnija algoritma. Prvi koristi Holzerov teorem i opću ideju za nalaženje rješenja jednadžbe oblika y 2 = f(x 1,...,x n ). Ona se sastoji u tome da se za dovoljan broj prostih brojeva p eliminiraju ( prosiju ) vrijednosti (x 1 mod p,...,x n mod p) za koje f(x 1,...,x n ) nije kvadrat modulo p. Relativna

Sume kvadrata. mn = (ax + by) 2 + (ay bx) 2.

Sume kvadrata. mn = (ax + by) 2 + (ay bx) 2. Sume kvadrata Koji se prirodni brojevi mogu prikazati kao zbroj kvadrata dva cijela broja? Propozicija 1. Ako su brojevi m i n sume dva kvadrata, onda je i njihov produkt m n takoder suma dva kvadrata.

Διαβάστε περισσότερα

7 Algebarske jednadžbe

7 Algebarske jednadžbe 7 Algebarske jednadžbe 7.1 Nultočke polinoma Skup svih polinoma nad skupom kompleksnih brojeva označavamo sa C[x]. Definicija. Nultočka polinoma f C[x] je svaki kompleksni broj α takav da je f(α) = 0.

Διαβάστε περισσότερα

Uvod u teoriju brojeva

Uvod u teoriju brojeva Uvod u teoriju brojeva 2. Kongruencije Borka Jadrijević Borka Jadrijević () UTB 2 1 / 25 2. Kongruencije Kongruencija - izjava o djeljivosti; Teoriju kongruencija uveo je C. F. Gauss 1801. De nicija (2.1)

Διαβάστε περισσότερα

Neka je a 3 x 3 + a 2 x 2 + a 1 x + a 0 = 0 algebarska jednadžba trećeg stupnja. Rješavanje ove jednadžbe sastoji se od nekoliko koraka.

Neka je a 3 x 3 + a 2 x 2 + a 1 x + a 0 = 0 algebarska jednadžba trećeg stupnja. Rješavanje ove jednadžbe sastoji se od nekoliko koraka. Neka je a 3 x 3 + a x + a 1 x + a 0 = 0 algebarska jednadžba trećeg stupnja. Rješavanje ove jednadžbe sastoji se od nekoliko koraka. 1 Normiranje jednadžbe. Jednadžbu podijelimo s a 3 i dobivamo x 3 +

Διαβάστε περισσότερα

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k. 1 3 Skupovi brojeva 3.1 Skup prirodnih brojeva - N N = {1, 2, 3,...} Aksiom matematičke indukcije Neka je N skup prirodnih brojeva i M podskup od N. Ako za M vrijede svojstva: 1) 1 M 2) n M (n + 1) M,

Διαβάστε περισσότερα

Operacije s matricama

Operacije s matricama Linearna algebra I Operacije s matricama Korolar 3.1.5. Množenje matrica u vektorskom prostoru M n (F) ima sljedeća svojstva: (1) A(B + C) = AB + AC, A, B, C M n (F); (2) (A + B)C = AC + BC, A, B, C M

Διαβάστε περισσότερα

INTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011.

INTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011. INTEGRALNI RAČUN Teorije, metodike i povijest infinitezimalnih računa Lucija Mijić lucija@ktf-split.hr 17. veljače 2011. Pogledajmo Predstavimo gornju sumu sa Dodamo još jedan Dobivamo pravokutnik sa Odnosno

Διαβάστε περισσότερα

Matematička analiza 1 dodatni zadaci

Matematička analiza 1 dodatni zadaci Matematička analiza 1 dodatni zadaci 1. Ispitajte je li funkcija f() := 4 4 5 injekcija na intervalu I, te ako jest odredite joj sliku i inverz, ako je (a) I = [, 3), (b) I = [1, ], (c) I = ( 1, 0].. Neka

Διαβάστε περισσότερα

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju RAČUN OSTATAKA 1 1 Prsten celih brojeva Z := N + {} N + = {, 3, 2, 1,, 1, 2, 3,...} Osnovni primer. (Z, +,,,, 1) je komutativan prsten sa jedinicom: sabiranje (S1) asocijativnost x + (y + z) = (x + y)

Διαβάστε περισσότερα

2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x

2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x Zadatak (Darjan, medicinska škola) Izračunaj vrijednosti trigonometrijskih funkcija broja ako je 6 sin =,,. 6 Rješenje Ponovimo trigonometrijske funkcije dvostrukog kuta! Za argument vrijede sljedeće formule:

Διαβάστε περισσότερα

TRIGONOMETRIJSKE FUNKCIJE I I.1.

TRIGONOMETRIJSKE FUNKCIJE I I.1. TRIGONOMETRIJSKE FUNKCIJE I I Odredi na brojevnoj trigonometrijskoj kružnici točku Et, za koju je sin t =,cost < 0 Za koje realne brojeve a postoji realan broj takav da je sin = a? Izračunaj: sin π tg

Διαβάστε περισσότερα

M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost

M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost M086 LA 1 M106 GRP Tema: CSB nejednakost. 19. 10. 2017. predavač: Rudolf Scitovski, Darija Marković asistent: Darija Brajković, Katarina Vincetić P 1 www.fizika.unios.hr/grpua/ 1 Baza vektorskog prostora.

Διαβάστε περισσότερα

6 Polinomi Funkcija p : R R zadana formulom

6 Polinomi Funkcija p : R R zadana formulom 6 Polinomi Funkcija p : R R zadana formulom p(x) = a n x n + a n 1 x n 1 +... + a 1 x + a 0, gdje su a 0, a 1,..., a n realni brojevi, a n 0, i n prirodan broj ili 0, naziva se polinom n-tog stupnja s

Διαβάστε περισσότερα

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A. 3 Infimum i supremum Definicija. Neka je A R. Kažemo da je M R supremum skupa A ako je (i) M gornja meda skupa A, tj. a M a A. (ii) M najmanja gornja meda skupa A, tj. ( ε > 0)( a A) takav da je a > M

Διαβάστε περισσότερα

Teorem 1.8 Svaki prirodan broj n > 1 moºe se prikazati kao umnoºak prostih brojeva (s jednim ili vi²e faktora).

Teorem 1.8 Svaki prirodan broj n > 1 moºe se prikazati kao umnoºak prostih brojeva (s jednim ili vi²e faktora). UVOD U TEORIJU BROJEVA Drugo predavanje - 10.10.2013. Prosti brojevi Denicija 1.4. Prirodan broj p > 1 zove se prost ako nema niti jednog djelitelja d takvog da je 1 < d < p. Ako prirodan broj a > 1 nije

Διαβάστε περισσότερα

Linearna algebra 2 prvi kolokvij,

Linearna algebra 2 prvi kolokvij, Linearna algebra 2 prvi kolokvij, 27.. 20.. Za koji cijeli broj t je funkcija f : R 4 R 4 R definirana s f(x, y) = x y (t + )x 2 y 2 + x y (t 2 + t)x 4 y 4, x = (x, x 2, x, x 4 ), y = (y, y 2, y, y 4 )

Διαβάστε περισσότερα

Uvod u teoriju brojeva. Andrej Dujella

Uvod u teoriju brojeva. Andrej Dujella Uvod u teoriju brojeva (skripta) Andrej Dujella PMF - Matematički odjel Sveučilište u Zagrebu Sadržaj. Djeljivost.... Kongruencije... 3. Kvadratni ostatci... 9 4. Kvadratne forme... 38 5. Aritmetičke funkcije...

Διαβάστε περισσότερα

1.4 Tangenta i normala

1.4 Tangenta i normala 28 1 DERIVACIJA 1.4 Tangenta i normala Ako funkcija f ima derivaciju u točki x 0, onda jednadžbe tangente i normale na graf funkcije f u točki (x 0 y 0 ) = (x 0 f(x 0 )) glase: t......... y y 0 = f (x

Διαβάστε περισσότερα

18. listopada listopada / 13

18. listopada listopada / 13 18. listopada 2016. 18. listopada 2016. 1 / 13 Neprekidne funkcije Važnu klasu funkcija tvore neprekidne funkcije. To su funkcije f kod kojih mala promjena u nezavisnoj varijabli x uzrokuje malu promjenu

Διαβάστε περισσότερα

3.1 Granična vrednost funkcije u tački

3.1 Granična vrednost funkcije u tački 3 Granična vrednost i neprekidnost funkcija 2 3 Granična vrednost i neprekidnost funkcija 3. Granična vrednost funkcije u tački Neka je funkcija f(x) definisana u tačkama x za koje je 0 < x x 0 < r, ili

Διαβάστε περισσότερα

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D} Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Neka su D i K bilo koja dva neprazna skupa. Postupak f koji svakom elementu x D pridružuje točno jedan element y K zovemo funkcija

Διαβάστε περισσότερα

Teorijske osnove informatike 1

Teorijske osnove informatike 1 Teorijske osnove informatike 1 9. oktobar 2014. () Teorijske osnove informatike 1 9. oktobar 2014. 1 / 17 Funkcije Veze me du skupovima uspostavljamo skupovima koje nazivamo funkcijama. Neformalno, funkcija

Διαβάστε περισσότερα

1 Promjena baze vektora

1 Promjena baze vektora Promjena baze vektora Neka su dane dvije različite uredene baze u R n, označimo ih s A = (a, a,, a n i B = (b, b,, b n Svaki vektor v R n ima medusobno različite koordinatne zapise u bazama A i B Zapis

Διαβάστε περισσότερα

Determinante. a11 a. a 21 a 22. Definicija 1. (Determinanta prvog reda) Determinanta matrice A = [a] je broj a.

Determinante. a11 a. a 21 a 22. Definicija 1. (Determinanta prvog reda) Determinanta matrice A = [a] je broj a. Determinante Determinanta A deta je funkcija definirana na skupu svih kvadratnih matrica, a poprima vrijednosti iz skupa skalara Osim oznake deta za determinantu kvadratne matrice a 11 a 12 a 1n a 21 a

Διαβάστε περισσότερα

radni nerecenzirani materijal za predavanja

radni nerecenzirani materijal za predavanja Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Kažemo da je funkcija f : a, b R u točki x 0 a, b postiže lokalni minimum ako postoji okolina O(x 0 ) broja x 0 takva da je

Διαβάστε περισσότερα

Iskazna logika 3. Matematička logika u računarstvu. novembar 2012

Iskazna logika 3. Matematička logika u računarstvu. novembar 2012 Iskazna logika 3 Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia novembar 2012 Deduktivni sistemi 1 Definicija Deduktivni sistem (ili formalna teorija)

Διαβάστε περισσότερα

Riješeni zadaci: Limes funkcije. Neprekidnost

Riješeni zadaci: Limes funkcije. Neprekidnost Riješeni zadaci: Limes funkcije. Neprekidnost Limes funkcije Neka je 0 [a, b] i f : D R, gdje je D = [a, b] ili D = [a, b] \ { 0 }. Kažemo da je es funkcije f u točki 0 jednak L i pišemo f ) = L, ako za

Διαβάστε περισσότερα

16 Lokalni ekstremi. Definicija 16.1 Neka je A R n otvoren, f : A R i c A. Ako postoji okolina U(c) od c na kojoj je f(c) minimum

16 Lokalni ekstremi. Definicija 16.1 Neka je A R n otvoren, f : A R i c A. Ako postoji okolina U(c) od c na kojoj je f(c) minimum 16 Lokalni ekstremi Važna primjena Taylorovog teorema odnosi se na analizu lokalnih ekstrema (minimuma odnosno maksimuma) relanih funkcija (više varijabli). Za n = 1 i f : a,b R ako funkcija ima lokalni

Διαβάστε περισσότερα

ELEKTROTEHNIČKI ODJEL

ELEKTROTEHNIČKI ODJEL MATEMATIKA. Neka je S skup svih živućih državljana Republike Hrvatske..04., a f preslikavanje koje svakom elementu skupa S pridružuje njegov horoskopski znak (bez podznaka). a) Pokažite da je f funkcija,

Διαβάστε περισσότερα

Linearna algebra I, zimski semestar 2007/2008

Linearna algebra I, zimski semestar 2007/2008 Linearna algebra I, zimski semestar 2007/2008 Predavanja: Nenad Bakić, Vježbe: Luka Grubišić i Maja Starčević 22. listopada 2007. 1 Prostor radijvektora i sustavi linearni jednadžbi Neka je E 3 trodimenzionalni

Διαβάστε περισσότερα

Riješeni zadaci: Nizovi realnih brojeva

Riješeni zadaci: Nizovi realnih brojeva Riješei zadaci: Nizovi realih brojeva Nizovi, aritmetički iz, geometrijski iz Fukciju a : N R azivamo beskoači) iz realih brojeva i ozačavamo s a 1, a,..., a,... ili a ), pri čemu je a = a). Aritmetički

Διαβάστε περισσότερα

Linearna algebra 2 prvi kolokvij,

Linearna algebra 2 prvi kolokvij, 1 2 3 4 5 Σ jmbag smjer studija Linearna algebra 2 prvi kolokvij, 7. 11. 2012. 1. (10 bodova) Neka je dano preslikavanje s : R 2 R 2 R, s (x, y) = (Ax y), pri čemu je A: R 2 R 2 linearan operator oblika

Διαβάστε περισσότερα

Funkcije dviju varjabli (zadaci za vježbu)

Funkcije dviju varjabli (zadaci za vježbu) Funkcije dviju varjabli (zadaci za vježbu) Vidosava Šimić 22. prosinca 2009. Domena funkcije dvije varijable Ako je zadano pridruživanje (x, y) z = f(x, y), onda se skup D = {(x, y) ; f(x, y) R} R 2 naziva

Διαβάστε περισσότερα

DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović

DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović Novi Sad April 17, 2018 1 / 22 Teorija grafova April 17, 2018 2 / 22 Definicija Graf je ure dena trojka G = (V, G, ψ), gde je (i) V konačan skup čvorova,

Διαβάστε περισσότερα

Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike. Pellove jednadžbe i problem stoke

Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike. Pellove jednadžbe i problem stoke Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Dajana Borojević Pellove jednadžbe i problem stoke Završni rad Osijek, 207. Sveučilište J. J. Strossmayera u

Διαβάστε περισσότερα

Četrnaesto predavanje iz Teorije skupova

Četrnaesto predavanje iz Teorije skupova Četrnaesto predavanje iz Teorije skupova 27. 01. 2006. Kratki rezime prošlog predavanja: Dokazali smo teorem rekurzije, te primjenom njega definirali zbrajanje ordinalnih brojeva. Prvo ćemo navesti osnovna

Διαβάστε περισσότερα

PRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).

PRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti). PRAVA Prava je kao i ravan osnovni geometrijski ojam i ne definiše se. Prava je u rostoru određena jednom svojom tačkom i vektorom aralelnim sa tom ravom ( vektor aralelnosti). M ( x, y, z ) 3 Posmatrajmo

Διαβάστε περισσότερα

Dijagonalizacija operatora

Dijagonalizacija operatora Dijagonalizacija operatora Problem: Može li se odrediti baza u kojoj zadani operator ima dijagonalnu matricu? Ova problem je povezan sa sljedećim pojmovima: 1 Karakteristični polinom operatora f 2 Vlastite

Διαβάστε περισσότερα

1 Aksiomatska definicija skupa realnih brojeva

1 Aksiomatska definicija skupa realnih brojeva 1 Aksiomatska definicija skupa realnih brojeva Definicija 1 Polje realnih brojeva je skup R = {x, y, z...} u kojemu su definirane dvije binarne operacije zbrajanje (oznaka +) i množenje (oznaka ) i jedna binarna

Διαβάστε περισσότερα

( x) ( ) ( ) ( x) ( ) ( x) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

( x) ( ) ( ) ( x) ( ) ( x) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Zadatak 08 (Vedrana, maturantica) Je li unkcija () = cos (sin ) sin (cos ) parna ili neparna? Rješenje 08 Funkciju = () deiniranu u simetričnom području a a nazivamo: parnom, ako je ( ) = () neparnom,

Διαβάστε περισσότερα

Numerička matematika 2. kolokvij (1. srpnja 2009.)

Numerička matematika 2. kolokvij (1. srpnja 2009.) Numerička matematika 2. kolokvij (1. srpnja 29.) Zadatak 1 (1 bodova.) Teorijsko pitanje. (A) Neka je G R m n, uz m n, pravokutna matrica koja ima puni rang po stupcima, tj. rang(g) = n. (a) Napišite puni

Διαβάστε περισσότερα

SISTEMI NELINEARNIH JEDNAČINA

SISTEMI NELINEARNIH JEDNAČINA SISTEMI NELINEARNIH JEDNAČINA April, 2013 Razni zapisi sistema Skalarni oblik: Vektorski oblik: F = f 1 f n f 1 (x 1,, x n ) = 0 f n (x 1,, x n ) = 0, x = (1) F(x) = 0, (2) x 1 0, 0 = x n 0 Definicije

Διαβάστε περισσότερα

3. ELEMENTARNA TEORIJA BROJEVA Dokaži dajebroj djeljivs Dokažidajebroj djeljiv Dokaži dajebroj djeljiv

3. ELEMENTARNA TEORIJA BROJEVA Dokaži dajebroj djeljivs Dokažidajebroj djeljiv Dokaži dajebroj djeljiv 3. ELEMENTARNA TEORIJA BROJEVA 3.. djeljivost 65. Dokaži da je produkt tri uzastopna broja, od kojih je srednji kub prirodnog broja, djeljiv s 504. 652. Ako su a, b cijeli brojevi, dokaži da je broj ab(a

Διαβάστε περισσότερα

Deljivost. 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18.

Deljivost. 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18. Deljivost 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18. Rešenje: Nazovimo naš izraz sa I.Važi 18 I 2 I 9 I pa možemo da posmatramo deljivost I sa 2 i 9.Iz oblika u kom je dat

Διαβάστε περισσότερα

Elementi spektralne teorije matrica

Elementi spektralne teorije matrica Elementi spektralne teorije matrica Neka je X konačno dimenzionalan vektorski prostor nad poljem K i neka je A : X X linearni operator. Definicija. Skalar λ K i nenula vektor u X se nazivaju sopstvena

Διαβάστε περισσότερα

Zadaci iz Osnova matematike

Zadaci iz Osnova matematike Zadaci iz Osnova matematike 1. Riješiti po istinitosnoj vrijednosti iskaza p, q, r jednačinu τ(p ( q r)) =.. Odrediti sve neekvivalentne iskazne formule F = F (p, q) za koje je iskazna formula p q p F

Διαβάστε περισσότερα

Prosti brojevi. Uvod

Prosti brojevi. Uvod MLADI NADARENI MATEMATIČARI Marin Getaldic Prosti brojevi 20.12.2015. Uvod Definicija 1. Kažemo da je prirodan broj p prost broj ako ima točno dva (različita) djelitelja (konkretno, to su 1 i p). U suprotnom

Διαβάστε περισσότερα

1 Obične diferencijalne jednadžbe

1 Obične diferencijalne jednadžbe 1 Obične diferencijalne jednadžbe 1.1 Linearne diferencijalne jednadžbe drugog reda s konstantnim koeficijentima Diferencijalne jednadžbe oblika y + ay + by = f(x), (1) gdje su a i b realni brojevi a f

Διαβάστε περισσότερα

4. poglavlje (korigirano) LIMESI FUNKCIJA

4. poglavlje (korigirano) LIMESI FUNKCIJA . Limesi funkcija (sa svim korekcijama) 69. poglavlje (korigirano) LIMESI FUNKCIJA U ovom poglavlju: Neodređeni oblik Neodređeni oblik Neodređeni oblik Kose asimptote Neka je a konačan realan broj ili

Διαβάστε περισσότερα

PARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,

PARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je, PARCIJALNI IZVODI I DIFERENCIJALI Sama definicija parcijalnog ivoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je, naravno, naučiti onako kako vaš profesor ahteva. Mi ćemo probati

Διαβάστε περισσότερα

Trigonometrija 2. Adicijske formule. Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto

Trigonometrija 2. Adicijske formule. Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto Trigonometrija Adicijske formule Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto Razumijevanje postupka izrade složenijeg matematičkog problema iz osnova trigonometrije

Διαβάστε περισσότερα

( ) ( ) Zadatak 001 (Ines, hotelijerska škola) Ako je tg x = 4, izračunaj

( ) ( ) Zadatak 001 (Ines, hotelijerska škola) Ako je tg x = 4, izračunaj Zadaak (Ines, hoelijerska škola) Ako je g, izračunaj + 5 + Rješenje Korisimo osnovnu rigonomerijsku relaciju: + Znači svaki broj n možemo zapisai n n n ( + ) + + + + 5 + 5 5 + + + + + 7 + Zadano je g Tangens

Διαβάστε περισσότερα

PID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ).

PID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ). 0.1 Faktorizacija: ID, ED, PID, ND, FD, UFD Definicija. Najava pojmova: [ID], [ED], [PID], [ND], [FD] i [UFD]. ID: Komutativan prsten P, sa jedinicom 1 0, je integralni domen [ID] oblast celih), ili samo

Διαβάστε περισσότερα

ELEMENTARNA MATEMATIKA 1

ELEMENTARNA MATEMATIKA 1 Na kolokviju nije dozvoljeno koristiti ni²ta osim pribora za pisanje. Zadatak 1. Ispitajte odnos skupova: C \ (A B) i (A C) (C \ B). Rje²enje: Neka je x C \ (A B). Tada imamo x C i x / A B = (A B) \ (A

Διαβάστε περισσότερα

RIJEŠENI ZADACI I TEORIJA IZ

RIJEŠENI ZADACI I TEORIJA IZ RIJEŠENI ZADACI I TEORIJA IZ LOGARITAMSKA FUNKCIJA SVOJSTVA LOGARITAMSKE FUNKCIJE OSNOVE TRIGONOMETRIJE PRAVOKUTNOG TROKUTA - DEFINICIJA TRIGONOMETRIJSKIH FUNKCIJA - VRIJEDNOSTI TRIGONOMETRIJSKIH FUNKCIJA

Διαβάστε περισσότερα

41. Jednačine koje se svode na kvadratne

41. Jednačine koje se svode na kvadratne . Jednačine koje se svode na kvadrane Simerične recipročne) jednačine Jednačine oblika a n b n c n... c b a nazivamo simerične jednačine, zbog simeričnosi koeficijenaa koeficijeni uz jednaki). k i n k

Διαβάστε περισσότερα

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 Matrice - osnovni pojmovi (Matrice i determinante) 2 / 15 (Matrice i determinante) 2 / 15 Matrice - osnovni pojmovi Matrica reda

Διαβάστε περισσότερα

Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo:

Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo: 2 Skupovi Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo: A B def ( x)(x A x B) Kažemo da su skupovi A i

Διαβάστε περισσότερα

1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i

1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i PRIPREMA ZA II PISMENI IZ ANALIZE SA ALGEBROM. zadatak Re{avawe algebarskih jedna~ina tre}eg i ~etvrtog stepena. U skupu kompleksnih brojeva re{iti jedna~inu: a x 6x + 9 = 0; b x + 9x 2 + 8x + 28 = 0;

Διαβάστε περισσότερα

Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011.

Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011. Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika Monotonost i ekstremi Katica Jurasić Rijeka, 2011. Ishodi učenja - predavanja Na kraju ovog predavanja moći ćete:,

Διαβάστε περισσότερα

MJERA I INTEGRAL 2. kolokvij 30. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!)

MJERA I INTEGRAL 2. kolokvij 30. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) JMBAG IM I PZIM BOJ BODOVA MJA I INTGAL 2. kolokvij 30. lipnja 2017. (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (ukupno 6 bodova) Neka je (, F, µ) prostor mjere i neka je (

Διαβάστε περισσότερα

KONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov i Ramseyev teorem

KONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov i Ramseyev teorem Природно-математички факултет, Универзитет у Нишу, Србија http://www.pmf.ni.ac.yu/mii Математика и информатика 1 (3) (2009), 19-24 KONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov

Διαβάστε περισσότερα

k a k = a. Kao i u slučaju dimenzije n = 1 samo je jedan mogući limes niza u R n :

k a k = a. Kao i u slučaju dimenzije n = 1 samo je jedan mogući limes niza u R n : 4 Nizovi u R n Neka je A R n. Niz u A je svaka funkcija a : N A. Označavamo ga s (a k ) k. Na primjer, jedan niz u R 2 je dan s ( 1 a k = k, 1 ) k 2, k N. Definicija 4.1. Za niz (a k ) k R n kažemo da

Διαβάστε περισσότερα

Pismeni ispit iz matematike Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: ( ) + 1.

Pismeni ispit iz matematike Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: ( ) + 1. Pismeni ispit iz matematike 0 008 GRUPA A Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: λ + z = Ispitati funkciju i nacrtati njen grafik: + ( λ ) + z = e Izračunati

Διαβάστε περισσότερα

9. GRANIČNA VRIJEDNOST I NEPREKIDNOST FUNKCIJE GRANIČNA VRIJEDNOST ILI LIMES FUNKCIJE

9. GRANIČNA VRIJEDNOST I NEPREKIDNOST FUNKCIJE GRANIČNA VRIJEDNOST ILI LIMES FUNKCIJE Geodetski akultet, dr sc J Beban-Brkić Predavanja iz Matematike 9 GRANIČNA VRIJEDNOST I NEPREKIDNOST FUNKCIJE GRANIČNA VRIJEDNOST ILI LIMES FUNKCIJE Granična vrijednost unkcije kad + = = Primjer:, D( )

Διαβάστε περισσότερα

1. Osnovne operacije s kompleksnim brojevima

1. Osnovne operacije s kompleksnim brojevima KOMPLEKSNI BROJEVI 1 1. Osnovne operacije s kompleksnim brojevima Kompleksni brojevi su proširenje skupa realnih brojeva. Naime, ne postoji broj koji zadovoljava kvadratnu jednadžbu x 2 + 1 = 0. Baš uz

Διαβάστε περισσότερα

IZVODI ZADACI (I deo)

IZVODI ZADACI (I deo) IZVODI ZADACI (I deo) Najpre da se podsetimo tablice i osnovnih pravila:. C`=0. `=. ( )`= 4. ( n )`=n n-. (a )`=a lna 6. (e )`=e 7. (log a )`= 8. (ln)`= ` ln a (>0) 9. = ( 0) 0. `= (>0) (ovde je >0 i a

Διαβάστε περισσότερα

2. Ako je funkcija f(x) parna onda se Fourierov red funkcije f(x) reducira na Fourierov kosinusni red. f(x) cos

2. Ako je funkcija f(x) parna onda se Fourierov red funkcije f(x) reducira na Fourierov kosinusni red. f(x) cos . KOLOKVIJ PRIMIJENJENA MATEMATIKA FOURIEROVE TRANSFORMACIJE 1. Za periodičnu funkciju f(x) s periodom p=l Fourierov red je gdje su a,a n, b n Fourierovi koeficijenti od f(x) gdje su a =, a n =, b n =..

Διαβάστε περισσότερα

M086 LA 1 M106 GRP Tema: Uvod. Operacije s vektorima.

M086 LA 1 M106 GRP Tema: Uvod. Operacije s vektorima. M086 LA 1 M106 GRP Tema:.. 5. 10. 2017. predavač: Rudolf Scitovski, Darija Marković asistent: Darija Brajković, Katarina Vincetić P 1 www.fizika.unios.hr/grpua/ 1 2 M086 LA 1, M106 GRP.. 2/17 P 1 www.fizika.unios.hr/grpua/

Διαβάστε περισσότερα

REKURZIVNE FUNKCIJE PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK. Diplomski rad. Voditelj rada: Doc.dr.sc.

REKURZIVNE FUNKCIJE PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK. Diplomski rad. Voditelj rada: Doc.dr.sc. SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Brigita Švec REKURZIVNE FUNKCIJE Diplomski rad Voditelj rada: Doc.dr.sc. Zvonko Iljazović Zagreb, Rujan, 2014. Ovaj diplomski

Διαβάστε περισσότερα

LINEARNA ALGEBRA 1, ZIMSKI SEMESTAR 2007/2008 PREDAVANJA: NENAD BAKIĆ, VJEŽBE: LUKA GRUBIŠIĆ I MAJA STARČEVIĆ

LINEARNA ALGEBRA 1, ZIMSKI SEMESTAR 2007/2008 PREDAVANJA: NENAD BAKIĆ, VJEŽBE: LUKA GRUBIŠIĆ I MAJA STARČEVIĆ LINEARNA ALGEBRA 1 ZIMSKI SEMESTAR 2007/2008 PREDAVANJA: NENAD BAKIĆ VJEŽBE: LUKA GRUBIŠIĆ I MAJA STARČEVIĆ 2. VEKTORSKI PROSTORI - LINEARNA (NE)ZAVISNOST SISTEM IZVODNICA BAZA Definicija 1. Neka je F

Διαβάστε περισσότερα

POVRŠINA TANGENCIJALNO-TETIVNOG ČETVEROKUTA

POVRŠINA TANGENCIJALNO-TETIVNOG ČETVEROKUTA POVRŠIN TNGENIJLNO-TETIVNOG ČETVEROKUT MLEN HLP, JELOVR U mnoštvu mnogokuta zanimljiva je formula za površinu četverokuta kojemu se istoobno može upisati i opisati kružnica: gje su a, b, c, uljine stranica

Διαβάστε περισσότερα

MATEMATIKA Pokažite da za konjugiranje (a + bi = a bi) vrijedi. a) z=z b) z 1 z 2 = z 1 z 2 c) z 1 ± z 2 = z 1 ± z 2 d) z z= z 2

MATEMATIKA Pokažite da za konjugiranje (a + bi = a bi) vrijedi. a) z=z b) z 1 z 2 = z 1 z 2 c) z 1 ± z 2 = z 1 ± z 2 d) z z= z 2 (kompleksna analiza, vježbe ). Izračunajte a) (+i) ( i)= b) (i+) = c) i + i 4 = d) i+i + i 3 + i 4 = e) (a+bi)(a bi)= f) (+i)(i )= Skicirajte rješenja u kompleksnoj ravnini.. Pokažite da za konjugiranje

Διαβάστε περισσότερα

POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE

POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE **** MLADEN SRAGA **** 011. UNIVERZALNA ZBIRKA POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE SKUP REALNIH BROJEVA α Autor: MLADEN SRAGA Grafički urednik: BESPLATNA - WEB-VARIJANTA Tisak: M.I.M.-SRAGA

Διαβάστε περισσότερα

SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE

SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE 1 SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE Neka je (V, +,, F ) vektorski prostor konačne dimenzije i neka je f : V V linearno preslikavanje. Definicija. (1) Skalar

Διαβάστε περισσότερα

Matematičke metode u marketingumultidimenzionalno skaliranje. Lavoslav ČaklovićPMF-MO

Matematičke metode u marketingumultidimenzionalno skaliranje. Lavoslav ČaklovićPMF-MO Matematičke metode u marketingu Multidimenzionalno skaliranje Lavoslav Čaklović PMF-MO 2016 MDS Čemu služi: za redukciju dimenzije Bazirano na: udaljenosti (sličnosti) među objektima Problem: Traži se

Διαβάστε περισσότερα

Osnovne teoreme diferencijalnog računa

Osnovne teoreme diferencijalnog računa Osnovne teoreme diferencijalnog računa Teorema Rolova) Neka je funkcija f definisana na [a, b], pri čemu važi f je neprekidna na [a, b], f je diferencijabilna na a, b) i fa) fb). Tada postoji ξ a, b) tako

Διαβάστε περισσότερα

Jedan dokaz iracionalnosti broja e p

Jedan dokaz iracionalnosti broja e p Osječki matematički list 12(212), 29 44 29 Jedan dokaz iracionalnosti broja e p Nenad Stojanović Zoran Mitrović Sažetak. U prvom dijelu rada izloženi su osnovni pojmovi i tvrdnje koji su vezani uz algebarske

Διαβάστε περισσότερα

Signali i sustavi - Zadaci za vježbu II. tjedan

Signali i sustavi - Zadaci za vježbu II. tjedan Signali i sustavi - Zadaci za vježbu II tjedan Periodičnost signala Koji su od sljedećih kontinuiranih signala periodički? Za one koji jesu, izračunajte temeljni period a cos ( t ), b cos( π μ(, c j t

Διαβάστε περισσότερα

Obične diferencijalne jednadžbe 2. reda

Obične diferencijalne jednadžbe 2. reda VJEŽBE IZ MATEMATIKE 2 Ivana Baranović Miroslav Jerković Lekcija 13 Obične diferencijalne jednadžbe 2. reda Obične diferencijalne jednadžbe 2. reda U ovoj lekciji vježbamo rješavanje jedne klase običnih

Διαβάστε περισσότερα

DIFERENCIJALNE JEDNADŽBE

DIFERENCIJALNE JEDNADŽBE 9 Diferencijalne jednadžbe 6 DIFERENCIJALNE JEDNADŽBE U ovom poglavlju: Direktna integracija Separacija varijabli Linearna diferencijalna jednadžba Bernoullijeva diferencijalna jednadžba Diferencijalna

Διαβάστε περισσότερα

KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.

KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA. KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI NEUTRALNI ELEMENT GRUPOIDA 1 Grupoid (G, ) je asocijativa akko važi ( x, y, z G) x (y z) = (x y) z Grupoid (G, ) je komutativa akko važi ( x, y G) x y = y x Asocijativa

Διαβάστε περισσότερα

b = k a. Govorimo jošda a dijeli b ipišemo a b.

b = k a. Govorimo jošda a dijeli b ipišemo a b. 1 DJELJIVOST 1.1. Djeljivost. Prosti brojevi Količnik dvaju prirodnih brojeva nije uvijek prirodni broj. Tako na primjer, broj 54 8 nije prirodan, jer 54 nije djeljiv s 8. Broj 221 jest prirodan, jer 221

Διαβάστε περισσότερα

IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo

IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo IZVODI ZADACI ( IV deo) LOGARITAMSKI IZVOD Logariamskim izvodom funkcije f(), gde je >0 i, nazivamo izvod logarima e funkcije, o jes: (ln ) f ( ) f ( ) Primer. Nadji izvod funkcije Najpre ćemo logarimovai

Διαβάστε περισσότερα

Više dokaza jedne poznate trigonometrijske nejednakosti u trokutu

Više dokaza jedne poznate trigonometrijske nejednakosti u trokutu Osječki matematički list 000), 5 9 5 Više dokaza jedne poznate trigonometrijske nejednakosti u trokutu Šefket Arslanagić Alija Muminagić Sažetak. U radu se navodi nekoliko različitih dokaza jedne poznate

Διαβάστε περισσότερα

Poglavlje 1 GRAM-SCHMIDTOV POSTUPAK ORTOGONALIZACIJE. 1.1 Ortonormirani skupovi

Poglavlje 1 GRAM-SCHMIDTOV POSTUPAK ORTOGONALIZACIJE. 1.1 Ortonormirani skupovi Poglavlje 1 GRAM-SCHMIDTOV POSTUPAK ORTOGONALIZACIJE 1.1 Ortonormirani skupovi Prije nego krenemo na sami algoritam, uvjerimo se koliko je korisno raditi sa ortonormiranim skupovima u unitarnom prostoru.

Διαβάστε περισσότερα

Sortiranje prebrajanjem (Counting sort) i Radix Sort

Sortiranje prebrajanjem (Counting sort) i Radix Sort Sortiranje prebrajanjem (Counting sort) i Radix Sort 15. siječnja 2016. Ante Mijoč Uvod Teorem Ako je f(n) broj usporedbi u algoritmu za sortiranje temeljenom na usporedbama (eng. comparison-based sorting

Διαβάστε περισσότερα

Funkcija gustoće neprekidne slučajne varijable ima dva bitna svojstva: 1. Nenegativnost: f(x) 0, x R, 2. Normiranost: f(x)dx = 1.

Funkcija gustoće neprekidne slučajne varijable ima dva bitna svojstva: 1. Nenegativnost: f(x) 0, x R, 2. Normiranost: f(x)dx = 1. σ-algebra skupova Definicija : Neka je Ω neprazan skup i F P(Ω). Familija skupova F je σ-algebra skupova na Ω ako vrijedi:. F, 2. A F A C F, 3. A n, n N} F n N A n F. Borelova σ-algebra Definicija 2: Neka

Διαβάστε περισσότερα

APROKSIMACIJA FUNKCIJA

APROKSIMACIJA FUNKCIJA APROKSIMACIJA FUNKCIJA Osnovni koncepti Gradimir V. Milovanović MF, Beograd, 14. mart 2011. APROKSIMACIJA FUNKCIJA p.1/46 Osnovni problem u TA Kako za datu funkciju f iz velikog prostora X naći jednostavnu

Διαβάστε περισσότερα

Strukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1

Strukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1 Strukture podataka i algoritmi 1. kolokvij Na kolokviju je dozvoljeno koristiti samo pribor za pisanje i službeni šalabahter. Predajete samo papire koje ste dobili. Rezultati i uvid u kolokvije: ponedjeljak,

Διαβάστε περισσότερα

Riješeni zadaci: Realni brojevi i realne funkcije jedne realne varijable

Riješeni zadaci: Realni brojevi i realne funkcije jedne realne varijable Riješeni zadaci: Realni brojevi i realne funkcije jedne realne varijable Infimum i supremum skupa Zadatak 1. Neka je S = (, 1) [1, 7] {10}. Odrediti: (a) inf S, (b) sup S. (a) inf S =, (b) sup S = 10.

Διαβάστε περισσότερα

Slučajni procesi Prvi kolokvij travnja 2015.

Slučajni procesi Prvi kolokvij travnja 2015. Zadatak Prvi kolokvij - 20. travnja 205. (a) (3 boda) Neka je (Ω,F,P) vjerojatnosni prostor, neka je G σ-podalgebra od F te neka je X slučajna varijabla na (Ω,F,P) takva da je X 0 g.s. s konačnim očekivanjem.

Διαβάστε περισσότερα

Numerička analiza 26. predavanje

Numerička analiza 26. predavanje Numerička analiza 26. predavanje Saša Singer singer@math.hr web.math.hr/~singer PMF Matematički odjel, Zagreb NumAnal 2009/10, 26. predavanje p.1/21 Sadržaj predavanja Varijacijske karakterizacije svojstvenih

Διαβάστε περισσότερα

1. Skup kompleksnih brojeva

1. Skup kompleksnih brojeva 1. Skup kompleksnih brojeva 1. Skupovibrojeva... 2 2. Skup kompleksnih brojeva................................. 5 3. Zbrajanje i množenje kompleksnih brojeva..................... 8 4. Kompleksno konjugirani

Διαβάστε περισσότερα

Zadaci iz trigonometrije za seminar

Zadaci iz trigonometrije za seminar Zadaci iz trigonometrije za seminar FON: 1. Vrednost izraza sin 1 cos 6 jednaka je: ; B) 1 ; V) 1 1 + 1 ; G) ; D). 16. Broj rexea jednaqine sin x cos x + cos x = sin x + sin x na intervalu π ), π je: ;

Διαβάστε περισσότερα

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Trigonometrijske jednačine i nejednačine. Zadaci koji se rade bez upotrebe trigonometrijskih formula. 00. FF cos x sin x

Διαβάστε περισσότερα

UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka

UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET Goran Stančić SIGNALI I SISTEMI Zbirka zadataka NIŠ, 014. Sadržaj 1 Konvolucija Literatura 11 Indeks pojmova 11 3 4 Sadržaj 1 Konvolucija Zadatak 1. Odrediti konvoluciju

Διαβάστε περισσότερα

Diferencijalni i integralni račun I. Prirodoslovno matematički fakultet

Diferencijalni i integralni račun I. Prirodoslovno matematički fakultet Diferencijalni i integralni račun I Saša Krešić-Jurić Prirodoslovno matematički fakultet Sveučilište u Splitu Sadržaj Skupovi i funkcije. Skupovi N, Z i Q................................. 4.2 Skup realnih

Διαβάστε περισσότερα

2.2 Srednje vrijednosti. aritmetička sredina, medijan, mod. Podaci (realizacije varijable X): x 1,x 2,...,x n (1)

2.2 Srednje vrijednosti. aritmetička sredina, medijan, mod. Podaci (realizacije varijable X): x 1,x 2,...,x n (1) 2.2 Srednje vrijednosti aritmetička sredina, medijan, mod Podaci (realizacije varijable X): x 1,x 2,...,x n (1) 1 2.2.1 Aritmetička sredina X je numerička varijabla. Aritmetička sredina od (1) je broj:

Διαβάστε περισσότερα

π π ELEKTROTEHNIČKI ODJEL i) f (x) = x 3 x 2 x + 1, a = 1, b = 1;

π π ELEKTROTEHNIČKI ODJEL i) f (x) = x 3 x 2 x + 1, a = 1, b = 1; 1. Provjerite da funkcija f definirana na segmentu [a, b] zadovoljava uvjete Rolleova poučka, pa odredite barem jedan c a, b takav da je f '(c) = 0 ako je: a) f () = 1, a = 1, b = 1; b) f () = 4, a =,

Διαβάστε περισσότερα