Pitkän matematiikan ylioppilaskokeen ratkaisut syksyllä 2000

Ohessa syksyn 2000 ylioppilaskirjoitusten pitkän matematiikan tehtävät ratkaistuina Mathematicalla.

Pohdittavaksi: Pitäisikö tällaiset työkalut sallia ylioppilaskirjoituksissa jossakin läheisessä tulevaisuudessa? Millaista matematiikkaa koulussa tulisi opettaa? Menetetäänkö jotakin olennaista, jos ohjelmistojen käyttö sallitaan?

Simo K. Kivelä

•Tehtävä 1

In[1]:=

(x^(n - 1))^(n - 1) (x^n)^(2 - n) // PowerExpand // Simplify

Out[1]=

x

In[2]:=

a^(1/3) ((a^2)^(1/3) - (a^5)^(1/3)) // PowerExpand // Expand

Out[2]=

a - a^2

•Tehtävä 2

In[3]:=

yhtalo = Sqrt[x - 2] == 1 + 2/Sqrt[x - 2]

Out[3]=

(-2 + x)^(1/2) == 1 + 2/(-2 + x)^(1/2)

In[4]:=

Solve[yhtalo, x]

Out[4]=

{{x -> 6}}

•Tehtävä 3

In[5]:=

aika1 = s/v

Out[5]=

s/v

In[6]:=

aika2 = 0.6 s/v + 0.4 s/(1.2 v)

Out[6]=

(0.9333333333333333` s)/v

In[7]:=

100 (aika1 - aika2)/aika1

Out[7]=

6.666666666666665`

•Tehtävä 4

In[8]:=

ehto1 = h/x == Tan[3.5 Degree]

Out[8]=

h/x == 0.061162620150484306`

In[9]:=

ehto2 = h/y == Tan[2.5 Degree]

Out[9]=

h/y == 0.04366094290851206`

In[10]:=

ehto3 = y == x + 500

Out[10]=

y == 500 + x

In[11]:=

Solve[{ehto1, ehto2, ehto3}, {x, y, h}]

Out[11]=

{{h -> 76.29033576625302`, x -> 1247.3359640013546`, y -> 1747.3359640013546`}}

•Tehtävä 5

In[12]:=

oletus1 = x + y + z == 0

Out[12]=

x + y + z == 0

In[13]:=

oletus2 = x^2 + y^2 + z^2 == 1

Out[13]=

x^2 + y^2 + z^2 == 1

In[14]:=

vaitos = x y + y z + z x == -1/2

Out[14]=

x y + x z + y z == -1/2

In[15]:=

Simplify[vaitos, {oletus1, oletus2}]

Out[15]=

True

•Tehtävä 6

In[16]:=

p[x_] := a x^3 + b x^2 + c x + d

In[17]:=

ehto1 = p[2] == 0

Out[17]=

8 a + 4 b + 2 c + d == 0

In[18]:=

ehto2 = p '[2] == 0

Out[18]=

12 a + 4 b + c == 0

In[19]:=

ehto3 = p[3] == 15

Out[19]=

27 a + 9 b + 3 c + d == 15

In[20]:=

ehto4 = p '[1] == 0

Out[20]=

3 a + 2 b + c == 0

In[21]:=

kertoimet = Solve[{ehto1, ehto2, ehto3, ehto4}, {a, b, c, d}]

Out[21]=

{{a -> 6, b -> -27, c -> 36, d -> -12}}

In[22]:=

p[x] /. First[kertoimet]

Out[22]=

-12 + 36 x - 27 x^2 + 6 x^3

•Tehtävä 7

p2 = todennäköisyys sille, että ainakin kaksi itää

In[23]:=

p2 = 1 - Sum[Binomial[n, k] p^k (1 - p)^(n - k), {k, 0, 1}]

Out[23]=

1 - (1 - p)^n - n (1 - p)^(-1 + n) p

In[24]:=

Solve[(p2 /. p -> 0.7) == 0.99, n]

InverseFunction :: ifun :  Inverse functions are being used. Values may be lost for multivalued inverses.

Solve :: ifun :  Inverse functions are being used by  Solve , so some solutions may not be found.

Out[24]=

{{n -> -0.4260053255703043`}, {n -> 6.085172730272353`}}

Tai:

In[25]:=

Table[p2 /. p -> 0.7, {n, 0, 10}]

Out[25]=

{0, 0, 0.4899999999999999`, 0.7839999999999999`, 0.9163`, 0.96922`, 0.989065`, 0.9962092`, 0.99870967`, 0.999566974`, 0.9998563141000001`}

Siis: vähintään 7.

•Tehtävä 8

In[26]:=

Remove["Global`*"]

In[27]:=

p = {p1, p2} ; a = {a1, a2} ; b = {b1, b2} ; c = {c1, c2} ;

In[28]:=

oletus1 = (p - a) . (b - c) == 0

Out[28]=

(b1 - c1) (-a1 + p1) + (b2 - c2) (-a2 + p2) == 0

In[29]:=

oletus2 = (p - b) . (c - a) == 0

Out[29]=

(-a1 + c1) (-b1 + p1) + (-a2 + c2) (-b2 + p2) == 0

In[30]:=

vaitos = (p - c) . (a - b) == 0

Out[30]=

(a1 - b1) (-c1 + p1) + (a2 - b2) (-c2 + p2) == 0

In[31]:=

Simplify[vaitos, {oletus1, oletus2}]

Out[31]=

True

P on kolmion korkeusjanojen leikkauspiste. Lause: Korkeusjanat leikkaavat samassa pisteessä.

•Tehtävä 9

In[32]:=

r = 1/2

Out[32]=

1/2

Piirretään kuvio:

In[33]:=

ympyra = ParametricPlot[r {Cos[t], Sin[t]}, {t, 0, 2 π}, DisplayFunction -> Identity]  ... pyra, janat, kaari, tekstit, DisplayFunction -> $DisplayFunction, AspectRatio -> Automatic]

ParametricPlot :: ppcom :  Function  0.1` \ r \ {Cos[t], Sin[t]}  cannot be compiled; plotting will proceed with the uncompiled function.

[Graphics:HTMLFiles/s00prtk_66.gif]

Out[37]=

-Graphics -

In[38]:=

d = Sqrt[r^2 + r^2 - 2 r^2 Cos[π - x]]

Out[38]=

(1/2 + Cos[x]/2)^(1/2)

In[39]:=

v1 = 10

Out[39]=

10

In[40]:=

v2 = 5

Out[40]=

5

t(x) on kokonaisaika:

In[41]:=

t[x_] := Evaluate[r x/v1 + d/v2]

Derivaatan nollakohdat ja välin päätepisteet:

In[42]:=

nollakohdat = Solve[t '[x] == 0, x]

Solve :: verif :  Potential solution  {x -> π}  (possibly discarded by verifier) should be checked by hand. May require use of limits.

Solve :: verif :  Potential solution  {x -> -π}  (possibly discarded by verifier) should be checked by hand. May require use of limits.

Solve :: verif :  Potential solution \!\({x -> \*InterpretationBox[\"ComplexInfinity\& ... inity[]]}\) (possibly discarded by verifier) should be checked by hand. May require use of limits.

General :: stop :  Further output of  Solve :: \" verif \"  will be suppressed during this calculation.

Solve :: ifun :  Inverse functions are being used by  Solve , so some solutions may not be found.

Out[42]=

{{x -> π/3}}

In[43]:=

t[x] /. First[nollakohdat] // N

Out[43]=

0.2255649583167176`

In[44]:=

t[0] // N

Out[44]=

0.2`

In[45]:=

t[π] // N

Out[45]=

0.15707963267948966`

t(x) pienin, kun x = π, ts. suo on kierrettävä.

•Tehtävä 10

In[46]:=

Remove["Global`*"]

In[47]:=

a[n_] := (n^3 + 5 n)/6

Induktion alku:

In[48]:=

a[1]

Out[48]=

1

Induktioaskel:

Luontevaa olisi testata, tuleeko seuraavaan syötteeseen vastaukseksi True, mutta Mathematica ei kykene sieventämään lausekkeita tarvittavalla tavalla:

In[49]:=

Simplify[Element[Expand[a[n + 1]], Integers], {Element[n, Integers], Element[a[n], Integers]}]

Out[49]=

1/6 (6 + 8 n + 3 n^2 + n^3) ∈ Integers

Ainoa mahdollisuus lienee, että ihminen huomaa

In[50]:=

a[n + 1] == a[n] + n (n + 1)/2 + 1 // Simplify

Out[50]=

True

ja päättelee asian tästä.

•Tehtävä 11

Aluksi kuvio ja eräitä määrittelyjä:

In[51]:=

yhtalo1 = 3 x - 4 y - 4 == 0 ; yhtalo2 = x - 2 y + 2 == 0 ; suora1 = ParametricPlot[Evaluate[{ ... Map[Point, pisteet]}] ; Show[suora1, suora2, porrasviiva, DisplayFunction -> $DisplayFunction]

[Graphics:HTMLFiles/s00prtk_99.gif]

Out[60]=

-Graphics -

Matka porrasviivaa pitkin pisteestä P _ (n - 1) pisteeseen P _ n:

In[61]:=

porras[n_] := (q[n - 1][[2]] - p[n - 1][[2]]) + (p[n][[1]] - q[n - 1][[1]])

In[62]:=

Table[porras[n], {n, 1, 10}]

Out[62]=

{14/3, 28/9, 56/27, 112/81, 224/243, 448/729, 896/2187, 1792/6561, 3584/19683, 7168/59049}

In[63]:=

Table[porras[n + 1]/porras[n], {n, 1, 10}]

Out[63]=

{2/3, 2/3, 2/3, 2/3, 2/3, 2/3, 2/3, 2/3, 2/3, 2/3}

Siis kyseessä geometrinen jono, jonka suhdeluku on 2/3. Matka pisteestä P _ 0 pisteeseen P _ n:

In[64]:=

matka = Sum[porras[1] (2/3)^k, {k, 0, n - 1}]

Out[64]=

-14 (-1 + (2/3)^n)

In[65]:=

Limit[matka, n -> Infinity]

Out[65]=

14

Vertaa suorien leikkauspisteen ja pisteen P _ 0 koordinaattien erotusten summaan:

In[66]:=

lp = {x, y} /. First[Solve[{yhtalo1, yhtalo2}, {x, y}]]

Out[66]=

{8, 5}

In[67]:=

(lp[[1]] - p[0][[1]]) + (lp[[2]] - p[0][[2]])

Out[67]=

14

•Tehtävä 12

In[68]:=

yhtalo = Log[x, y] == Log[y, x]

Out[68]=

Log[y]/Log[x] == Log[x]/Log[y]

In[69]:=

Solve[yhtalo, y]

Out[69]=

{{y -> 1/x}, {y -> x}}

In[70]:=

<< Graphics`ImplicitPlot`

In[71]:=

ImplicitPlot[yhtalo, {x, 0.01, 5}, {y, 0.01, 5}, PlotPoints -> {100, 100}]

[Graphics:HTMLFiles/s00prtk_126.gif]

Out[71]=

-ContourGraphics -

Mutta kuvassa on liikaa viivoja !!!

•Tehtävä 13

In[72]:=

f[x_] := Integrate[Sqrt[t^2 + 1], {t, x, 3 x}]

In[73]:=

derivaatta = f '[x] // FullSimplify

Out[73]=

-(1 + x^2)^(1/2) + 3 (1 + 9 x^2)^(1/2)

In[74]:=

Solve[derivaatta == 0, x]

Out[74]=

{{x -> -i/10^(1/2)}, {x -> i/10^(1/2)}}

Ei reaalisia nollakohtia eikä siis ääriarvoja.

In[75]:=

Plot[f[x], {x, -5, 5}]

[Graphics:HTMLFiles/s00prtk_134.gif]

Out[75]=

-Graphics -

•Tehtävä 14

In[76]:=

Remove["Global`*"]

In[77]:=

ehto1 = y '[x] == 1/2 y[x]/x

Out[77]=

y^'[x] == y[x]/(2 x)

In[78]:=

ehto2 = y[4] == 1

Out[78]=

y[4] == 1

In[79]:=

DSolve[{ehto1, ehto2}, y[x], x]

Out[79]=

{{y[x] -> x^(1/2)/2}}

•Tehtävä 15

In[80]:=

testi[{x_, y_}] := 10 x + 4 y == 36

In[81]:=

Select[Flatten[Table[{x, y}, {x, -20, 20}, {y, -20, 20}], 1], testi]

Out[81]=

{{-4, 19}, {-2, 14}, {0, 9}, {2, 4}, {4, -1}, {6, -6}, {8, -11}, {10, -16}}

In[82]:=

testi[{2 + 2 u, 4 - 5 u}] // Simplify

Out[82]=

True

Ratkaisu siis on x = 2 + 2 u, y = 4 - 5 u, missä u on kokonaisluku.


Converted by Mathematica  (February 20, 2004)