Dokaz formule za \(\dfrac{\pi}{2\sqrt{3}}\)

 Pozdrav svima . Danas ćemo dokazati formulu za   \(\dfrac{\pi}{2\sqrt{3}}\). Kao dokazni metod koristićemo metod direktnog dokaza. Teorema 1:  \[\frac{\pi}{2\sqrt{3}}=\displaystyle\sum_{n=1}^{\infty}\frac{\chi(n)}{n}\]\[\text{gde je} \quad \chi(n)=\begin{cases} 1, & \text{if } n \equiv 1 \pmod{6}\\-1, & \text{if } n \equiv -1 \pmod{6}\\0, & \text{inače}\end{cases}\] Teorema 2: Imamo \[\frac{\pi}{2\sqrt{3}}=\frac{5 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \cdot 23 \cdot 29 \cdots}{6 \cdot 6 \cdot 12 \cdot 12 \cdot 18 \cdot 18 \cdot 24 \cdot 30 \cdots}\]izraz čiji su brojioci sekvenca neparnih prostih brojeva većih od \(3\) i čiji su imenioci parni brojevi koji su za jedan veći ili manji od odgovarajućih brojilaca. Dokaz: Na osnovu Teoreme 1 znamo da je \[\frac{\pi}{2\sqrt{3}}=1-\frac{1}{5}+\frac{1}{7}-\frac{1}{11}+\frac{1}{13}-\frac{1}{17}+\frac{1}{19}-\cdots\] takođe imamo \[\frac{1}{5} \cdot \frac{\pi}{2\sqrt{3}}=\frac{1}{5}-\frac{1}{25}+\frac{1}{35}-\frac{1}{55}+\cdot

Dokaz teoreme u vezi prostih Fibonačijevih brojeva

Pozdrav svima. Danas ćemo dokazati teoremu u vezi prostih Fibonačijevih brojeva. Kao dokazni metod koristićemo metod kontradikcije.

Teorema: Neka je \(F_n\) n-ti Fibonačijev broj i neka je \(F_n\) prost broj. Tada je \(n\) takođe prost broj, osim u slučaju \(F_4=3\) .

Dokaz:

Za slučaj kada je \(n=2\) imamo da je \(F_2=1\), a kao što znamo broj \(1\) nije ni prost ni složen, pa ovaj slučaj ne opovrgava istinitost teoreme.

Za slučaj kada je \(n=3\) imamo da je \(F_3=2\), pa je ovaj slučaj u skladu sa tvrđenjem.

Sada, pretpostavimo da je za \(n>4\) , \(F_n\) prost broj i da je \(n=rs\) za neke prirodne brojeve \(r,s\) veće od \(1\), odnosno da je \(n\) složen broj.

Kako je \(n>4\) to je bar jedan od brojeva \(r\) i \(s\) veći od \(2\). Tada na osnovu teoreme o deljivosti Fibonačijevih brojeva koja kaže: \[\forall m,n \in \mathbb{Z}_{>2} \quad m \mid n \Leftrightarrow F_m \mid F_n\] imamo da je bar jedan od izraza \(F_r \mid F_n\) i \(F_s \mid F_n\) tačan . Dalje, kako je bar jedan od brojeva \(r\) i \(s\) veći od \(2\), to je bar jedan od Fibonačijevih brojeva \(F_r\) i \(F_s\) veći od \(1\). Dakle, pokazali smo da broj \(F_n\) ima bar jedan delilac veći od \(1\) a manji od \(F_n\),odnosno pokazali smo da je \(F_n\) složen broj, tj. došli smo do kontradikcije. Odavde zaključujemo da \(n\) mora biti prost broj.

\(\blacksquare\)

Коментари

Популарни постови са овог блога

Dokaz da je koren iz prostog broja iracionalan broj

Dokaz da je centralni ugao kruga jednak dvostrukom odgovarajućem periferijskom uglu

Dokaz da je koren iz 2 iracionalan broj