Kvadratno iracionalno število: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m dp |
m dp+ |
||
Vrstica 5:
s [[celo število|celimi]] koeficienti ''k'', ''m'' in ''n'' in z od nič različno [[diskriminanta|diskriminanto]] <math>m^{2} - 4kn</math>. Kvadratna iracionalna števila so oblike:
: <math> \sqrt{
za cela števila ''
: <math> \frac{a\pm b\sqrt{
kjer ''
To pomeni, da je [[moč množice|moč]] njihove množice enaka množici urejenih trojic celih števil, in je zaradi tega [[števna množica|števno neskončna]].
Kvadratna iracionalna števila z danim ''
== Verižni ulomki kvadratnih iracionalnih števil ==
Vrstica 55:
Vsi verižni ulomki kvadratnih korenov števil, ki niso popolni kvadrati, imajo posebno obliko periodičnosti, [[palindromno število|palindrom]]ni niz števk:
* [[prazna množica|prazen]] za števila oblike <math>
: Za ta števila tako velja:
:: <math> \sqrt{
* na primer 1 za <math>\sqrt{3}\!\,</math>, 1,1,1 za <math>\sqrt{7}\!\,</math>, 1,2,1 za <math>\sqrt{14}\!\,</math>, ki mu sledi dvakratnik vodilnega celega števila. Praštevila, ki niso oblike <math>n^{2}+1\!\,</math>, imajo neprazen niz {{OEIS|id=A070303}}:
Vrstica 64:
V splošnem tako velja:
: <math> \sqrt{
Od zgornjih števil, katerih niz je prazen, so deljiva s kvadratom {{OEIS|id=A124809}}:
Vrstica 98:
=== Dvočlene oblike ===
Druga kvadratna iracionalna števila, kjer ''
: <math> (1+\sqrt{2})/2 = 1,2071 \ldots = [1;4,1,\ldots] \!\, , </math>
Vrstica 136:
: <math> (4242+\sqrt{4242})/4242 = 1,0153 \ldots = [1;65,\overline{7,1,1,1,8,1,1,1,7,130}] \!\, ... </math>
Če je ''
: <math> (2+\sqrt{4})/5 = 4/5 = 0,8 = [0;1,4] \!\, , </math>
Vrstica 143:
To dejstvo periodičnosti členov verižnih ulomkov sta dokazala [[Joseph-Louis de Lagrange|Lagrange]] ([[1770]]) in [[Adrien-Marie Legendre|Legendre]], pred njima pa je obrat dokazal [[Leonhard Euler|Euler]] z analizo popolnih količnikov periodičnih verižnih ulomkov - če je ζ pravi periodični verižni ulomek, je ζ kvadratno iracionalno število. Iz samega verižnega ulomka je moč konstruirati kvadratno enačbo s celimi koeficienti, za katere velja ζ.
=== Splošne oblike ===
: <math> (1+2\sqrt{2})/2 = 1,9142 \ldots = [\overline{1;1,10,1}] \!\, , </math>
: <math> (1+2\sqrt{3})/2 = 2,2320 \ldots = [2;\overline{4,3}] \!\, , </math>
: <math> (1+2\sqrt{2})/3 = 1,2761 \ldots = [\overline{1;3,1,1,1,1}] \!\, , </math>
: <math> (1+2\sqrt{3})/3 = 1,4880 \ldots = [\overline{1;2,20,2,1,1,4,1}] \!\, , </math>
: <math> (1+3\sqrt{2})/2 = 2,6213 \ldots = [2;\overline{1,1,1,1,1,3}] \!\, , </math>
: <math> (1+3\sqrt{3})/2 = 3,0980 \ldots = [3;\overline{10,5}] \!\, , </math>
: <math> (1+3\sqrt{2})/3 = 1,7475 \ldots = [1;\overline{1,2,1,24,1,2,1,2,12,2}] \!\, , </math>
: <math> (1+3\sqrt{3})/3 = 2,0653 \ldots = [2;\overline{15,3,2,1,1,30,1,1,2,3}] \!\, , </math>
: <math> (1+2\sqrt{3})/4 = 1,1160 \ldots = [\overline{1;8,1,1,1,1,1,1}] \!\, , </math>
: <math> (2+3\sqrt{5})/7 = 1,2440 \ldots = [\overline{1;4,10,4,1,1,2,18,2,1}] \!\, ... </math>
=== Druge oblike ===
|