„Beatty-tétel” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
aNincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
2. sor:
== Definíció ==
A tétel szerint, ha <math>\alpha</math> > 1, <math>\beta</math> > 1 [[irracionális szám]]ok, amikre teljesül
<center><math>\frac{1}{\alpha}+\frac{1}{\beta}=1,</math></center>
akkor minden pozitív természetes szám előfordul a <math>[\alpha],[2\alpha],[3\alpha],\dots</math>, <math>[\beta], [2\beta], [3\beta],\dots</math> sorozatok valamelyikében, de csak az egyikben, pontosan egyszer. Itt a szögletes zárójel az [[egészrész]]t jelöli (tehát <math>[3,2]=3 </math>).
Bizonyítás:
(Tegyük fel:)
b = 1 + c
=> a = 1 + 1/c
=> 0 < c < 1
ÉS
[nc] = k-1.
[(n+1)c] = k
Mivel a
Tegyük fel, hogy a>b. Ezért a>2>b>1. Mivel b értéke kisebb 2nél, ezért [(n+1)b] - [nb] = vagy 1, vagy 2. Ha 2, akkor ... [(n+2)b] - [(n+1)b] = 1.
Vegyük észre az alábbi összefüggést:
k-1 < nc < k < (n+1)c < k + 1 →
→ (k-1)/c < n < k/c < n+1 < (k+1)/c.
Ami nekünk ebből fontos:
n < k/c < n+1, tehát [k/c] az pontosan egyenlő "n"-nel.
Így [ka] = n + k valóban [nb] = n + k - 1 és [(n+1)b] = n + k + 1 közé esik.
Mivel 0 < c < 1, így nc és (n+1)c legfeljebb egy egészet lép át, ezért [nc] és [(n+1)c] különbsége 0 vagy 1. És mivel k = [nc+1], ezért k minden pozitív valós értéket felvehet.<ref>{{cite journal
== Jegyzetek ==
|