1. Osoita juuren määritelmän ja potenssin (eksponenttina kokonaisluku) laskusääntöjen. xm = ( n x) m ;

Samankaltaiset tiedostot
MATEMATIIKAN JA TILASTOTIETEEN LAITOS Analyysi I Harjoitus alkavalle viikolle Ratkaisuehdotuksia (7 sivua) (S.M)

1.1. YHDISTETTY FUNKTIO

2 Funktion derivaatta

Fysiikan matematiikka P

0. Kertausta. Luvut, lukujoukot (tavalliset) Osajoukot: Yhtälöt ja niiden ratkaisu: N, luonnolliset luvut (1,2,3,... ) Z, kokonaisluvut

k-kantaisen eksponenttifunktion ominaisuuksia

Olkoon funktion f määrittelyjoukkona reaalilukuväli (erityistapauksena R). Jos kaikilla määrittelyjoukon luvuilla x 1 ja x 2 on voimassa ehto:

6 Eksponentti- ja logaritmifunktio

Matematiikan tukikurssi

Matematiikan peruskurssi 2

Reaalifunktioista 1 / 17. Reaalifunktioista

MATP153 Approbatur 1B Ohjaus 2 Keskiviikko torstai

Kaikkia alla olevia kohtia ei käsitellä luennoilla kokonaan, koska osa on ennestään lukiosta tuttua.

1. Olkoon f :, Ratkaisu. Funktion f kuvaaja välillä [ 1, 3]. (b) Olkoonε>0. Valitaanδ=ε. Kun x 1 <δ, niin. = x+3 2 = x+1, 1< x<1+δ

Matematiikan peruskurssi 2

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

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

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

A = (a 2x) 2. f (x) = 12x 2 8ax + a 2 = 0 x = 8a ± 64a 2 48a x = a 6 tai x = a 2.

2 Funktion derivaatta

MS-A0102 Differentiaali- ja integraalilaskenta 1

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 6: Alkeisfunktioista

1 Lukujen jaollisuudesta

Matematiikan tukikurssi, kurssikerta 1

MAT Laaja Matematiikka 1U. Hyviä tenttikysymyksiä T3 Matemaattinen induktio

Tenttiin valmentavia harjoituksia

Johdatus matematiikkaan

Funktion määrittely (1/2)

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

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

Matemaattisen analyysin tukikurssi

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?

Matematiikan tukikurssi

MATEMATIIKAN JA TILASTOTIETEEN LAITOS Analyysi I Harjoitus alkavalle viikolle Ratkaisuehdoituksia Rami Luisto Sivuja: 5

5 Differentiaalilaskentaa

Johdatus reaalifunktioihin P, 5op

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Luku 4. Derivoituvien funktioiden ominaisuuksia.

Matematiikan tukikurssi

JATKUVUUS. Funktio on jatkuva jos sen kuvaaja voidaan piirtää nostamatta kynää paperista.

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

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

LASKIN ON SALLITTU ELLEI TOISIN MAINITTU! TARKISTA TEHTÄVÄT KOKEEN JÄLKEEN JA ANNA PISTEESI RUUTUUN!

Kompleksianalyysi Funktiot

0 kun x < 0, 1/3 kun 0 x < 1/4, 7/11 kun 1/4 x < 6/7, 1 kun x 1, 1 kun x 6/7,

Rollen lause polynomeille

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

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

Johdatus matemaattiseen päättelyyn

Miten osoitetaan joukot samoiksi?

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1. Ritva Hurri-Syrjänen/Syksy 1999/Luennot 6. FUNKTION JATKUVUUS

2 exp( 2u), kun u > 0 f U (u) = v = 3 + u 3v + uv = u. f V (v) dv = f U (u) du du f V (v) = f U (u) dv = f U (h(v)) h (v) = f U 1 v (1 v) 2

1. Määritä funktion f : [ 1, 3], f (x)= x 3 3x, suurin ja pienin arvo.

Johdatus matemaattiseen päättelyyn

Analyysi 1. Harjoituksia lukuihin 4 7 / Syksy Tutki funktion f(x) = x 2 + x 2 jatkuvuutta pisteissä x = 0 ja x = 1.

MATP153 Approbatur 1B Harjoitus 6 Maanantai

Kertaus. x x x. K1. a) b) x 5 x 6 = x 5 6 = x 1 = 1 x, x 0. K2. a) a a a a, a > 0

Ratkaisuehdotus 2. kurssikoe

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,...

Reaalifunktiot 1/5 Sisältö ESITIEDOT: funktiokäsite

Tehtävä 1. Miksi seuraavat esimerkit eivät ole funktioita? 1. f : R Z, f(x) = x 2. 2 kun x on parillinen,

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Johdatus matemaattiseen päättelyyn

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

MATP153 Approbatur 1B Harjoitus 5 Maanantai

Potenssi eli potenssiin korotus on laskutoimitus, jossa luku kerrotaan itsellään useita kertoja. Esimerkiksi 5 4 = Yleisesti.

Matematiikan tukikurssi

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

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

Koodausteoria, Kesä 2014

4 Yleinen potenssifunktio ja polynomifunktio

Perustehtävät. Kompleksitehtävät, 10/9/2005, sivu 1 / 10. Tehtävä 1. Sievennä 1.

Eksponentti- ja logaritmifunktiot

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

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

y = 3x2 y 2 + sin(2x). x = ex y + e y2 y = ex y + 2xye y2

Positiivitermisten sarjojen suppeneminen

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 3: Jatkuvuus

Matematiikan tukikurssi: kurssikerta 12

Sinin jatkuvuus. Lemma. Seuraus. Seuraus. Kaikilla x, y R, sin x sin y x y. Sini on jatkuva funktio.

5.6 Yhdistetty kuvaus

Matematiikan perusteet taloustieteilij oille I

Äärettömät raja-arvot

a ord 13 (a)

Matematiikan tukikurssi

Matematiikan johdantokurssi, syksy 2017 Harjoitus 8, ratkaisuista

Ratkaisuehdotus 2. kurssikokeeseen

Algebra I, harjoitus 5,

Kertaus. x x x. K1. a) b) x 5 x 6 = x 5 6 = x 1 = 1 x, x 0. K2. a) a a a a, a > 0

Derivaatan sovellukset (ääriarvotehtävät ym.)

Matematiikan tukikurssi

Vastaoletuksen muodostaminen

Funktiot, L4. Funktio ja funktion kuvaaja. Funktio ja kuvaus. Yhdistetty funktio. eksponenttifunktio. Logaritmi-funktio. Logaritmikaavat.

8 Potenssisarjoista. 8.1 Määritelmä. Olkoot a 0, a 1, a 2,... reaalisia vakioita ja c R. Määritelmä 8.1. Muotoa

(2n 1) = n 2

Ratkaisut vuosien tehtäviin

JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 3, MALLIRATKAISUT

Matematiikan tukikurssi

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

Transkriptio:

MATEMATIIKAN JA TILASTOTIETEEN LAITOS Analyysi I Ohjaus 11 7.1.009 alkavalle viikolle Ratkaisut (AK) Luennoilla on nyt menossa vaihe, missä Hurri-Syrjäsen monistetta käyttäen tutustutaan tärkeiden transkendenttifunktioiden perusominaisuuksiin. Varsinaisten ratkaisujen jäljessä tulee tehtäviin liittyviä kommentteja ja havaintoja, jotka ratkaisija kokee mielenkiintoisina! 1. Osoita juuren määritelmän ja potenssin (eksponenttina kokonaisluku) laskusääntöjen avulla, että kun x > 1, on (a) (b) n xm = ( n x) m ; n xm = np x mp. Ratkaisu: Olkoon n N, n. Luvun x R n:s juuri määritellään seuraavasti: I Juuren indeksi n on parillinen luku Parilliset juuret määritellään vain ei-negatiivisille luvuille: Olkoon indeksi n N parillinen ja x 0. Luvun x n:nnellä juurella n x tarkoitetaan sitä yksikäsitteistä epänegatiivista lukua, jonka n:s potenssi on x. Esimerkiksi 4 16 = sillä 4 = 16 ja 0. Parillisen juuren määritelmä voidaan siis kirjoittaa n x = b b n = x ja b 0. Huomaa, että esimerkissämme myös luku toteuttaa ehdon ( ) 4 = 16. Määritelmän asetuksessa on kuitenkin tehty valinta, että parillisen juuren arvo on aina ei-negatiivinen luku. II Juuren indeksi n on pariton luku Parittomat juuret määritellään kaikille reaaliluvuille: Olkoon indeksi n N pariton ja x R. Luvun x n:nnellä juurella n x tarkoitetaan sitä yksikäsitteistä lukua, jonka n:s potenssi on x. Esimerkiksi 3 64 = 4 sill ( 4) 3 = 64. Parittoman juuren määritelmä voidaan siis kirjoittaa n x = b b n = x. 1

(a) Väite: n x m = ( n x) m Todistus. Tässä x > 1, joten x m > 1, ja juuret n x ja n x m ovat määritellyt kaikilla indeksin n N, n arvoilla. Määritelmän mukaan n xm = ( n x) m [( n x) m ] n = x m. Jos juuren indeksi n on parillinen, niin on lisäksi oltava ( n x) m 0. Koska x > 1 ja juurifunktio (sekä potenssifunktio) on aidosti kasvava (Lause 6.10, moniste s. 45), niin ( n x) m > 1 > 0. Lisäksi potenssin laskusääntöjen nojalla [( n x) m ] n = ( n x) mn = [( n x) n ] m = x m, missä viimeinen yhtäsuuruus seuraa juuren määritelmstä. Olemme siis osoittaneet, että [( n x) m ] n = x m. Juuren määritelmän nojalla väite pitää paikkansa. (b) Väite: n x m = np x mp Todistus. Menettelemme kuten a-kohdassa. Oletuksen mukaan x > 1, joten x m > 1 ja x mp > 1, ja juuret n x m ja np x mp ovat määritellyt kaikilla indeksien n N, n ja p N arvoilla. Määritelmän mukaan np x mp = n x m ( n x m ) np = x mp. Jos juuren indeksi np on parillinen, niin on lisäksi oltava n x m 0. Koska x m > 1 ja juurifunktio on aidosti kasvava (Lause 6.10, moniste s. 45), niin n x m > 1 > 0. Lisäksi potenssin laskusääntöjen nojalla ( n x m ) np = [( n x m ) n ] p = (x m ) p = x mp, missä toinen yhtäsuuruus seuraa juuren määritelmästä. Olemme siis osoittaneet, että ( n x m ) np = x mp. Juuren määritelmän nojalla väite pitää paikkansa.. Osoita, että kaikilla x 0 pätee e x 1 + x. Tutki erotusta. Väliarvolause auttaa. (Jos aikaa jää, niin voit jatkaa seuraavalla väitteellä: Osoita, että kaikilla x 0 pätee e x 1 + x + 1 x.) Ratkaisu: Määritellään funktio f : R R, jolle f(x) = e x x 1 kaikilla x R. Tällöin f (x) = e x 1 0 kaikilla x 0, missä yhtäsuuruus pätee täsmälleen silloin kun x = 0. Tästä voimme edetä kahdella tavalla.

Tapa 1. Lauseen 8.6. (Aidon kasvavuuden lause, moniste s. 57) nojalla funktio f on aidosti kasvava välillä [0, ). Siis f saa tällä välillä pienimmän arvonsa välin vasemmassa päätepisteessä: f(x) f(0) = e 0 0 1 = 0 kaikilla x 0. Näin ollen kaikilla x 0 pätee, että e x x 1 0 eli e x 1 + x. Tapa. Olkoon x > 0. Sovelletaan väliarvolausetta funktioon f välillä [0, x]. Väliarvolauseen nojalla on olemassa ainakin yksi piste ξ ]0, x[, jolla f(x) f(0) = f (ξ) (x 0) f(x) = f (ξ) x. Tässä ξ > 0, joten f (ξ) > 0. Koska myös x > 0, niin f(x) = f (ξ) x > 0. Siis f(x) > 0 kaikilla x > 0. Lisäksi f(0) = 0, joten väite on totta. [Tapa 1 on kenties nopeampi tämän tehtävän väitteen perustelemiseen mutta väliarvolause tulee käyttöön myös sellaisissa tilanteissa, joissa tapa 1 ei tuota tulosta. Sekin on siis hyvä handlata. Vertaa esimerkiksi harjoitusten 11 tehtävään 6!] Jatkoväite: e x 1 + x + 1 x kaikilla x 0. Todistus. Olkoon f : R R funktio, jolle f(x) = e x 1 x x 1 kaikilla x R. Tällöin f (x) = e x x 1. Edellisen kohdan nojalla e x 1 + x kaikilla x 0, joten f (x) = e x x 1 0 kaikilla x 0, missä yhtäsuuruus pätee täsmälleen silloin kun x = 0. Voisimme jälleen edetä kahdella tavalla. Valitaan tapa 1. Lauseen 8.6. (Aidon kasvavuuden lause, moniste s. 57) nojalla funktio f on aidosti kasvava välillä [0, ). Siis f saa tällä välillä pienimmän arvonsa välin vasemmassa päätepisteessä: f(x) f(0) = e 0 0 0 1 = 0 kaikilla x 0. Näin ollen kaikilla x 0 pätee, että e x 1 x x 1 0 eli e x 1 + x + 1 x. 3

3. Osoita määritelmien perusteella, että log a (xy) = log a x + log a y. Tässä a > 1 ja x, y > 0. Voit halutessasi tutkia (ensin) yksinkertaisempaa tapausta, missä a = e. Ratkaisu: Logaritmin määritelmä on peräisin 1500 luvun loppupuolelta ja siitä on kiittäminen skotlantilaista John Napieria ja sveitsiläistä Jobst Bürgia. Olkoot kantaluku a > 0, a 1, ja x positiivinen luku. Luvun x a- kantaisella logaritmilla log a x tarkoitetaan sitä yksikäsitteistä lukua, jonka osoittamaan potenssiin luku a on korotettava, että saataisiin x. Esimerkiksi log 3 = 5 koska 5 = 3. Logaritmin määritelmä voidaan siis kirjoittaa log a x = b a b = x. Määritelmästä seuraa erityisesti, että log a a r = r jokaisella r R (1) ja a log a x = x jokaisella x > 0. () Väite: log a (xy) = log a x + log a y kaikilla a > 1 ja x, y > 0. Todistus. Logaritmin määritelmän mukaan log a x = r a r = x ja Näillä merkinnöillä log a y = s a s = y. log a (xy) = log a (a r a s ) (A) = log a (a r+s ) (B) = r + s. Perusteluja: (A) potenssin laskusääntö (B) logaritmin määritelmä (seuraus (1) ) Siis mikä pitikin todistaa. log a (xy) = r + s = log a x + log a y, 4

4. Johda funktion sinh x käänteisfunktion derivointikaava. Tutki monistetta sivuilta 84 ja 85. Hyperboliset funktiot (hyperbelifunktiot) hyperbelisini, -kosini ja - tangentti määritellään eksponenttifunktion avulla. Nimitys viittaa näiden funktioiden yhteyteen hyperbelin kanssa. Itse asiassa hyperbelifunktiot näyttelevät tasasivuisen hyperbelin (jolla puoliakselit ovat yhtäsuuret) sektorien pinta-alojen laskemisessa samanlaista osaa kuin trigonometriset funktiot ympyräsektorien pinta-alojen määrityksessä. Tähän asiaan palattaneen kevään kurssilla. Hyperbolinen sinifunktio (hyperbelisini) on funktio sinh: R R, jolle sinh x = ex e x jokaisella x R. Perustelemme ensin, miksi hyperbolisella sinillä on käänteisfunktio ja johdamme samalla käänteisfunktion määrittelevän lausekkeen: Väite: Hyperbolinen sinifunktio on bijektio R R. Todistus. Hyperbolinen sini on derivoituva kaikilla x R ja d dx sinh x = 1 (ex + e x ) > 0 kaikilla x R. (3) Lauseen 8.6. (Aidon kasvavuuden lause, moniste s. 57) nojalla hyperbolinen sini on aidosti kasvava funktio. Erityisesti se on siis injektio (eli saa jokaisen arvonsa täsmälleen yhdellä muuttujan x arvolla). Osoitamme seuraavaksi, että se on myös surjektio. Olkoon y R. Osoitamme, että tällöin on olemassa sellainen x R, että sinh x = y: sinh x = y ex e x = y e x e x = y e x (e x e x ) = ye x (e x ) ye x 1 = 0 e x = y ± ( y) 4 1 ( 1) = y ± 4(y + 1) = y ± y + 1. = y ± y + 1 Tässä y + 1 > y kaikilla y R, joten y + 1 > y = y. Näin ollen y y + 1 < y y < 0 kaikilla y R. Negatiivinen ratkaisu on hylättävä, sillä e x > 0 kaikilla x R. Siis sinh x = y e x = y + y + 1 x = ln(y + y + 1). Olemme osoittaneet, että kun y R on annettu, niin löytyy sellainen x R nimittäin x = ln(y + y + 1) että sinh x = y. Hyperbolinen sini on tällä perusteella surjektio ja sillä on käänteisfunktio. 5

Hyperbolisten funktioiden käänteisfunktioita kutsutaan areafunktioiksi. Hyperbolisen sinifunktion käänteisfunktio on area hyperbolinen sini (areahyperbelisini) ar sinh: R R. Edellisessä perustelussa tulimme johtaneeksi lausekkeen, joka määrittelee area hyperbolisen sinin: ar sinh x = ln(x + x + 1) jokaisella x R. Lauseen 6.9. (käänteisfunktion monotonisuus ja jatkuvuus, moniste s. 43) nojalla area hyperbolinen sini on jatkuva ja aidosti kasvava funktio. Lauseen 7.4. (Käänteisfunktion derivoimissääntö, moniste s. 50) ja havainnon (3) nojalla se on myös derivoituva jokaisella x R. Voimme derivoida suoraan: d d ar sinh x = dx dx ln(x + x + 1) = 1 + x x +1 x + x + 1 = ( x + 1 + x) 1 x +1 x + x + 1 Saatiin tehtävässä pyydetty derivointikaava. = 1 x + 1. Kommentteja tehtäviin liittyen Tehtävä 1. Mielenkiintoinen historiallinen huomio: Parillisen juuren arvoa koskeva valinta on historiallisesti melko uusi. Esimerkiksi Algebran oppi- ja esimerkkikirjassa 1 vuodelta 1965 opetetaan mm. seuraavaa: n a (n:s juuri a:sta) tarkoittaa lukua, jonka n:s potenssi on a. Esimerkiksi a) 3 8 = sillä 3 = 8 ja b) 4 = ja, sillä (±) = 4. Positiivisen luvun neliöjuurella on kaksi arvoa, jotka ovat toistensa vastalukuja. Parittomilla juurilla taas on yksi arvo. Jäljempänä oppikirjassa tarkastellaan neliöjuurifunktiota: - - kutakin x:n arvoa vastaa kaksi, yksi tai ei yhtään funktion arvoa sen mukaan, onko x positiivinen, nolla vai negatiivinen. Funktioita, jotka voivat saada samalla muuttujan arvolla kaksi arvoa (ei useampia) sanotaan kaksikäsitteisiksi funktioiksi. Nykyisin tällaista moniarvoisuutta ei hyväksytä funktioilla vaan funktion arvo on aina yksikäsitteinen. Lisäksi neliöjuurifunktion (kuten muidenkin parillisten juurifunktioiden) määrittelyjoukosta rajataan negatiiviset luvut pois. Nykyaikaisella neliöjuurifunktiolla jokaista muuttujan x, x 0, arvoa vastaa täsmälleen yksi funktion arvo. 1 Kalle Väisälä: Algebran oppi- ja esimerkkikirja 1, WSOY, 1965, 7 73, 88 89 6

Huomautus juurista ja murtopotensseista: Koulussa olemme oppineet käyttämään merkintää n x = x 1/n missä n N, n ja x 0 tai x R riippuen siitä, onko indeksi n parillinen vai pariton. Tämä merkintä ei kuitenkaan ole mielekäs siinä tapauksessa, kun indeksi n on pariton ja luku x on negatiivinen! Murtopotenssifunktio x x 1/n, missä n N ja n, on nimittäin määritelty ainoastaan epänegatiivisille luvuille x. Tällöin luvulla x 1/n tarkoitetaan sitä yksikäsitteistä epänegatiivista lukua, jonka n:s potenssi on x. Esimerkiksi merkinnässä 3 8 = ( 8) 1/3 yhtälön vasen puoli on määritelty, se on luku, mutta oikea puoli on määrittelemätön. Voisimme tietenkin määritellä, että myös ( 8) 1/3 =. Tämä määritelmä ei kuitenkaan ole mielekäs: joutuisimme joko kieltämään murtopotenssin laventamisen tai toteamaan, etteivät potenssien laskusäännöt ole voimassa murtopotensseille. Muutoin joutuisimme välittömästi ristiriitoihin. Nimittäin, jos määrittelisimme, että ( 8) 1/3 = emmekä kieltäisi murtopotenssin laventamista sekä olettaisimme, että potenssin laskusäännöt ovat edelleen voimassa, saisimme seuraavaa: = ( 8) 1/3 = ( 8) /6 = [( 8) ] 1/6 = 64 1/6 =. Tässä luonnollisin valinta on määritellä murtopotenssi vain epänegatiivisille kantaluvuille. Ole siis varovainen, kun käytät merkintää n x = x 1/n. Tehtävä. Jatkopohdintaa Tehtävän ideoita voidaan jatkaa eteenpäin: e x 1+x+ 1 x + 1 6 x3 kaikilla x 0. Tämä perustellaan määrittelemällä funktio f : R R, jolle f(x) = e x 1 6 x3 1 x x 1 kaikilla x R. Derivoidaan: f (x) = e x 1 x x 1. Edellisen lisäväitteen todistuksen perusteella f (x) 0 kaikilla x 0 ja yhtäsuuruus on voimassa täsmälleen silloin, kun x = 0. Näin ollen funktio f on aidosti kasvava välillä [0, ) ja saa tällä välillä pienimmän arvonsa kohdassa x = 0: f(x) f(0) = 0 kaikilla x 0. Tämä osoittaa, että väite on totta. Samoja ideoita käyttäen voidaan induktiolla osoittaa, että kaikilla x 0 ja kaikilla k N pätee e x 1 + x + 1 x + 1 6 x3 +... + 1 k! xk. 7