Kvadratni koren števila 3

	Predloga:Iracionalna števila
dvojiško	Predloga:Gaps
desetiško	Predloga:Gaps
šestnajstiško	Predloga:Gaps
šestdesetiško	1; 43, 55, 22, 58, 27, 57, 56, ...
verižni ulomek	[1;1,2‾]; Predloga:Small

Kvadratni koren števila 3 je pozitivno realno število, ki pomnoženo samo s seboj da naravno število 3. Točneje se imenuje glavni kvadratni koren števila 3, da se ga ločuje od negativnega števila z enako značilnostjo. Označuje se v obliki surda:

\sqrt{3}

ali √3,

lahko pa se ga zapiše tudi s potenčnim zapisom kot:

3^{1 / 2}

ali 3^1/2, oziroma z zapisom Unicode 3^½.

Njegova vrednost na 65 desetiških mest je Predloga:OEIS:

Predloga:Gaps

Do sedaj so izračunali vsaj deset milijard števk (10Predloga:E).^[1] Zaokrožena vrednost 1,732 je točna z napako manjšo od 0,01 % dejanske vrednosti. Dober približek z ulomkom je:

\sqrt{3} \approx \frac{97}{56} = 1, 732 \overline{142857}

s periodo dolžine 6.

Ni znano ali je $\sqrt{3}$ normalno število.

Zgodovina

Baudhajana je včasih za $\sqrt{3}$ uporabljal peti racionalni približek $\frac{26}{15}$ . Poznal je tudi enajsti racionalni približek:

\sqrt{3} \approx 1 + \frac{2}{3} + \frac{1}{3 \cdot 5} - \frac{1}{3 \cdot 5 \cdot 52} = \frac{1351}{780} = 1, 73 \overline{205128} .

^[2]

Arhimed je v delu Merjenje kroga navedel vrednost:^[2]^[3]^[4]^[5]

\frac{265}{153} < \sqrt{3} < \frac{1351}{780},

točno na $\frac{2}{23409}$ (4 desetiška mesta) in $\frac{1}{608400}$ (6 desetiških mest). Pri tem ni navedel točnega postopka,^[6] verjetno pa je uporabil iteracijo,^[7] neko vrsto intepolacijske metode ali kombinacijo več metod.^[8] Na ta način je sicer najboljša spodnja meja enaka:

\frac{989}{571} < \sqrt{3},

ni pa jasno zakaj je Arhimed ni navedel. Mogoče je potreboval boljšo zgornjo mejo in je računal naprej, spodnje meje pa ni navajal. Čeprav svojih metod ni pojasnil, se lahko približka dobita na enak način kot rešitev Pellove enačbe za n = 3:

x^{2} - 3 y^{2} = 1 .

^[3]

To je vodilo do razprav koliko te teorije števil je bilo dostopno Arhimedu. Razprava gre vsaj do de Lagnyja leta 1723, obravnaval pa jo je bolj eksplicitno Zeuthen. Hultsch (1833–1906) in Hunrath (rojen 1847) sta poudarila, da se meji lahko izračunata hitro s preprostima binomskima mejama na kvadratnih korenih, kar je sorodno metodi s popolnim kvadratom v Evklidovih Elementih (2.4, 7). To metodo je zagovarjal Heath. Čeprav je omenjena samo ena pot do mej, sta v bistvu še dve drugi in meje so neodvisne od metode. Meji se lahko izračunata tudi z iterativno geometrijsko konstrukcijo, ki jo je predlagal Arhimed v delu Ostomahion pri računanju pravilnega dvanajstkotnika. V tem primeru je naloga poiskati racionalne približke funkcije tangensa π/12.

Kvadratni koren števila 3 je iracionalno algebrsko število. Znano je tudi kot Teodorova konstanta, imenovana po Teodoru Kirenskem. Teodor je dokazal, da so kvadratni koreni števil od 3 do 17 brez popolnih kvadratov 4, 9 in 16 iracionalna števila.

Dokazi iracionalnosti

Dokaz z neskončnim spustom

Dokaz iracionalnosti kvadratnega korena števila 3 vsebuje Fermatovo metodo neskočnega spusta:

Predpostavi se, da je $\sqrt{3}$ racionalno število in se ga izrazi s pokrajšanimi členi (kot popolnoma okrajšani ulomek) $\frac{m}{n}$ za naravni števili Predloga:Math in Predloga:Math.

Če se ulomek pomnoži z 1, bo vrednost ostala nespremenjena:

\frac{m (\sqrt{3} - q)}{n (\sqrt{3} - q)},

kjer je Predloga:Mvar največje celo število manjše od $\sqrt{3}$ . Pri tem sta števec in imenovalec pomnožena s številom manjšim od 1.

Z množenjem je:

\frac{m \sqrt{3} - m q}{n \sqrt{3} - n q} .

Od tod sledi, da se Predloga:Math lahko zamenja z $n \sqrt{3}$ :

\frac{n {\sqrt{3}}^{2} - m q}{n \sqrt{3} - n q} .

Tako se lahko tudi $\sqrt{3}$ zamenja z $\frac{m}{n}$ v imenovalcu:

\frac{n {\sqrt{3}}^{2} - m q}{n \frac{m}{n} - n q} .

Kvadrat $\sqrt{3}$ je enak 3. Ker je $\frac{m}{n}$ pomnoženo z Predloga:Math, je njun produkt enak Predloga:Math:

\frac{3 n - m q}{m - n q} .

Tako se lahko $\sqrt{3}$ izrazi z nižjimi členi od $\frac{m}{n}$ (ker je prvi korak zmanjšal velikost števca in imenovalca, naslednji koraki pa ju niso spremenili) kot $\frac{3 n - m q}{m - n q}$ , kar je protislovje domnevi, da je imel $\frac{m}{n}$ najmanjše člene.^[9]

Dokaz s protislovjem

Pri drugem dokazu se predpostavi, da je $\sqrt{3} = \frac{m}{n}$ , kjer je $\frac{m}{n}$ popolnoma okrajšani ulomek:

Če se oba člena pomnožita z Predloga:Math in nato kvadrirata, je:

3 n^{2} = m^{2} .

Ker je leva stran deljiva s 3, je deljiva tudi desna, kar zahteva, da je Predloga:Math deljiv s 3. Zato se lahko Predloga:Math izrazi kot mnogokratnik Predloga:Math:

3 n^{2} = (3 k)^{2} = 9 k^{2} .

Če se oba člena deli s 3, se tako dobi:

n^{2} = 3 k^{2} .

Ker je desna stran deljiva s 3, je tudi leva, in zato tudi Predloga:Math. Ker sta Predloga:Math in Predloga:Math oba deljiva s 3, imata skupni faktor, in $\frac{m}{n}$ ni popolnoma okrajšani ulomek, kar nasprotuje izvirni premisi.

Značilnosti

Geometrija in trigonometrija

Enakostranični trikotnik z dolžino stranice 2 ima dolžino višine enako $\sqrt{3}$ .

Kvadratni koren števila 3 je enak dolžini stranice enakostraničnega trikotnika z očrtano krožnico s premerom 1.

Če se enakostranični trikotnik s stranicami dolžine 1 razdeli na dve enaki polovici z razpolovitvijo notranjega kota, kjer imata nastala pravokotna trikotnika hipotenuzi enaki 1, kateti pa imata dolžini $\frac{1}{2}$ in $\frac{\sqrt{3}}{2}$ . Tako je trigonometrična funkcija tangens 60° enaka $\sqrt{3}$ , sinus 60° in kosinus 30° pa sta oba enaka $\frac{\sqrt{3}}{2}$ .

$\sqrt{3}$ je enako razdalji med vzporednima stranicama pravilnega šestkotnika z dolžino stranice 1, oziroma dvakratniku dolžine apoteme. V kompleksni ravnini se to izrazi kot $i \sqrt{3}$ .

$\sqrt{3}$ je enako dolžini telesne diagonale enotske kocke.

$\sqrt{3}$ je enako površini tetraedra z robom dolžine 1.

Kvadratni koren števila 3 se pojavlja tudi v algebrskih izrazih za različne točne trigonometrične konstante:^[10] sinusi 3°, 12°, 15°, 21°, 24°, 33°, 39°, 48°, 51°, 57°, 66°, 69°, 75°, 78°, 84° in 87°.

Obratna vrednost

Diara (vesica piscis) ima razmerje med veliko in manjšo osjo enako obratni vrednosti $\sqrt{3}$ Predloga:OEIS:

\frac{1}{\sqrt{3}} = 0, 5773502691896257645091487805019574556476017512701268760186023264 \dots,

kar se lahko pokaže s konstrukcijo dveh enakostraničnih trikotnikov znotraj lika.

Drugo

Velja naslednja zveza:

\sqrt{3} = \frac{Γ (1 / 6) Γ (5 / 6)}{Γ (1 / 3) Γ (2 / 3)},

kjer je $Γ$ funkcija Γ.

Verižni ulomek

Število $\sqrt{3}$ je kvadratno iracionalno število in je zato njegov razvoj v neskončni verižni ulomek periodičen Predloga:OEIS:

\begin{matrix} \sqrt{3} & = 1 + \frac{1}{1 + \frac{1}{2 + \frac{1}{1 + \frac{1}{2 + \frac{1}{1 + ⋱}}}}} \equiv [1; 1, 2, 1, 2, 1, 2, 1, \dots] \equiv [1; \overline{1, 2}] \\ = {1, 2, \frac{3}{2}, \frac{5}{3}, \frac{7}{4}, \frac{12}{7}, \frac{19}{11}, \frac{26}{15}, \frac{45}{26}, \frac{71}{41}, \frac{97}{56}, \frac{168}{97}, \frac{265}{153}, \frac{362}{209}, \frac{627}{362}, \frac{989}{571}, \frac{1351}{780}, \frac{2340}{1351}, \frac{3691}{2131}, \frac{5042}{2911}, \\ \frac{8733}{5042}, \frac{13775}{7953}, \dots} . \end{matrix}

Konvergenti verižnega ulomka so označeni z rdečo, njihovi števci so: 1, 2, 5, 7, 19, 26, 71, 97, ... Predloga:OEIS, imenovalci pa: 1, 1, 3, 4, 11, 15, 41, 56, ... Predloga:OEIS. Drugi členi, označeni s črno, so polkonvergenti. Vrednost vsakega prvega polkonvergenta mora biti boljša od vrednosti predhodnega konvergenta. V primeru verižnega ulomka za $\sqrt{3}$ so vse vrednosti boljše in tako so vsi polkonvergenti ustrezni.

Lahko se ga izrazi tudi s posplošenimi verižnimi ulomki, kot je na primer:

[2; - 4, - 4, - 4, . . .] = 2 - \frac{1}{4 - \frac{1}{4 - \frac{1}{4 - ⋱}}},

kar je Predloga:Nowrap izračunano za vsak drugi člen.

Kvadratni koren števila −3

Množenje $\sqrt{3}$ z imaginarno enoto da kvadratni koren števila −3, imaginarno število. Točneje:

\sqrt{- 3} = \pm \sqrt{3} i .

Je Eisensteinovo celo število. Izraženo je kot razlika med nerealnimi kubičnimi koreni iz 1, (ki so Eisensteinova cela števila).

Računanje

Konvergenčna metoda

Za računanje $\sqrt{3}$ obstaja več metod.^[4]^[8]^[11] Ena od njih uporablja rekurzivno zaporedje in da vse delne količnike neskončnega verižnega ulomka:

a_{1} = ⌊ \sqrt{k} ⌋, a_{n + 1} = \frac{a_{n} + k}{a_{n} + 1}, (n = 1, 2, 3, \dots),

kjer je $⌊ \sqrt{k} ⌋$ celi del števila $k$ . Za $k = 3$ so prvi približki:

Predloga:Refbegin

a_{1} = ⌊ \sqrt{3} ⌋ = 1,

a_{2} = \frac{a_{1} + 3}{a_{1} + 1} = 2,

a_{3} = \frac{a_{2} + 3}{a_{2} + 1} = \frac{5}{3} = 1, \overline{6},

a_{4} = \frac{a_{3} + 3}{a_{3} + 1} = \frac{7}{4} = 1, 75,

a_{5} = \frac{a_{4} + 3}{a_{4} + 1} = \frac{19}{11} = 1, \overline{72},

a_{6} = \frac{a_{5} + 3}{a_{5} + 1} = \frac{26}{15} = 1, 7 \overline{3},

a_{7} = \frac{a_{6} + 3}{a_{6} + 1} = \frac{71}{41} = 1, \overline{73170},

a_{8} = \frac{a_{7} + 3}{a_{7} + 1} = \frac{97}{56} = 1, 732 \overline{142857},

a_{9} = \frac{a_{8} + 3}{a_{8} + 1} = \frac{265}{153} = 1, \overline{7320261437908496},

a_{10} = \frac{a_{9} + 3}{a_{9} + 1} = \frac{362}{209} = 1, \overline{732057416267942583},

\begin{matrix} a_{11} & = \frac{a_{10} + 3}{a_{10} + 1} = \frac{989}{571} \\ = 1, \overline{732049036777583187390542907180 \dots}, \end{matrix}

...

Predloga:Refend

Približki z lihimi indeksi strogo naraščajo in so manjši od $\sqrt{3}$ , približki s sodimi indeksi pa strogo padajo in so večji od $\sqrt{3}$ .

Babilonska metoda

V drugi rekurzivni metodi, ki uporablja aritmetično sredino, približki konvergirajo kvadratično in zaporedje je monotono padajoče. n-ti člen je enak 2^n-1-temu konvergentu neskončnega verižnega ulomka. Metodo pripisujejo Heronu,^[8]^[12] znana pa je bila verjetno že Babiloncem:

a_{1} = ⌊ \sqrt{k} ⌋, a_{n + 1} = \frac{1}{2} (a_{n} + \frac{k}{a_{n}}), (n = 1, 2, 3, \dots),

Predloga:Refbegin

a_{1} = ⌊ \sqrt{3} ⌋ = 1,

a_{2} = \frac{1}{2} (a_{1} + \frac{3}{a_{1}}) = 2,

a_{3} = \frac{1}{2} (a_{2} + \frac{3}{a_{2}}) = \frac{7}{4} = 1, 75,

a_{4} = \frac{1}{2} (a_{3} + \frac{3}{a_{3}}) = \frac{97}{56} = 1, 732 \overline{142857},

\begin{matrix} a_{5} & = \frac{1}{2} (a_{4} + \frac{3}{a_{4}}) = \frac{18817}{10864} \\ = 1, 7320 \overline{50810014727540500736377025 \dots}, \end{matrix}

\begin{matrix} a_{6} & = \frac{1}{2} (a_{5} + \frac{3}{a_{5}}) = \frac{708158977}{408855776} \\ = 1, 73205 \overline{0807568877295254353946072 \dots}, \end{matrix}

...

Predloga:Refend

Prvi člen je lahko tudi drug, ki je bližje iskanemu številu, na primer naslednji lihi približek iz prve metode $\frac{5}{3}$ , kar da:

Predloga:Refbegin

a_{1} = \frac{5}{3} = 1, \overline{6},

a_{2} = \frac{1}{2} (a_{1} + \frac{3}{a_{1}}) = \frac{26}{15} = 1, 7 \overline{3},

a_{3} = \frac{1}{2} (a_{2} + \frac{3}{a_{2}}) = \frac{1351}{780} = 1, 73 \overline{205128},

\begin{matrix} a_{4} & = \frac{1}{2} (a_{3} + \frac{3}{a_{3}}) = \frac{3650401}{2107560} \\ = 1, 732 \overline{050807568942283968190703941 \dots}, \end{matrix}

\begin{matrix} a_{5} & = \frac{1}{2} (a_{4} + \frac{3}{a_{4}}) = \frac{26650854921601}{15386878263120} \\ = 1, 7320 \overline{50807568877293527446342725 \dots}, \end{matrix}

...

Predloga:Refend

Druge uporabe

Elektroenergetika

V elektroenergetiki je električna napetost med dvema fazama v trifaznem toku enaka $\sqrt{3}$ krat voda nevtralne napetosti. To je zato ker sta poljubni dve fazi razmaknjeni za kot 120°. Dve točki na krožnici pod kotom 120° sta oddaljeni med seboj za dolžino $\sqrt{3}$ krat polmer krožnice.

Glej tudi

Sklici

Predloga:Sklici

Viri

Predloga:Refbegin

Predloga:Refend

Zunanje povezave

Predloga:Kategorija v Zbirki

Predloga:MathWorld

Predloga:-

Predloga:Iracionalno število Predloga:Algebrska števila Predloga:Mnogokotniki

[1] Predloga:Navedi splet

[whitford_1912-2] 2,0 ^2,1 Predloga:Sktxt.

[knorr_1976-3] 3,0 ^3,1 Predloga:Sktxt.

[brown_2015-4] 4,0 ^4,1 Predloga:Sktxt.

[5] Predloga:Sktxt.

[EB-6] Predloga:Navedi splet

[7] Predloga:Sktxt.

[davies_2011-8] 8,0 ^8,1 ^8,2 Predloga:Sktxt.

[Grant-9] Predloga:Sktxt.

[10] Predloga:Sktxt.

[11] Predloga:Sktxt.

[12] Predloga:Sktxt.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

Kvadratni koren števila 3

Vsebina

Zgodovina