Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

Samankaltaiset tiedostot
2017 = = = = = = 26 1

Algebra I, harjoitus 5,

a ord 13 (a)

Johdatus lukuteoriaan Harjoitus 11 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

Salausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006)

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Salausmenetelmät LUKUTEORIAA JA ALGORITMEJA. Veikko Keränen, Jouko Teeriaho (RAMK, 2006) 3. Kongruenssit. à 3.4 Kongruenssien laskusääntöjä

1 Lukujen jaollisuudesta

JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 3, MALLIRATKAISUT

(iv) Ratkaisu 1. Sovelletaan Eukleideen algoritmia osoittajaan ja nimittäjään. (i) 7 = , 7 6 = = =

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)

Tehtävä 2 Todista luennoilla annettu kaava: jos lukujen n ja m alkulukuesitykset. ja m = k=1

Lukuteorian kertausta

Diofantoksen yhtälön ratkaisut

Jäännösluokat. Alkupala Aiemmin on tullut sana jäännösluokka vastaan. Tarkastellaan

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.

Tekijä Pitkä Matematiikka 11 ratkaisut luku 2

Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos:

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

rm + sn = d. Siispä Proposition 9.5(4) nojalla e d.

Yhtäpitävyys. Aikaisemmin osoitettiin, että n on parillinen (oletus) n 2 on parillinen (väite).

LUKUTEORIA johdantoa

MS-A0402 Diskreetin matematiikan perusteet

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta.

= 3 = 1. Induktioaskel. Induktio-oletus: Tehtävän summakaava pätee jollakin luonnollisella luvulla n 1. Induktioväite: n+1

isomeerejä yhteensä yhdeksän kappaletta.

LUKUTEORIA A. Harjoitustehtäviä, kevät (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että

Miten osoitetaan joukot samoiksi?

Juuri 11 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty

(d) 29 4 (mod 7) (e) ( ) 49 (mod 10) (f) (mod 9)

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

7 Vapaus. 7.1 Vapauden määritelmä

R : renkaan R kääntyvien alkioiden joukko; R kertolaskulla varustettuna on

Luonnollisten lukujen ja kokonaislukujen määritteleminen

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 6 (8 sivua) OT. 1. a) Määritä seuraavat summat:

802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III

Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät sivua Heikki Koivupalo ja Rami Luisto

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

1 Kertaus. Lineaarinen optimointitehtävä on muotoa:

Vapaus. Määritelmä. Vektorijono ( v 1, v 2,..., v k ) on vapaa eli lineaarisesti riippumaton, jos seuraava ehto pätee:

Johdatus matemaattiseen päättelyyn

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

Tee konseptiin pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Lue ohjeet huolellisesti!

Todistusmenetelmiä Miksi pitää todistaa?

Johdatus lukuteoriaan Harjoitus 1 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu.

Ratkaisu: a) Kahden joukon yhdisteseen poimitaan kaikki alkiot jotka ovat jommassakummassa joukossa (eikä mitään muuta).

1 sup- ja inf-esimerkkejä

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

a b 1 c b n c n

a 2 ba = a a + ( b) a = (a + ( b))a = (a b)a, joten yhtälö pätee mielivaltaiselle renkaalle.

Valitse kuusi tehtävää! Kaikki tehtävät ovat 6 pisteen arvoisia.

Tehtävä 2. Osoita, että seuraavat luvut ovat algebrallisia etsimällä jokin kokonaislukukertoiminen yhtälö jonka ne toteuttavat.

Yhtälöryhmä matriisimuodossa. MS-A0007 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5.

k=1 b kx k K-kertoimisia polynomeja, P (X)+Q(X) = (a k + b k )X k n+m a i b j X k. i+j=k k=0

3. Kongruenssit. 3.1 Jakojäännös ja kongruenssi

Johdatus diskreettiin matematiikkaan (syksy 2009) Harjoitus 3, ratkaisuja Janne Korhonen

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään

1 sup- ja inf-esimerkkejä

Matematiikan peruskurssi 2

Yhteenlaskun ja skalaarilla kertomisen ominaisuuksia

1 Lineaariavaruus eli Vektoriavaruus

Avaruuden R n aliavaruus

H = : a, b C M. joten jokainen A H {0} on kääntyvä matriisi. Itse asiassa kaikki nollasta poikkeavat alkiot ovat yksiköitä, koska. a b.

Ennakkotehtävän ratkaisu

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

802320A LINEAARIALGEBRA OSA I

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 5 Ratkaisuehdotukset

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset

Esko Turunen Luku 3. Ryhmät

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio.

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Tehtävä 4 : 2. b a+1 (mod 3)

Tenttiin valmentavia harjoituksia

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

Teema 4. Homomorfismeista Ihanne ja tekijärengas. Teema 4 1 / 32

Lukion matematiikkakilpailun alkukilpailu 2015

Yhtälöryhmä matriisimuodossa. MS-A0004/A0006 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5.

Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen

Äärellisesti generoitujen Abelin ryhmien peruslause

1. Esitä rekursiivinen määritelmä lukujonolle

Tehtävä 1. Oletetaan että uv on neliö ja (u, v) = 1. Osoita, että kumpikin luvuista u ja v on. p 2j i. p j i

Ratkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan

2 j =

JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 1, MALLIRATKAISUT

[a] ={b 2 A : a b}. Ekvivalenssiluokkien joukko

Lineaarialgebra ja matriisilaskenta II Syksy 2009 Laskuharjoitus 1 ( ) Ratkaisuehdotuksia Vesa Ala-Mattila

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Liisa Ilonen. Primitiiviset juuret

kaikille a R. 1 (R, +) on kommutatiivinen ryhmä, 2 a(b + c) = ab + ac ja (b + c)a = ba + ca kaikilla a, b, c R, ja

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

1 + b t (i, j). Olkoon b t (i, j) todennäköisyys, että B t (i, j) = 1. Siis operaation access(j) odotusarvoinen kustannus ajanhetkellä t olisi.

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

Tarkastelemme ensin konkreettista esimerkkiä ja johdamme sitten yleisen säännön, joilla voidaan tietyissä tapauksissa todeta kielen ei-säännöllisyys.

Transkriptio:

Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten Ratkaisuehdotelma Tehtävä 1 1. Etsi lukujen 4655 ja 12075 suurin yhteinen tekijä ja lausu se kyseisten lukujen lineaarikombinaationa ilman laskimen tai tietokoneen apua. 2. Mikä on yhtälön 2072 + 1813y = 2849 yleinen ratkaisu? Vastaus Käytetään Eukleideen algoritmia molemmissa tapauksissa. 12075 = 2 4655 + 2765 4655 = 1 2765 + 1890 2765 = 1 1890 + 875 1890 = 2 875 + 140 875 = 6 140 + 35 140 = 4 35, joten 35 = (12075, 4655). Seuraavaksi käydään läpi edelliset yhtälöt vastakkaisessa suunnassa. 35 = 875 6 140 = 875 6 (1890 2 875) = 6 1890 + 13 875 = 6 1890 + 13 (2765 1890) = 13 2765 19 1890 = 13 2765 19 (4655 2765) = 19 4655 + 32 2765 = 19 4655 + 32 (12075 2 4655) = 32 12075 83 4655 Toista kysymystä varten lasketaan lukujen 2072 ja 1813 suurin yhteinen tekijä. 2072 = 1 1813 + 259 1813 = 7 259, joten (2072, 1813) = 259 ja 259 = 2072 1+1813 ( 1). Koska 2849/259 = 11, niin yhtälöllä 2072x + 1813y = 2849 on ratkaisu (x, y) = 11 (1,, 1) = 1

(11, 11). Yleinen ratkaisu on siis { x = 11 + 1813k = 11 + 7k 259 y = 11 2072, k = 11 8k 259 missä k Z. Tehtävä 2 Osoita, että kolmen alkion ryhmiä on vain yksi (toisin sanoen kaksi ryhmää joissa kummassakin on kolme alkiota ovat keskenään isomorset). Vastaus Olkoon (G, ) = ({e, a, b}, ) kolmen alkion ryhmä. Ryhmässä on aina identiteettialkio; merkitsemme sitä kirjaimella e. Väitteen todistamiseksi pitää osoittaa, että laskutoimitus on yksikäsitteisesti määrätty. Koska e x = x e = x kaikilla x G, niin operaattorin kertotaulu on välttämättä taulukon 1 näköinen: e a b e e a b a a b b e a b e e a b a a e b b e e a b e e a b a a b e b b e a + 0 1 2 0 0 1 2 1 1 2 0 2 2 0 1 taulukko 1 taulukko 2 taulukko 3 taulukko 4 Nyt pitää päätellä, mitä alkioita neljään tyhjään kohtaan tulee. Tutkitaan, mitä a b voi olla. Jos a b = a, niin b = (a 1 a) b = a 1 (a b) = a 1 a = e, mutta b ja e olivat eri alkioita. Siispä a b a. Entä jos a b = b? Tällöin a = a (b b 1 ) = (a b) b 1 = b b 1 = e eli saatiin taas ristiriita. Siipä ainoa mahdollisuus on a b = e. Samalla tavalla voidaan todistaa, että b a = e. Nyt ryhmän operaatiotaulu on taulukon 2 mukainen. Koska (G, ) oli oletuksen mukaan ryhmä, niin taulukossa on oltava jokainen alkio jokaisella rivillä. Siispä ainoaksi vaihtoehdoksi jää a 2 = b ja b 2 = a, eli taulukko 3. Koska kolmen alkion ryhmiä on olemassa (esimerkiksi (Z 3, +), taulukko 4), niin saatu taulukko on todellakin aidon ryhmän operaation taulukko ja kaikki kolmen alkion ryhmät ovat siis isomorsia ryhmän (G, ) kanssa. Tehtävä 3 1. Kirjoita ylös renkaiden Z 6 ja Z 7 yhteenlasku- ja kertolaskutaulut. Kuinka näet kertotauluista, ettei Z 6 ole kunta, mutta Z 7 on? 2

2. Laske kunnassa Z 17 alkiot 12 1 ja 5 1. Vastaus Kertotaulut ovat: + 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 2 3 4 5 0 2 2 3 4 5 0 1 3 3 4 5 0 1 2 4 4 5 0 1 2 3 5 5 0 1 2 3 4 0 1 2 3 4 5 0 0 0 0 0 0 0 1 0 1 2 3 4 5 2 0 2 4 0 2 4 3 0 3 0 3 0 3 4 0 4 2 0 4 2 5 0 5 4 3 2 1 + (mod 6) (mod 6) + 0 1 2 3 4 5 6 0 0 1 2 3 4 5 6 1 1 2 3 4 5 6 0 2 2 3 4 5 6 0 1 3 3 4 5 6 0 1 2 4 4 5 6 0 1 2 3 5 5 6 0 1 2 3 4 6 6 0 1 2 3 4 5 0 1 2 3 4 5 6 0 0 0 0 0 0 0 0 1 0 1 2 3 4 5 6 2 0 2 4 6 1 3 5 3 0 3 6 2 5 1 4 4 0 4 1 5 2 6 3 5 0 5 3 1 6 4 2 6 0 6 5 4 3 2 1 + (mod 7) (mod 7) Taulukosta (mod 6) nähdään, että Z 6 ei ole kunta, koska esimerkiksi alkion 2 rivillä ei ole alkiota 1, eli sillä ei ole käänteisalkiota. Koska Z 7 on kommutatiivinen rengas, niin riittää näyttää, että jokaisella nolla-alkiosta poikkeavalla alkiolla on käänteisalkio. Tämä nähdään helposti, sillä taulukossa (mod 7) on alkio 1 riveillä 27. Toista tehtävää varten piti etsiä käänteisalkioita ryhmässä Z 17. Niitä voidaan löytää ainakin kahdella eri tavalla. Lasketaan esimerkiksi lukuja 1 5 = 5, 2 5 = 10, 3 5 = 15, 4 5 = 3, 5 5 = 5 + 4 5 = 8, 6 5 = 13 ja lopulta 7 5 = 35 = 1. Siispä 7 = 5 1. Toinen tapa on seuraava: halutaan ratkaista 12 x = 1, eli toisin sanoen 12x 1(mod 17). Tästä saamme Diofantoksen yhtälön 12x = 1 + 17y eli 12x 17y = 1. Tälle saadaan ratkaisu Eukleideen algoritmilla: 17 = 12 + 5 1 = 5 2 2 = 5 2 (12 2 5) 12 = 2 5 + 2 = 2 12 + 5 5 = 2 12 + 5 (17 12), 5 = 2 2 + 1 = 5 17 7 12 joten 7 = 10 on etsitty käänteisalkio. 3

Tehtävä 4 (i) Näytä, että jos a on pariton, niin a 2 1(mod 8) ja a 4 1(mod 16). (ii) Todista yleisemmin induktion avulla, että a 2n 1(mod 2 n+2 ) jos a on pariton ja n 1. Vastaus (i) Parittomien lukujen jakojäännökset parillisella jaettavalla ovat parittomia. Seuraavissa yhtälöissä pilkut erottavat eri mahdolliset tapaukset toisistaan: a 1, 3, 5, 7(mod 8) a 2 1, 9, 25, 49(mod 8) 1, 1, 1, 1(mod 8), joten a 2 1 (mod 8). Toinen väite saadaan vastaavalla tavalla, tai käyttämällä seuraavaa kohtaa. (ii) Todistetaan väite induktiolla. Alkuaskel n = 1 on (i)-kohdan ensimmäinen väite. Induktio-oletusta varten olkoon a 2k 1 (mod 2 k+2 ), eli a 2k = 1 + m 2 k+2 jollakin m. Tällöin a 2k+1 = ( a 2k ) 2 = (1 + m 2 k+2 ) 2 = 1 + m 2 k+3 + m 2 2 2k+4 = 1 + 2 k+3 (m + m 2 2 k+1 ) 1(mod 2 k+3 ), joten induktioaskel meni läpi. Väite on siis totta induktion nojalla. Tehtävä 5 Todista luentojen lause 21: Olkoon m 1. Joukko U Z on täydellinen jäännössysteemi (mod m) jos ja vain jos inakin kaksi seuraavista kolmesta ehdosta on voimassa (tällöin kolmas toteutuu automaattisesti): (i) (ii) (iii) U:ssa on m alkiota. U:n alkiot ovat keskenään epäkongruentteja (mod m). Jokaiselle a Z on olemassa u U jolle a u (mod m). 4

Vastaus Määritelmän nojalla U = {a 1,..., a m } on täydellinen jäännössysteemi (mod m), jos Z = i {a i + tm t Z}. Itse todistukseen: : Olkoon U = {a 1,..., a m } täydellinen jäännössysteemi (mod m). Tällöin U m, mutta periaatteessa jotkin a i, a j voisivat olla samat. Koska Z = i {a i + tm t Z}, niin löytyy indeksit i 1,..., i m, joilla a i1 1,..., a im m (mod m). Koska 1,..., m kuuluvat eri kongruenssiluokkiin, niin luvut a i1,..., a im myös. Ne ovat siis erisuuria, joten U m. Siispä U = m (kohta (i)) ja U = {a i1,..., a im }. Tästä seuraa myös, että kaikki alkiot ovat epäkongruentteja keskenään eli kohta (ii). Jos a Z, niin a j (mod m) jollakin 1 j m, joten a a ij (mod m), mistä seuraa kohta (iii). Käsitellään eri ehtojen (i), (ii) ja (iii) kombinaatiot: Olkoon (i) ja (ii), eli U = {a 1,..., a m }, missä a i a j (mod m) jos i j. Pitää osoittaa, että Z = i {a i + tm t Z}. Olkoon siis a Z. Tutkitaan jäännösluokkia {a, a 1,..., a m }. Koska Z m = m, niin kyyhkyslakkaperiaatteen nojalla osan luokista täytyy olla samat. Koska a i a j, kun i j, niin täytyy olla a = a j jollakin j. Tästä seuraa, että a = a j + tm jollakin t Z. Siispä Z = i {a i + tm t Z}. Olkoon (i) ja (iii), eli U = {a 1,..., a m }, missä a i a j jos i j, ja jokaisella a Z on olemassa u U, jolla a u (mod m). Tämä tarkoittaa, että a = u + tm, jollakin t Z ja u U. Siispä Z = i {a i + tm t Z}, joten ehdon U on täydellinen jäännössyteemi (mod m). Olkoon (ii) ja (iii) ja merkitään U = {a 1, a 2,...}. Huom. edellisessä kohdassa riitti tieto, että U m. Todistamme saman tiedon nyt, jonka jälkeen kohdan (i)&(ii) päättelyn avulla nähdään, että U on täydellinen jäännössyteemi (mod m). Koska kongruenssiluokkia on enintään m kappaletta, niin jonossa a 1, a 2,... on enintään m eri jäännösluokkaa. Koska U:n alkiot ovat kohdan (ii) mukaan epäkongruentteja keskenään, niin myös jonossa a 1, a 2,... on enintään m alkioa, eli U m. Tehtävä 6 Todista luentojen lause 14: jos Eukleideen algoritmia sovelletaan lukuihin a ja b (a > b 1), niin tarvittavien askeleiden lukumäärä on enintään 1 3 log a + 2. 1 Tässä tarkoitetaan implisiittisesti kaksikantaista logaritmia vihjeen perusteella. 5

Vastaus Algoritmi alkaa seuraavasti: askel 1 a = q 1 b +r 1, sitten se jatkaa askel 2 b = q 2 r 1 +r 2, 0 r 2 < r 1 askel 3 r 1 = q 3 r 2 +r 3, 0 r 3 < r 2............... askel k r k 2 = q k r k 1 +r k, 0 r k < r k 1 Vihjettä noudattaen todistetaan, että r k+2 r k /2. Jos r k+1 r k /2, niin triviaalisti r k+2 < r k+1 r k /2. Olkoon siis r k+1 > r k /2, joten 2 > r k Nyt r k+2 = r k q k+2 r k+1, missä q k+2 = r k r k+1 = 1, sillä 2 > r k r k+1 ( r k+1 ) r k+2 = r k r k+1 = r k 1 < rk (1 1 r k 2 ) = r k/2. r k+1 > 1. > 1. Siispä Milloin algoritmi päätyy? Silloin kun jäännöstermi on ensimmäistä kertaa nolla. Koska se on aina kokonaisluku, niin riittää arvioida, milloin se on alle yksi. Edellisen nojalla voimme arvioida joten r 2k r 2k 2(k 1) /2 k 1 = r 2 /2 k 1 r 2k+1 r 2k+1 2k /2 k = r 1 /2 k, r 2k < 1 = r 2 < 2 k 1 k > log r 2 + 1 2k > 2 log r 2 + 2 r 2k+1 < 1 = r 1 < 2 k k > log r 1 2k + 1 > 2 log r 1 + 1. Koska a > r 1 > r 2 niin r n < 1 ainakin, jos n > 2 log a + 2. Koska a 2 niin logaritmi on vähintään yksi, joten 2 log a + 2 < 3 log a + 2, eli väite pätee, vaikkakin saimme tarkemman arvion. * Tehtävä 7 Olkoot a, b 2 ja (a, b) = 1. Osoita, että jokainen kokonaisluku c, jolle c (a 1)(b 1), voidaan kirjoittaa lineaarikombinaationa c = ax+by niin, että x, y 0. Näytä lisäksi, että tulos on paras mahdollinen: lukua (a 1)(b 1) 1 ei voida kirjoittaa vaadittuun muotoon! 2 Vastaus Ajatellaan yhtälön ax+by = c kuvaavan suoraa tasossa. Kaikki kokonaislukuratkaisut saadaan kaavasta (x, y) = (x 0 + kb, y 0 ka), 2 Tässä siis pyritään näyttämään, että (a 1)(b 1) 1 on suurin luku c, jolla yhtälön ax + by = c kaikki ratkaisut ovat negatiivisia, eli x < 0 tai y < 0. 6

missä (x 0, y 0 ) on jokin yksittäinen ratkaisu. Siispä ratkaisuista päästään toisiinsa summaamalla jokin määrä vektoreita (±b, a). Todistetaan aluksi, että jos c = (a 1)(b 1) 1, niin kaikki ratkaisut ovat negatiivisia (x < 0 tai y < 0). Määritellään pisteet P 1 = ( 1, a 1) ja P 2 = (b 1, 1). Nämä molemmat ovat suoran ax + by = c kokonaislukupisteitä. Piste P 1 on toisessa neljänneksessä ja P 2 neljännessä neljänneksessä. Koordinaattien erotukset ovat x = b ja y = a, joten P 1 ja P 2 ovat peräkkäisiä kokonaislukuratkaisuja. Suoran ja ensimmäisen neljänneksen leikkaus on näiden välissä, joten yhtälöllä ei ole ratkaisuja, joissa x 0 ja y 0. Olkoon nyt c (a 1)(b 1) = ab a b + 1 ja todistetaan, että ensimmäisessä neljänneksessä on ratkaisu. Määritellään taas kaksi suoran pistettä, mutta nyt ne eivät välttämättä ole kokonaislukuratkaisuja: P 1 = ( 1, c+a b ) ja P2 = ( c+b a, 1). Näiden koordinaattien erotukset ovat x = c + b + a a y = c + a + b b ab + 1 a ab + 1 b > b > a, joden suoralla on näiden välissä kokonaislukuratkaisu (x r, y r ). Koska se on pisteiden P 1 ja P 2 välissä, niin ottaen näiden pisteiden koordinaattien suuruusjärjestyksen huomioon nähdään, että x r > P 1x = 1 ja y r > P 2y = 1, eli x 0 ja y 0. 7