Dokaz formule za π23\dfrac{\pi}{2\sqrt{3}}

 Pozdrav svima . Danas ćemo dokazati formulu za   π23\dfrac{\pi}{2\sqrt{3}}. Kao dokazni metod koristićemo metod direktnog dokaza. Teorema 1:  π23=n=1χ(n)n\frac{\pi}{2\sqrt{3}}=\displaystyle\sum_{n=1}^{\infty}\frac{\chi(n)}{n}gde jeχ(n)={1,if n1(mod6)1,if n1(mod6)0,inacˇe\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 π23=5711131719232966121218182430\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 33 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 π23=115+17111+113117+119\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}-\fra...

Dokaz da je ceo broj neparan ukoliko je njegov kvadrat neparan

Pozdrav svima. Danas ćemo dokazati da je ceo broj neparan ukoliko je njegov kvadrat neparan. Za izvođenje dokaza koristićemo kontrapoziciju.

Teorema: Neka je nn ceo broj. Ako je n2n^2 neparan broj, tada je nn takođe neparan broj.

Dokaz:

Kontrapozicija ovog tvrđenja glasi:

Neka je nn ceo broj. Ako je nn paran broj, tada je n2n^2  takođe paran broj.

Dokažimo sad ovu kontrapoziciju. Kako je nn paran broj možemo ga zapisati u obliku n=2kn=2k gde je kk neki celi broj. Kvadriranjem ove jednakosti dobijamo:n2=(2k)2n^2=(2k)^2n2=4k2n^2=4k^2n2=2(2k2)n^2=2\left(2k^2\right)

Kako je kk ceo broj tada i 2k22k^2 mora biti ceo broj zbog zatvorenosti operacija množenja i stepenovanja na skupu celih brojeva. Označimo 2k22k^2 sa rr, tada imamo da je n2=2rn^2=2r , odakle zaključujemo da je n2n^2 paran broj. Kako smo dokazali da je kontrapozicija polaznog tvrđenja tačna, to znači i da samo polazno tvrđenje mora biti tačno.

\blacksquare

Коментари

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

Dokaz da je koren iz prostog broja iracionalan broj

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

Dokaz formule za π23\dfrac{\pi}{2\sqrt{3}}