Perustele vastauksesi hyvin ja selvästi! Esitä riittävästi lähdeviittauksia: mitä tämän kurssin määritelmää, lausetta, esimerkkiä tms. hyödynnät.

Samankaltaiset tiedostot
4 Matemaattinen induktio

Ratkaisu. Tapa (a), perusmenetelmä: Sovellamme kaavaa (1.26) mutta huomaa, että nyt kyseessä ei ole x:n vaan 2x + 3:n itseisarvo!

Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa. väite P(n) on totta kaikille n = 0,1,2,...

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

Matematiikan peruskurssi 2

Todistusmenetelmiä Miksi pitää todistaa?

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

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

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Tehtäväalue ulottuu kohdan 1.15 paikkeille (hiukan edemmäs, jos haluaa).

Ensimmäinen induktioperiaate

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

Johdatus matematiikkaan

Ensimmäinen induktioperiaate

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Matematiikan tukikurssi, kurssikerta 2

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

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.

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä

Tenttiin valmentavia harjoituksia

Todistamisessa on tärkeää erottaa tapaukset, kun sääntö pätee joillakin tai kun sääntö pätee kaikilla. Esim. On olemassa reaaliluku x, jolle x = 5.

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Yhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014

Johdatus matemaattiseen päättelyyn

Matematiikan tukikurssi

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

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

Insinöörimatematiikka A

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

(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

Matemaattisen analyysin tukikurssi. 1. Kurssikerta ( )

Reaalifunktioista 1 / 17. Reaalifunktioista

Vaihtoehtoinen tapa määritellä funktioita f : N R on

Rekursio. Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on

Matematiikan tukikurssi, kurssikerta 3

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Johdatus matematiikkaan

(2n 1) = n 2

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

(a) Kyllä. Jokainen lähtöjoukon alkio kuvautuu täsmälleen yhteen maalijoukon alkioon.

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

Johdatus yliopistomatematiikkaan. JYM, Syksy /197

Ratkaisu: (b) A = x 0 (R(x 0 ) x 1 ( Q(x 1 ) (S(x 0, x 1 ) S(x 1, x 1 )))).

2017 = = = = = = 26 1

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on

Matematiikan tukikurssi, kurssikerta 5

Loogiset konnektiivit

Miten osoitetaan joukot samoiksi?

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

1. Otetaan perusjoukoksi X := {0, 1, 2, 3, 4, 5, 6, 7}. Piirrä seuraaville kolmelle joukolle Venn-diagrammi ja asettele alkiot siihen.

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

Johdatus matemaattiseen päättelyyn (5 op)

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

811120P Diskreetit rakenteet

Vastaoletuksen muodostaminen

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016

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

} {{ } kertaa jotain

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 5 Ratkaisuehdotuksia

Ratkaisu: Yksi tapa nähdä, että kaavat A (B C) ja (A B) (A C) ovat loogisesti ekvivalentit, on tehdä totuustaulu lauseelle

Konvergenssilauseita

MS-A0402 Diskreetin matematiikan perusteet

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Johdatus matemaattiseen päättelyyn

1.5 Suljetulla välillä jatkuva funktio. Perusominaisuudet.

MATP153 Approbatur 1B Ohjaus 2 Keskiviikko torstai

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

4.3. Matemaattinen induktio

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

Matematiikan peruskurssi 2

Matematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus 2, malliratkaisut

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 (opetusmoniste, lauselogiikka )

Induktio, jonot ja summat

Luonnollisen päättelyn luotettavuus

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...

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

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista

Tehtävä 1. Arvioi mitkä seuraavista väitteistä pitävät paikkansa. Vihje: voit aloittaa kokeilemalla sopivia lukuarvoja.

Tekijä Pitkä Matematiikka 11 ratkaisut luku 2

Determinantti 1 / 30

f(x 1, x 2 ) = x x 1 k 1 k 2 k 1, k 2 x 2 1, 0 1 f(1, 1)h 1 = h = h 2 1, 1 12 f(1, 1)h 1 h 2

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

Lineaarialgebra ja matriisilaskenta I, HY Kurssikoe Ratkaisuehdotus. 1. (35 pistettä)

2 Raja-arvo ja jatkuvuus

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

Matemaattisten työvälineiden täydentäviä muistiinpanoja

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

Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus Malliratkaisut (Sauli Lindberg)

Cantorin joukon suoristuvuus tasossa

Algebra. 1. Ovatko alla olevat väittämät tosia? Perustele tai anna vastaesimerkki. 2. Laske. a) Luku 2 on luonnollinen luku.

Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi

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

Toispuoleiset raja-arvot

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko?

Transkriptio:

HY / Matematiikan ja tilastotieteen laitos Matemaattinen analyysi I Harjoitus 2 / Ratkaisut Tehtävissä yleisohjeistuksena oli: Perustele vastauksesi hyvin ja selvästi! Esitä riittävästi lähdeviittauksia: mitä tämän kurssin määritelmää, lausetta, esimerkkiä tms. hyödynnät. Tehtäväalue ulottuu kohtaan.29 asti. Pisteet: 5 + 5 + 9 + 6 + 0 + 25 = 80.. (a) Todista induktioperiaatetta käyttäen, että kaikille n N on ( ) 2 + 2 2 + + 2 n = 2 n. (Osaatko lisäksi piirtää väitteen pätevyyttä havainnollistavan kuvan?) (b) Oletetaan, että ja n N. Todista induktioperiaatetta käyttäen Bernoullin epäyhtälö ( ) ( + ) n + n. Kerro myös, tarvitsitko kaikkia oletuksia! Ole huolellinen! Muista myös esimerkin.9 käytäntö lopusta alkuun. Ratkaisu. (a) Todistus: Induktiotodistuksessa on kaksi vaihetta: Alkutapaus. Kun n =, on ( ):n vasen puoli 2 = 2 ja oikea puoli 2 = 2, joten kaava ( ) pätee arvolle n =. 2 Induktioaskel. Tässä näytetään, että k N: p(k) p(k + ), missä p(k) väittää, että kaava ( ) pätee arvolle k = n. Tyypillisesti sekä muotoa kaikille k että muotoa jos, niin olevat väitteet todistetaan olettamalla jotakin ja osoittamalla sitten jotakin. Tarkemmin sanoen oletetaan toisaalta, että on annettu k (mielivaltainen po. joukosta), ja toisaalta, että implikaation etujäsen on tosi. Induktio-oletus: k N ja kaava ( ) pätee arvolle n = k, ts. (io) 2 + 2 2 + + 2 k = 2 k. Induktioväite: ( ) pätee myös, kun n = k +, ts. (iv) 2 + 2 2 + + 2 k+ = 2 k+. Todistus (induktioaskeleen sisäinen): Tässä on teknisesti helppoa muokata induktioväitteen (iv) vasen puoli + ( ) + + = 2 2 2 2 k+ (io) 2 + = + 2 + k 2 k+ 2 k+ 2 k+ = + 2+ 2 k+ = + 2 k+ = 2 k+. (iv):n oikeaksi puoleksi, joten induktioaskeleen sisäinen väite (iv) pätee! Koska kumpikin ehdoista ja 2 saatiin todistetuksi, pätee kaava ( ) induktioperiaatteen nojalla kaikille n N.

Havainnollistus: Voisimme piirtää janan, pituudeltaan, ja merkitä sille pisteitä kuvaamaan kaavan ( ) oikean puolen summan kehittymistä: ensin pisteen janan puoliväliin ( ), 2 sitten pisteen jäljellä olevan osan puoliväliin ( + = 3), 2 sitten pisteen taas jäljellä olevan osan puoliväliin ( + + = 7) 2 8 8 ja niin edelleen. Huomaisimme kuvasta, että jäljellä olevan janan pituus on ensin, 2 sitten, sitten jne. kaavan ( ) mukaisesti tietysti ja kutistuen 8 rajatta kohti nollaa... (b) Todistus: Induktiotodistuksessa on tosiaan kaksi vaihetta: Kun n =, on ( ):n vasen puoli ( + ) = + ja oikea puoli + = +, joten kaava ( ) pätee arvolle n =. 2 Induktio-oletus (IO): k N ja kaava ( ) pätee arvolle n = k, ts. (io) ( + ) k + k. Induktioväite: ( ) pätee myös, kun n = k +, ts. (iv) ( + ) k+ + (k + ). Todistus (induktioaskeleen sisäinen): Sille, että (io) (iv) (kun oletustemme mukaisesti ja k N), voidaan löytää perustelu kääritään hihat -tyylillä ja esittää se jälkiviisaasti -tyylillä. Esitämme molempia. Kääritään hihat : Kaavojen (io) ja (iv) vasemmat puolet ovat hyvin lähellä toisiaan. Kun kerrotaan (io) puolittain lausekkeella (+), joka on oletuksen perusteella epänegatiivinen, saadaan (vrt. lauseen.23 kohta (2)) ( ) ( + ) k+ ( + k)( + ). Saatiin vasen puoli tavoitteen mukaiseksi! [Oikeat puolet yo:ssa ja (iv):ssä luultavasti poikkeavat, ollaanhan todistamassa epäyhtälöä eikä yhtälöä.] Tutkitaan väite-epäyhtälön (iv) vasemman ja oikean puolen erotusta (jonka haluamme näyttää epänegatiiviseksi): ( + ) k+ ( + (k + ) ) ( + k)( + ) ( + (k + ) ) ( ) = + + k + k 2 ( + k + ) = k 2. (Käytimme tietysti lauseen.23 kohtaa ().) Mutta tämä on 0, koska k N ja R, jolloin k > 0 ja 2 0. Siis (iv) pätee. Jälkiviisaasti : Käyttäen lausetta.23.2 (ja lisäystä 0:lla kertomisesta) saadaan, koska + 0, että ( + ) k+ = ( + ) k ( + ) ( + k)( + ) määr. (io) joten (iv) on tosi. = + + k + k 2 + + k k N (IO) = + (k + ), Tämä tapaus ei ehkä vielä ole niin monimutkainen, etteikö kokemus auttaisi heti kehittämään todistuksen jälkimmäisellä. Edellistä on tärkeää harjoitella miten se kulloinkin toimiikaan. 2

Koska kumpikin ehdoista ja 2 saatiin todistetuksi, pätee kaava ( ) induktioperiaatteen nojalla kaikille n N. Käytimme myös oletusta, että. Tämä oletus on voinut joiltakin unohtua, jolloin päättelyssä on virhe, koska epäyhtälön suunta kääntyy kerrottaessa negatiivisella + :lla! Toki käytimme myös oletusta, että n N, vaikkakin väite olisi itse asiassa pätenyt myös tapauksessa n = 0. 2. Osoita induktioperiaatteen avulla luentojen tapaan selvästi perustellen, että kun n N on kyllin suuri, pätee epäyhtälö n 2 < 2 n. Vihje: Alkutapaukseen on hyötyä tehtävästä h/t5 (jossa asiaa tarkasteltiin kokeellisesti). Induktioaskeleessa tarvitset IO:ta kahdesti(!) toisin kuin luentojen esimerkeissä. Valmennusapua saat myös tehtävästä! Ratkaisu. Mainitun tehtävän h/t5 nojalla tiedämme, ettei epäyhtälö päde, kun n =, mutta pätee, kun n = 5, ja luultavasti siitä eteenpäin. Asetamme siksi väitteen (toiveikkaina) seuraavasti: Väite: Kaikille luonnollisille luvuille n 5 pätee epäyhtälö n 2 < 2 n. Todistus: Käytämme huomautuksen.20 mukaista yleistettyä induktioperiaatetta, jossa alkutapaus on n = n 0 Z, valiten n 0 = 5. Todistuksessa on yhä kaksi vaihetta: Selvästi 5 2 = 25 < 32 = 2 5, joten epäyhtälö pätee arvolle n = 5. 2 Induktio-oletus (IO): Oletetaan, että luonnollinen luku k 5 ja että epäyhtälö pätee arvolle n = k eli että k 2 < 2 k. Osoitetaan, että tällöin se pätee myös, kun n = k +. Saadaan: 2 k+ = 2 2 k > 2 k 2 = k 2 + k 2 k 2 + 5k > k 2 + 2k + k määr. IO IO: k 5 k > 0 k 2 + 2k + = (k + ) 2. k (Käytimme kolmasti lausetta.23.2, jossa kertojana oli ensiksi 2 > 0.) Siis IO:sta seurasi, että epäyhtälö n 2 < 2 n pätee myös arvolle n = k+. Nyt yleistetyn induktioperiaatteen nojalla epäyhtälö n 2 < 2 n pätee kaikille luonnollisille luvuille n 5. Huomautus: Katso myös t:n induktioita. Yo. taitaa olla jälkiviisas. 3. (a) Tehtävän h/t5 ratkaisemisen jälkeen tiedetään, että tehtävän h/t.a taulukon alarivi antaa epäyhtälön n 2 < 2 n totuusarvot, kun n 6! Mietitään uudestaan induktion käyttöä huomautuksen.20 mielessä. Mille luvuista n 0,..., 5} olisi tosi alkutapaus, mille induktioaskel? Ratkaisu. Tehtävässä h/t5 saaduista tuloksista (alla) nähdään, että po. yleistetyn induktion alkutapaus n = n 0 on tosi, kun n 0, 5}. (Äskeisen todistuksen nojalla myös, kun n 0 6, 7, 8,... }!) 3

p() p(2) p(3) p() p(5) p(6)... t 0 e e e t t Tehtävän h/t5 tulosten (yllä) mukaan induktioaskel p(k) p(k + ) on epätosi, kun k =, mutta tosi, kun k 2, 3,, 5}. Jos vaaditaan, että kaikki induktioaskeleet ovat tosia (kuten pätevässä induktiossa pitää olla), tehtävien h/t5 ja h2/t2 tulosten nojalla näin on kysytyistä tapauksista vain tapauksessa n 0 = 5. [Kokonainen induktiotodistus (sekä alkutapaus että induktioaskeleet ovat tosia) saadaan eo. vastaukset yhdistäen tapauksessa n 0 = 5 ja vain siinä. (Kun po. induktio on h2/t2:ssa suoritettu, voidaan päätellä, että myös tapaukset n 0 = 6, 7, 8,... toimivat.) ] (b) Anna jokaiselle n N esimerkki konkreettisesta väittämästä p(n) niin, että induktiotodistusyrityksessä väitteelle n N: p(n) toimii alkutapaus muttei induktioaskel (ainakaan kaikkialla so. jokaiselle k N)! Vihje: Käytä taulukkoa h/t.a:ssa inspiraatiolähteenä. Ratkaisu. Yllä todetun mukaan väitteeksi p(n) käy jokaiselle n N epäyhtälö n 2 < 2 n. (c) Päin vastoin kuin b-kohdassa, anna väitteet p(), p(2),..., joille toimii induktioaskel (kaikkialla) muttei alkutapaus! Ratkaisu. Asetetaan jokaiselle n N väitteeksi p(n) yhtälö n = 0. Koska kurssillamme N =, 2,... } (pykälän.0 alku), on tässä p(n) epätosi kaikille n N, jolloin alkutapaus p() on epätosi, mutta jokainen induktioaskel (epätodesta epätoteen) on tosi (määritelmä.5). Huomaa: Kohdissa (b) ja (c) on nyt perusteltu huomautuksen.6 väitteet!. (a) Jos a > 0, niin päteekö kaikille, y 0, että < y a > a y? Vetoa lauseeseen.23 niin paljon kuin voit. Ratkaisu. Oletetaan, että a > 0. Valitaan = ja y =. Silloin, y 0 ja < y mutta a = a < 0 < a = a y. Siten implikaatio on epätosi (määritelmä.5) tälle valinnalle, y 0. Se ei siis päde kaikille, y 0; vastaus on ei. Huomaa kuitenkin, että implikaatio pätisi olettaen, y molemmat negatiivisiksi, minkä näkisi lauseen.23. avulla ovelasti: vastaluvun otto kääntää järjestyksen, positiivisen jakaminen kääntää takaisin!

(b) Päteekö kaikille a 0, että < y a < y a? Vetoa lauseeseen.23 niin paljon kuin voit. Ratkaisu. Valitaan a =. Silloin a 0. Valitaan = ja y = 2. Nyt < y mutta a = > y = y a. (Suunnan kääntyminen voidaan perustella lauseella.23.3.) Tälle valinnalle a 0 ekvivalenssi ei siis päde (sillä etu- ja takajäsenen totuusarvot ovat eri). Jälleen vastaus on ei. 5. (a) Pura itseisarvomerkit lausekkeesta 2 2 jokaiselle R. Ota rajatapaukset mukaan kahdesti kaavan (.26) ja vakiokäytäntömme mukaisesti! (So. käytä merkkejä ja, älä > ja <.) (b) Jos f : R R on funktio, määritellään funktio f : R R asettamalla f () = f() kaikille R. Päteekö implikaatio f on aidosti kasvava f on aidosti kasvava? Hahmottele sopivien f :ien kuvaajia sekä vastaavien f :ien kuvaajat! Saat vedota tällaisiin kuviin vastauksessasi. Ratkaisu. (a) Oletetaan, että R. Kaavan (.26) mukaan 2 2 2, kun 2 2 0 2 = 2 + + 2, kun 2 2 0. Nyt tehtävän h/t muotoilun mukaan 2 2 = ( 2)( + ), mistä nähdään tulon merkkisäännön nojalla, että 2 2 0 2 (muista merkintäsopimus (.) sekä muistisäänto!) ja 2 2 0 2. (Toinen tapa määrittää ko. polynomin merkki eri osissa lukusuoraa olisi tietysti käyttää 2. asteen yhtälön ratkaisukaavaa jne.!) Siten 2 2 2, kun tai 2 2 =. 2 + + 2, kun 2 (b) Implikaatio ei päde: Funktio : R R on aidosti kasvava, mutta tämän funktion itseisarvo : R R ei ole aidosti kasvasva, kuten vaikka esimerkin.3 kuvasta nähdään. (Tässä riitti siis yksi kuva/tapaus: vastaesimerkki!) 5

6. Ratkaise epäyhtälö 3 < 2 käyttäen (a) perusmenetelmää (ks. sivu ja esimerkki.27) sekä (b) näppärästi lausetta.28. Ole erittäin tarkka ekvivalenssien suhteen, ks. huomautus.25! Mieti lukujen merkkejä ja implikaatioiden suuntia huolellisesti. Ratkaisu. Epäyhtälön määrittelyehto on, että 0. Kaikki implikaatiot ja ekvivalenssit alla tarkoitetaan pätemään kaikille R0} (ts. epäyhtälön määrittelyjoukossa). (a) Tärkeää kaavaamme (.26) jälleen käyttäen saadaan, että 3 = 3, kun 3 eli kun < 0 3 3, kun 3 eli kun 0 < 3. Yllä lukujen 3 ja / vertaaminen vaati paljon ajattelua! Se on tehtävä eksplisiittisesti (huomaa, että eli viittasi ekvivalenssiin): Tapaus < 0: Tällöin / < 0 < 3 aina. Tapaus > 0: Tällöin lauseen.23 kohdan (2) loppuosan avulla saadaan ekvivalenssit 3 3 sekä 3 3 (kun kerrotaan puolittain positiiviluvuilla ja 3 ). Nyt jaamme määritelyjoukon itseisarvomerkkien purkamisesta tulleisiin tapauksiin (ts. käytämme perusmenetelmää ): Tapaus < 0 tai 3 : 3 < 2 <. Alatapaus < 0: < ei tosi koskaan. Alatapaus 3 : < <. Osavastaus: 3 Tapaus 0 < : 3 5 Osavastaus: 5 < 3. Vastaus: 5 < <. (b) Kirjoitamme ekvivalensseja niin pitkään kuin vaivattomasti näemme ne päteviksi, sitten jatkamme pelkin implikaatioin. Tärkeimmät perustelut laitamme näkyviin; lukijan vastuulla on ajatella loputkin (jo tuttuja): 3 < 2.28. 3 < 2 3 2 < < 3 + 2 < < 5 < > 0 < < 5 < 0 ( > 0 < 5) 0 < < < 0 > 5 5 < < < < 5. Lukijalle jätettyjä pikku perusteluja helpotti, että ne olivat lähinnä implikaatioille! Kun aloimme lopussa muodostaa implikaatioita takaisin päin, suuntasimme onnistuneesti heti kohtaan, jossa olimme katkaisseet ekvivalenssien ketjun. (Tällaistahan monesti sanotaan tarkistukseksi. Hylättyjä ratkaisuehdokkaita ei nyt ollut.) Siis vastaus on 5 < <. 6

Ohjeita itse- ja vertaisarviointiin Yleisohje: Ajattelu ja perustelu on normaalisti periaatteessa tärkeämpää kuin tulosten virheettömyys: Väärästä tuloksesta huolimatta voi saada jopa täydet, jos ajatukset ovat oikein mutta on sattunut jokin lipsahdus! Oikea tulos mutta väärin tai puuttuvin perusteluin/ajatuksin ei yleensä tuota (läheskään?) täysiä pisteitä! Perustelut ovat tärkeitä, ellei toisin sanota. Yleensä tärkeitä ovat myös lähdeviittaukset. Molempiahan vielä painotettiin tehtäväpaperin alussa! Erityisohjeita yksittäisiin tehtäviin (yleisohjeita unohtamatta):. Kohdista maksimissaan 7 + 8 pistettä, mutta samoista puutteista ei tarvitse sakottaa molemmissa erikseen! Arvioitava erikseen induktioperiaatteen hallintaa sinänsä ja sen teknistä toteutusta, jossa erityyppisten väitteiden todistamisessa voi olla aivan erilaiset haasteet. Kuva on a-kohdassa ylimääräistä (sitä ei siis vaadita), mutta oivaltavalla kuvalla (ks. malli yllä) voi kompensoida jotakin pientä ongelmaa toisaalla. Ymmärrystä siis painotetaan. Jos b-kohdassa ei huomannut käyttää oletusta (ja teki siis päättelyvirheen), menettää jonkin pisteen. (Riippuu hieman kokonaisuudesta.) 2. Tässä erityisesti korostettiin perustelujen selvyyttä. Esim. induktio-oletuksen käyttö pitää ehdottomasti osoittaa! (Se toinen käyttö siis on, että induktioaskeleessakin k 5.) Jos käytti alkutapauksena tapausta n = jolloin induktioaskeleet eivät voi ylittää kuilua :stä 5:een, menettää pisteitä. (Riippuu taas kokonaisuudesta.) 3. Pistejako kohtien välillä 3 + 3 + 3. Kohdan (a) muotoilu saattoi aiheuttaa tulkintaongelmia; niissä kannattaa olla armelias (järkevä tulkinta hyväksytään).. 3 + 3 pistettä. Koska a-kohdassa luonnollisella kielellä esitetty kysymys suonee eri tulkintoja, kannattaa hyväksyä yksikin vastaesimerkki a > 0 (esim. a = ) ja vastaesimerkit, y 0 vaikka malliratkaisussa näytetään peräti, että kaikki luvut a > 0 mahdollistavat vastaesimerkkejä, y 0. 5. Pisteet + 6. Jos a-kohdassa on aidosti käsitetty, ettei purkamista tarvitse viedä :n tasolle (kuten yllä vietiin), voi olla armelias. Tämän takia: purkamishanke loppuun asti kompensoi pieniä virheitä myös b:ssä. 6. Tässä on päähuomio siinä, onko kehittänyt ekvivalenssit luotettavasti (eikä sattumalta oikein)! Ja että (joko kerralla tai eri suunnat erikseen) on lopulta saavuttanut ekvivalenssin alkuperäisen ey:n ja ns. ratkaisun välille! Ekvivalenssi, jota ei ole perusteltu vielä enemmän, jos vaikuttaa, että on ajateltu vain yhteen suuntaan, tuottaa miinusta. Jos samanlainen perustelu toistuu, ei sitä tarvinne joka kerta mainita (kuten ei mallissakaan). Implikaatioissakin on tietysti oltava huolellinen (ei sattumalta oikein). Perusmenetelmä (a-kohta) on tärkeä hallita! Lausetta.28 (b-kohta) voi käyttää ainakin parilla vaihtoehtoisella tavalla (vaikkakaan ne eivät kovin oleellisesti eroa toisistaan). Lopuksi: muista alun yleisohjeet! 7