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 paran ukoliko je njegov kvadrat paran

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

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

Dokaz:

Kontrapozicija ovog tvrđenja glasi:

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

Dokažimo sad ovu kontrapoziciju. Kako je nn neparan broj možemo ga zapisati u obliku n=2k+1n=2k+1 gde je kk neki celi broj. Kvadriranjem ove jednakosti dobijamo:n2=(2k+1)2n^2=(2k+1)^2n2=4k2+4k+1n^2=4k^2+4k+1n2=2(2k2+2k)+1n^2=2\left(2k^2+2k\right)+1Kako je kk ceo broj tada i 2k2+2k2k^2+2k mora biti ceo broj zbog zatvorenosti operacija sabiranja, množenja i stepenovanja na skupu celih brojeva. Označimo 2k2+2k2k^2+2k sa ll, tada imamo da je n2=2l+1n^2=2l+1 , odakle zaključujemo da je n2n^2 neparan 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}}