Ohessa ovat kokeen tehtävien ratkaisut Mathematicalla tehtyinä. Useat selittynevät sellaisinaan ilman kommentteja, mutta joihinkin olen lisännyt huomautuksia. Missään mielessä nämä eivät ole ylioppilaskokeen malliratkaisuja. Niitä katsellessa kannattaa pikemminkin miettiä, mihin olemme menossa: Käytetäänkö ylioppilaskokeessa jonakin päivänä Mathematican kaltaisia välineitä? Mitä tämä vaikuttaa tehtäviin?
Simo K. Kivelä
![[Graphics:Images/s01prtk_gr_1.gif]](Images/s01prtk_gr_1.gif)
![[Graphics:Images/s01prtk_gr_3.gif]](Images/s01prtk_gr_3.gif)
Mathematica käsittelee siis ns. yleistä tapausta eikä erikoistapausta, missä
. Tehtävän oletusta
ei tarvitse millään tavoin antaa. Kyseessä on yleinen symbolisen laskentaohjelman piirre, josta on syytä olla tietoinen.
Ehkä selkeintä on antaa numeroarvot ns. sijoitussäännössä:
![[Graphics:Images/s01prtk_gr_7.gif]](Images/s01prtk_gr_7.gif)
Tällöin laskut voidaan tehdä symboleilla ja sijoittaa arvot vasta lopuksi:
![[Graphics:Images/s01prtk_gr_9.gif]](Images/s01prtk_gr_9.gif)
![[Graphics:Images/s01prtk_gr_11.gif]](Images/s01prtk_gr_11.gif)
![[Graphics:Images/s01prtk_gr_13.gif]](Images/s01prtk_gr_13.gif)
Kohtaamisaika ja -paikka, ts. kelloaika desimaalisena ja etäisyys Helsingistä kilometreissä:
![[Graphics:Images/s01prtk_gr_15.gif]](Images/s01prtk_gr_15.gif)
Kohtaamisaika voidaan esittää 60-järjestelmässä, jolloin nähdään suoraan tunnit, minuutit ja sekunnit:
![[Graphics:Images/s01prtk_gr_17.gif]](Images/s01prtk_gr_17.gif)
Sekunnin tarkkuudella siis (vaikkei näin iso tarkkuus toki järkevää olekaan): 9.29.32.
![[Graphics:Images/s01prtk_gr_19.gif]](Images/s01prtk_gr_19.gif)
![[Graphics:Images/s01prtk_gr_21.gif]](Images/s01prtk_gr_21.gif)
![[Graphics:Images/s01prtk_gr_23.gif]](Images/s01prtk_gr_23.gif)
Leikkauspisteitä on siis vain yksi, koska juuret yhtyvät. Itse piste on
![[Graphics:Images/s01prtk_gr_25.gif]](Images/s01prtk_gr_25.gif)
Kulmakertoimetkin yhtyvät:
![[Graphics:Images/s01prtk_gr_27.gif]](Images/s01prtk_gr_27.gif)
Tangentin yhtälö:
![[Graphics:Images/s01prtk_gr_29.gif]](Images/s01prtk_gr_29.gif)
![[Graphics:Images/s01prtk_gr_31.gif]](Images/s01prtk_gr_31.gif)
Varsin yksinkertainen lasku, kunhan tietää mitä tekee. Ja siinä Mathematica ei auta.
![[Graphics:Images/s01prtk_gr_33.gif]](Images/s01prtk_gr_33.gif)
![[Graphics:Images/s01prtk_gr_35.gif]](Images/s01prtk_gr_35.gif)
Jälleen yksinkertainen lasku, mutta vyöhykkeen ja kalotin alan kaava on tiedettävä.
Syötetään ensin pisteet:
![[Graphics:Images/s01prtk_gr_37.gif]](Images/s01prtk_gr_37.gif)
![[Graphics:Images/s01prtk_gr_39.gif]](Images/s01prtk_gr_39.gif)
![[Graphics:Images/s01prtk_gr_41.gif]](Images/s01prtk_gr_41.gif)
![[Graphics:Images/s01prtk_gr_43.gif]](Images/s01prtk_gr_43.gif)
![[Graphics:Images/s01prtk_gr_45.gif]](Images/s01prtk_gr_45.gif)
Muodostetaan suoran ja tason suuntavektorit. Vektorit esitetään Mathematicassa listoina.
![[Graphics:Images/s01prtk_gr_47.gif]](Images/s01prtk_gr_47.gif)
![[Graphics:Images/s01prtk_gr_49.gif]](Images/s01prtk_gr_49.gif)
![[Graphics:Images/s01prtk_gr_51.gif]](Images/s01prtk_gr_51.gif)
Tarkistetaan, onko suoran suuntavektori kohtisuorassa tason suuntavektoreita vastaan:
![[Graphics:Images/s01prtk_gr_53.gif]](Images/s01prtk_gr_53.gif)
Periaatteessa kyse on seuraavan lausekkeen raja-arvon laskemisesta, mutta tätä Mathematica ei osaa Limit-funktiolla suoraan, vaan lauseketta on ensin sievennettävä tavalla. Tämä taas edellyttää, että käyttäjä itse näkee, mihin kannattaa pyrkiä.
![[Graphics:Images/s01prtk_gr_55.gif]](Images/s01prtk_gr_55.gif)
![[Graphics:Images/s01prtk_gr_57.gif]](Images/s01prtk_gr_57.gif)
![[Graphics:Images/s01prtk_gr_59.gif]](Images/s01prtk_gr_59.gif)
Tarkistus, että sievennyksessä ei ole tehty virheitä:
![[Graphics:Images/s01prtk_gr_61.gif]](Images/s01prtk_gr_61.gif)
Huomattakoon, että yhtäsuuruus ei ole lainkaan ongelmatonta, jos
ei ole reaalinen. (Mathematica varautuu siihen, että muuttujat ovat kompleksisia, ellei muuta ilmoiteta.)
Ja sitten raja-arvo:
![[Graphics:Images/s01prtk_gr_64.gif]](Images/s01prtk_gr_64.gif)
![[Graphics:Images/s01prtk_gr_66.gif]](Images/s01prtk_gr_66.gif)
Epäyhtälön ratkaisemiseksi ladataan lisäpaketti:
![[Graphics:Images/s01prtk_gr_68.gif]](Images/s01prtk_gr_68.gif)
![[Graphics:Images/s01prtk_gr_69.gif]](Images/s01prtk_gr_69.gif)
![[Graphics:Images/s01prtk_gr_71.gif]](Images/s01prtk_gr_71.gif)
Hävitetään aiemmin luotu symboli s:
![[Graphics:Images/s01prtk_gr_73.gif]](Images/s01prtk_gr_73.gif)
Summafunktio määritellään vain niillä muuttujan
arvoilla, joilla sarja suppenee:
![[Graphics:Images/s01prtk_gr_75.gif]](Images/s01prtk_gr_75.gif)
![[Graphics:Images/s01prtk_gr_77.gif]](Images/s01prtk_gr_77.gif)
![[Graphics:Images/s01prtk_gr_82.gif]](Images/s01prtk_gr_82.gif)
![[Graphics:Images/s01prtk_gr_84.gif]](Images/s01prtk_gr_84.gif)
![[Graphics:Images/s01prtk_gr_86.gif]](Images/s01prtk_gr_86.gif)
![[Graphics:Images/s01prtk_gr_88.gif]](Images/s01prtk_gr_88.gif)
![[Graphics:Images/s01prtk_gr_90.gif]](Images/s01prtk_gr_90.gif)
![[Graphics:Images/s01prtk_gr_92.gif]](Images/s01prtk_gr_92.gif)
![[Graphics:Images/s01prtk_gr_94.gif]](Images/s01prtk_gr_94.gif)
![[Graphics:Images/s01prtk_gr_96.gif]](Images/s01prtk_gr_96.gif)
Koulukurssilla lausekkeen integrointi ei välttämättä onnistu (eikä se toki ole tarpeenkaan, tehtävästä selviää muutenkin), mutta Mathematica integroi:
![[Graphics:Images/s01prtk_gr_98.gif]](Images/s01prtk_gr_98.gif)
![[Graphics:Images/s01prtk_gr_100.gif]](Images/s01prtk_gr_100.gif)
![[Graphics:Images/s01prtk_gr_102.gif]](Images/s01prtk_gr_102.gif)
Kuvia käyrästä:
![[Graphics:Images/s01prtk_gr_105.gif]](Images/s01prtk_gr_105.gif)
![[Graphics:Images/s01prtk_gr_106.gif]](Images/s01prtk_gr_106.gif)
![[Graphics:Images/s01prtk_gr_108.gif]](Images/s01prtk_gr_108.gif)
![[Graphics:Images/s01prtk_gr_109.gif]](Images/s01prtk_gr_109.gif)
Geometrisesti lienee selvää, että integroimisvälin tulee sijaita symmetrisesti käyrän huippuun nähden.
Aluksi kuvioita:
![[Graphics:Images/s01prtk_gr_111.gif]](Images/s01prtk_gr_111.gif)
![[Graphics:Images/s01prtk_gr_113.gif]](Images/s01prtk_gr_113.gif)
![[Graphics:Images/s01prtk_gr_114.gif]](Images/s01prtk_gr_114.gif)
![[Graphics:Images/s01prtk_gr_116.gif]](Images/s01prtk_gr_116.gif)
![[Graphics:Images/s01prtk_gr_117.gif]](Images/s01prtk_gr_117.gif)
Jotta päästään integroimaan pyörähdyskappaleen tilavuutta, ratkaistava
muuttujana
:
![[Graphics:Images/s01prtk_gr_122.gif]](Images/s01prtk_gr_122.gif)
Juuria saadaan kolme (tietenkin), mutta ei ole selvää, mikä niistä on reaalinen ja siis se, mitä tarvitaan. Itse asiassa yksi ja sama lauseke ei kelpaa koko alueella:
![[Graphics:Images/s01prtk_gr_124.gif]](Images/s01prtk_gr_124.gif)
| False | False | True |
| False | False | True |
| True | True | True |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
| True | False | False |
Tulos lienee hiukan yllättävä, mutta liittyy siihen, miten kuutiojuuri (eli potenssi
) määritellään kompleksitasossa. Integrointi on syytä tehdä tämän takia kahdessa osassa:
![[Graphics:Images/s01prtk_gr_126.gif]](Images/s01prtk_gr_126.gif)
![[Graphics:Images/s01prtk_gr_128.gif]](Images/s01prtk_gr_128.gif)
![[Graphics:Images/s01prtk_gr_130.gif]](Images/s01prtk_gr_130.gif)
Tehtävässä ei juurikaan ole iloa Limit-funktiosta eikä kovin paljon Mathematicastakaan. Piirretään kuitenkin kuvia ja taulukoidaan jotakin.
Hävitetään ensin vanha f ja määritellään sitten funktiot:
![[Graphics:Images/s01prtk_gr_132.gif]](Images/s01prtk_gr_132.gif)
![[Graphics:Images/s01prtk_gr_133.gif]](Images/s01prtk_gr_133.gif)
![[Graphics:Images/s01prtk_gr_135.gif]](Images/s01prtk_gr_135.gif)
![[Graphics:Images/s01prtk_gr_137.gif]](Images/s01prtk_gr_137.gif)
![[Graphics:Images/s01prtk_gr_139.gif]](Images/s01prtk_gr_139.gif)
![[Graphics:Images/s01prtk_gr_141.gif]](Images/s01prtk_gr_141.gif)
![[Graphics:Images/s01prtk_gr_143.gif]](Images/s01prtk_gr_143.gif)
![[Graphics:Images/s01prtk_gr_144.gif]](Images/s01prtk_gr_144.gif)
Arvo
ei lainkaan erotu.
Funktion
nollakohtien etsiminen ei kunnolla onnistu:
![[Graphics:Images/s01prtk_gr_148.gif]](Images/s01prtk_gr_148.gif)
![[Graphics:Images/s01prtk_gr_151.gif]](Images/s01prtk_gr_151.gif)
![[Graphics:Images/s01prtk_gr_154.gif]](Images/s01prtk_gr_154.gif)
Lopulta on kuitenkin saatu jotakin, mutta ei tässä Mathematicasta paljonkaan iloa ollut:
![[Graphics:Images/s01prtk_gr_156.gif]](Images/s01prtk_gr_156.gif)
Kuvioita kuitenkin voidaan piirtää:
![[Graphics:Images/s01prtk_gr_158.gif]](Images/s01prtk_gr_158.gif)
![[Graphics:Images/s01prtk_gr_159.gif]](Images/s01prtk_gr_159.gif)
![[Graphics:Images/s01prtk_gr_161.gif]](Images/s01prtk_gr_161.gif)
![[Graphics:Images/s01prtk_gr_162.gif]](Images/s01prtk_gr_162.gif)
Funktio
siis näyttää jatkuvalta origossa.
Yhdisteyllä funktiolla sen sijaan ei ole raja-arvoa origossa, koska se miten lähellä origoa tahansa saa sekä arvon 1 että arvon 0:
![[Graphics:Images/s01prtk_gr_165.gif]](Images/s01prtk_gr_165.gif)
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
| 1 | 0 |
Poistetaan jälleen historia
![[Graphics:Images/s01prtk_gr_166.gif]](Images/s01prtk_gr_166.gif)
ja syötetään vasta sitten uudet funktiot:
![[Graphics:Images/s01prtk_gr_167.gif]](Images/s01prtk_gr_167.gif)
![[Graphics:Images/s01prtk_gr_169.gif]](Images/s01prtk_gr_169.gif)
![[Graphics:Images/s01prtk_gr_170.gif]](Images/s01prtk_gr_170.gif)
![[Graphics:Images/s01prtk_gr_172.gif]](Images/s01prtk_gr_172.gif)
![[Graphics:Images/s01prtk_gr_173.gif]](Images/s01prtk_gr_173.gif)
Newtonin iteraatio sujuu tämän jälkeen helposti:
![[Graphics:Images/s01prtk_gr_175.gif]](Images/s01prtk_gr_175.gif)
![[Graphics:Images/s01prtk_gr_177.gif]](Images/s01prtk_gr_177.gif)
![[Graphics:Images/s01prtk_gr_179.gif]](Images/s01prtk_gr_179.gif)
![[Graphics:Images/s01prtk_gr_181.gif]](Images/s01prtk_gr_181.gif)
![[Graphics:Images/s01prtk_gr_183.gif]](Images/s01prtk_gr_183.gif)
![[Graphics:Images/s01prtk_gr_185.gif]](Images/s01prtk_gr_185.gif)
![[Graphics:Images/s01prtk_gr_187.gif]](Images/s01prtk_gr_187.gif)
![[Graphics:Images/s01prtk_gr_192.gif]](Images/s01prtk_gr_192.gif)