Geometrijska z diofantskim pridihom

Andrej je objavil naslednjo nalogo:

Če brez prekrivanja dodamo v vogal trikotnika še dva mnogokotnika, dobimo zgornjo skico. Ali lahko to naredimo še s kakšnim parom mnogokotnikov, od katerih bi imel eden več stranic?

Rešitev: Spomnimo se, da je velikost notranjega kota v pravilnem n-kotniku enaka (n-2)\frac{180^o}{n} ali v radianih (n-2)\frac{\pi}{n}, pa lahko za kot v skupnem oglišču večkotnikov zapišemo

    \[\frac{\pi}{3}+(m-2)\frac{\pi}{m}+(n-2)\frac{\pi}{n}=2\pi.\]

Po ureditvi dobimo lepo diofanstko enačbo

    \[mn-6m-6n=0.\qquad(1)\]

Iščemo torej taki naravni števili m in n, ki tej enačbi zadoščata. Prištejmo na obeh straneh enačbe 36 in levo stran razcepimo. Dobimo

    \[(m-6)(n-6)=36\]

Na levi strani enačbe sta dva faktorja, torej morata biti tudi na desni dva. Ker je

    \[36=1\cdot36=2\cdot 18=3\cdot 12=4\cdot 9=6\cdot 6,\]

vidimo, da so rešitve enačbe (1) naslednji pari (m,n):

    \[(7,42),\quad (8,24),\quad (9,18),\quad (10,15),\quad(12,12).\]

Na zgornji skici je narisana srednja rešitev, devetkotnik  in osemnajstkotnik. Možnosti sta torej še dve: osemkotnik  in štiriindvajsetkotnik ter sedemkotnik in dvainštiridesetkotnik.

O neki vrsti verižnih ulomkov

Oglejmo si naslednje verižne ulomke

    \[x_1=1+\cfrac{3}{2+\cfrac{3}{2+\cfrac{3}{2+\cfrac{3}{\ddots}}}},\]

    \[x_2=1+\cfrac{8}{2+\cfrac{8}{2+\cfrac{8}{2+\cfrac{8}{\ddots}}}},\]

    \[x_3=1+\cfrac{15}{2+\cfrac{15}{2+\cfrac{15}{2+\cfrac{15}{\ddots}}}},\]

    \[x_4=1+\cfrac{24}{2+\cfrac{24}{2+\cfrac{24}{2+\cfrac{24}{\ddots}}}},\]

    \[x_5=1+\cfrac{35}{2+\cfrac{35}{2+\cfrac{35}{2+\cfrac{35}{\ddots}}}},\]

itd.

Najprej opazimo, da se ti verižni ulomki razlikujejo samo v števcih, zato najprej pomislimo, da so morda narejeni na enak način, po isti šabloni.  Vrednost ulomkov lahko tudi najprej uganemo, npr, tako, da izračunamo nekaj zaporednih približkov vsakega od njih. Dobimo naslednje vrednosti

    \[x_i=i+1;\qquad i=1,..,5\]

Nato si ogledamo te vrednosti ter števce verižnih ulomkov. Dovolj oster pogled razkrije, da so števci v verižnem ulomku x enaki x^2-1, torej

    \[x=1+\cfrac{x^2-1}{2+\cfrac{x^2-1}{2+\cfrac{x^2-1}{2+\cfrac{x^2-1}{\ddots}}}}\]

ali

    \[x=1+\cfrac{x^2-1}{1+1+\cfrac{x^2-1}{1+1+\cfrac{x^2-1}{1+1+\cfrac{x^2-1}{\ddots}}}}.\]

Od tod pa hitro prepoznamo

    \[x=1+\frac{x^2-1}{1+x},\]

oziroma znan obrazec iz osnovne šole

    \[x-1=\frac{x^2-1}{1+x}.\]

To je tisto kopito, po katerem so sestavljeni zgornji verižni ulomki. Sestavite še kakšnega sami.

Naloga: Tudi verižni ulomek

    \[[1;1,\overline{2}]=1+\cfrac{1}{2+\cfrac{1}{2+\cfrac{1}{2+\cfrac{1}{\ddots}}}}\]

spada v to skupino. Zakaj? Kolikšna je njegova vrednost? Sestavi še kakšen tovrstni verižni ulomek iracionalne vrednosti.

Stewartov izrek

Imejmo trikotnik ABC in na stranici c poljubno točko D.  Zveznico \overline{CD} označimo z d. Med geometrijskimi izreki, ki se jih v srednji šoli običajno preskoči, je tudi Stewartov izrek 

Izrek trdi naslednje:

    \[m^2a+n^2b=c(d^2+mn).\]

Dokaz: Kota \angle ADC in \angle CDB sta suplementarna, označimo ju z \varphi in 180^o-\varphi. Ker je \cos(\varphi)=-cos(180^o-\varphi),  zapišemo za levi in desni trikotnik cosinusov izrek

    \[\frac{d^2+m^2-b^2}{2dm}=-\frac{d^2+n^2-a^2}{2dn}.\]

Preuredimo in dvakrat upoštevamo m+n=c, pa res pridemo do navedenega izreka.

Naloga:

  1. Zapiši ta izrek za enakokrak trikotnik.
  2. Dokaži Stewartov izrek samo s Pitagorovim izrekom! Namig: Najprej na skici potegni pravo črto!