Lihat sumber Akar kuadrat dari 2

[[Berkas:Square root of 2 triangle.png|jmpl|200px|Akar kuadrat dari dua sama dengan [[hipotenusa]] untuk [[segitiga siku-siku]] yang kakinya memiliki panjang 1]]
'''Akar kuadrat dari dua''', juga dikenal sebagai '''konstanta Pythagoras''', sering ditulis sebagai <math>\sqrt{2}</math>, merupakan [[bilangan riil]] yang positif, yang apabila dikalikan dengan nilai itu sendiri akan mendapatkan nomor [[2 (angka)|2]]. Nilai berangkanya dekat 65 tempat titik desimal adalah:
:1.41421 35623 73095 04880 16887 24209 69807 85696 71875 37694 80731 76679 73799.

[[Akar kuadrat]] dari 2 adalah [[bilangan irasional]] yang pertama diketahui. Secara geometris, ia merupakan kepanjangan diagonal melintasi segi empat sama dengan sisinya memiliki panjang 1 unit; ini menurut [[teorema Pythagoras]]. Bagi pengiraan asas tanpa fungsi kendali, penganggaran <math>\tfrac{99}{70}</math> bagi akar kuadrat lebih elok dibandingkan penganggaran <math>\tfrac{22}{7}</math> bagi [[pi]], yang merupakan bilangan irasional paling lazim digunakan.

{| border="1" style="float: right; border-collapse: collapse;"
| colspan="2" align="center" | [[Daftar angka]] - [[Bilangan irasional]]<br />[[Konstanta Euler–Mascheroni|γ]] - [[Konstanta Apéry|ζ(3)]] - ''' √2''' -  [[Akar kuadrat dari 3|√3]] -  [[Akar kuadrat dari 5|√5]] - [[Rasio emas|φ]] - [[Bilangan plastik|ρ]] - [[Rasio perak|δ<sub>S</sub>]] - [[E (konstanta matematika)|e]] - [[Pi|π]] - [[Konstanta Feigenbaum|δ]]
|-
|[[Biner]]
| 1.0110101000001001111...
|-
| [[Desimal]]
| 1.4142135623730950488...
|-
| [[Heksadesimal]]
| 1.6A09E667F3BCC908B2F...
|-
| [[Pecahan lanjutan]]
| <math>1 + \frac{1}{2 + \frac{1}{2 + \frac{1}{2 + \frac{1}{\ddots}}}}</math>
|}

Rasio peraknya adalah:

:<math>1+\sqrt{2}</math>

== Sejarah ==

Tablet tanah liat Babel YBC 7289 (c. 1800-1600 SM) memberikan perkiraan √2 dalam empat angka sexagesimal, 1 24 51 10, yang akurat untuk sekitar enam angka desimal,<ref>Fowler and Robson, p. 368.<br />[http://it.stlawu.edu/%7Edmelvill/mesomath/tablets/YBC7289.html Photograph, illustration, and description of the ''root(2)'' tablet from the Yale Babylonian Collection]<br />[http://www.math.ubc.ca/%7Ecass/Euclid/ybc/ybc.html High resolution photographs, descriptions, and analysis of the ''root(2)'' tablet (YBC 7289) from the Yale Babylonian Collection]</ref> dan yang paling dekat mungkin tiga tempat representasi sexagesimal dari √2:

:<math>1 +  \frac{24}{60} + \frac{51}{60^2} + \frac{10}{60^3} = 1.41421\overline{296}.</math>

Anggaran awal yang hampir lain untuk nomor ini diberi dalam teks matematika India kuno, Sulbasutra (kk. 800-200 SM) seperti berikut: ''Tambahkan panjang [sisi] dengan sepertiganya dan sepertiga ini dengan seperempatnya kurang sepertiga-puluh-empat bagi seperempat itu''<ref> Henderson.</ref> Itu adalah,

:<math>1 + \frac{1}{3} + \frac{1}{3 \cdot 4} - \frac{1}{3 \cdot4 \cdot 34} = \frac{577}{408} \approx 1.414215686</math>

Anggaran India purba ini merupakan urutan ketujuh bagi anggaran tepat untuk jujukan [[bilangan Pell]], yang boleh diterbitkan dari kembangan [[pecahan lanjutan]] untuk <math>\sqrt{2}</math>

Temuan dari nomor tak rasio sering berkontribusi [[Hippasus of Metapontum]] [[Pythagoras]], yang memperkenalkan bukti ketidaknisbahan (hampir ke geometri) untuk akar kuadrat. Menurut legenda, Pythagoras percaya pada kemutlakan nomor-nomor dan tidak dapat menerima nomor tak rasio. Dia tidak bisa memalsukannya melalui logika, tetapi keyakinannya tidak dapat menerima keberadaan nomor tak rasio, maka dia menghukum Hippasus untuk mati lemas. [http://www.washingtonpost.com/wp-srv/style/longterm/books/chap1/mysteryaleph.htm] Legenda lain menyatakan yang dilemaskan Hippasus oleh pengikut Pythagoras
[http://scienceworld.wolfram.com/biography/Hippasus.html], atau diusir dari golongan itu. [http://www.washingtonpost.com/wp-srv/style/longterm/books/chap1/mysteryaleph.htm]

== Algoritme terkomputerisasi ==
Banyak algoritme yang membuat estimasi akar kuadrat dari 2, baik dalam pernyataan rasio bilangan bulat atau dalam bentuk desimal. Algoritme paling umum untuk kasus ini, apakah menggunakannya dalam banyak komputer atau mesin penghitung, adalah metode Babylon<ref>Meskipun istilah "metode Babylon" lazim digunakan dalam penggunaan modern, tidak ada bukti langsung menunjukkan orang Babylon menghitung perkiraan <math>\sqrt{2}</math> dilihat pada YBC 7289. Fowler dan Robson menawarkan konjektur rinci.<br />Fowler and Robson, p. 376. Flannery, p. 32, 158.</ref> untuk perhitungan kendali 2 yang merupakan salah satu dari [[metode menghitung sumber listrik]]. Hal itu adalah seperti berikut:

Pertama, ambil setiap tebakan, <math>F_0</math>; tebakan itu tidak penting karena dugaan itu hanya mempengaruhi berapa banyak iterasi yang diperlukan untuk mencapai perkiraan pendekatan untuk akurasi tertentu. Kemudian, dengan menggunakan tebakan itu, lelarkannya melalui perhitungan rekursif tersebut:

:<math>F_{n+1} = \frac{F_n + \frac{2}{F_n}}{2}.</math>

Lebih banyak iterasi dalam algoritme ini (yaitu banyak perhitungan dilakukan dan "n" lebih besar), lebih elok anggaran akar kuadrat dari 2 yang dapat dicapai.

Nilai √2 dihitung sampai 137,438,953,444 tempat desimal oleh tim [[Yasumasa Kanada]] pada 1997.

Pada Februari 2006, catatan perhitungan √2 telah diganti dengan penggunaan komputer rumah. Shigeru Kondo menghitung sampai 200,000,000,000 tempat desimal dalam lebih kurang 13 hari dan 14 jam menggunakan 3.6GHz PC yang memiliki 16GB memori.

Dalam banyak-banyak konstanta dengan ekspansi desimal tidak berulang, hanya [[pi]] telah dihitung lebih akurat. [http://numbers.computation.free.fr/Constants/Miscellaneous/Records.html]

== Bukti ketidaknisbahan ==

=== Pembuktian dengan penurunan tak terhingga ===
Satu pembuktian nomor tak rasio adalah pembuktian dengan penurunan tak terhingga. Ini juga pembuktian melalui kontradiksi, yang membawa makna pernyataan dibuktikan dengan menganggap bahwa jika apa bertentangan dengan pernyataan itu adalah benar dan dengan menunjukkan yang anggapan ini adalah salah akan memberi makna bahwa pernyataan asli itu adalah benar.

# Anggap yang √2 adalah nomor rasio, berarti ada integer ''a'' dan integer ''b'' yang menunjukkan ''a'' / ''b'' = √2.
# Kemudian √2 dapat ditulis sebagai [[pecahan tak terturunkan]] (fraksi yang dapat disederhanakan sebanyak mungkin) ''a'' / ''b'' yaitu ''a'' dan ''b'' adalah bilangan bulat kelipatan dan (''a'' / ''b'')<sup>2</sup> = 2.
# Kemudian ''a''<sup>2</sup> / ''b''<sup>2</sup> = 2 dan ''a''<sup>2</sup> = 2 ''b''<sup>2</sup>.
# Maka ''a''<sup>2</sup> adalah genap karena bersamaan dengan 2 ''b''<sup>2</sup> yaitu genap juga.
# Kemudian ''a'' harus genap (karena daya intereger ganjil adalah ganjil).
# Karena ''a'' adalah genap, wujudnya integer ''k'' yang memenuhi: ''a'' = 2''k''.
# Dengan mengganti (6) ke dalam persamaan akhir (3): 2''b''<sup>2</sup> = (2''k'')<sup>2</sup> adalah sama dengan 2''b''<sup>2</sup> = 4''k''<sup>2</sup> yang juga sama dengan ''b''<sup>2</sup> = 2''k''<sup>2</sup>.
# Disebabkan 2''k''<sup>2</sup> genap karena ''b''<sup>2</sup> juga genap yang membawa maksud ''b'' adalah genap karena interger ganjil mempunyai kuasa yang ganjil.
# Dengan (5) dan (8) ''a'' dan ''b'' adalah genap keduanya, yang bertentangan dengan ''a'' / ''b'' yang tak terturunkan seperti dinyatakan dalam (2).
::'''''"quod erat demonstrandum"'''''

Mengingat adanya kontradiksi, anggapan (1) yaitu √2 nomor rasio adalah salah. Maka, bertentangan dengan pernyataan itu adalah dibuktikan benar: √2 tidak rasio.

Pembuktian ini dapat digunakan untuk setiap kendali [[bilangan asli]] untuk menunjukkan apakah nomor itu nomor asli atau nomor tidak rasio.

=== Pembuktian dengan pemfaktoran unik ===
Pembuktian lain menggunakan pendekatan yang sama dengan teorema pemfaktoran unik:

# Anggap yang √2 adalah nomor rasio, yang berarti wujudnya interger ''a'' dan integer ''b'' sehingga ''a'' / ''b'' = √2.
# Kemudian √2 dapat ditulis sebagai pecahan tak terturunkan (fraksi yang dapat disederhanakan sebanyak mungkin) ''a'' / ''b'' yaitu ''a'' dan ''b'' adalah bilangan bulat kelipatan dan (''a'' / ''b'')<sup>2</sup> = 2.
# Lalu, ''a''<sup>2</sup> / ''b''<sup>2</sup> = 2 dan ''a''<sup>2</sup> = 2 ''b''<sup>2</sup>.
# Dengan [[teorema anjak unik]], kedua ''a'' dan ''b'' memiliki anjak perdana yang unik, yaitu ''a'' = 2<sup>''x''</sup>''k'' dan ''b'' = 2<sup>''y''</sup>''m'' bagi integer tak negatif ''x'', ''y'', dan integer ganjil tak negatif ''m'' and ''k''.
# Maka, ''a''<sup>2</sup> = 2<sup>2x</sup>''k''<sup>2</sup> dan ''b''<sup>2</sup> = 2<sup>2y</sup>''m''<sup>2</sup>.
# Masukkan kembali ke dalam (3) akan memperoleh 2<sup>2''x''</sup>''k''<sup>2</sup> = 2 • 2<sup>2''y''</sup>''m''<sup>2</sup> = 2<sup>2''y''+1</sup>''m''<sup>2</sup>.
# Ini menyatakan yang anjak perdana dengan kekuatan genap 2 (2x) adalah sama dengan nomor berkuasa aneh 2 (2y + 1). Ini bertentangan dengan teorema anjak unik. Maka, pernyataan asli adalah salah.

=== Bukti geometri ===
[[Berkas:Irrationality of sqrt2.png|ka]]
Satu lagi pembuktian melalui kontradiksi menunjukkan yang √2 adalah nomor tak rasio adalah tidak berapa diketahui.<ref>Apostol (2000), p. 841</ref> Ia juga contoh pembuktian penurunan tak terhingga. Konsep ini menggunakan konstruksi kompas dan sisi lurus klasik, membuktikan teorema ini dengan metode yang sama yang digunakan anggota geometri Yunani kuno.

Biarkan ''ABC'' segitiga sama kaki tegak dengan panjang miring ''m'' dan kaki ''n''. Dengan menggunakan [[teorema Pythagoras]], ''m'' / ''n'' = √2. Katakan ''m'' dan ''n'' adalah [[bilangan bulat]]. Biarkan ''m'':''n'' menjadi rasio yang diberikan melalui [[sebutan terendah]].

Lukis lengkungan ''BD'' dan ''CE'' berpusat ''A''. Hubungkan ''DE''. Kemudian ''AB'' = ''AD'', ''AC'' = ''AE'' serta sudut ''BAC'' dan sudut ''DAE'' adalah sama. Maka segitiga ''ABC'' dan ''ADE'' adalah kongruen melalui SAS.

Mengingat sudut ''EBF'' adalah sudut tegak dan sudut ''BEF'' setengah sudut tegak, ''BEF'' juga segitiga sama kaki tegak. Maka ''BE'' = ''m''&nbsp;-&nbsp;''n'' menandai ''BF'' = ''m''&nbsp;-&nbsp;''n''. Melalui simetri, ''DF'' = ''m''&nbsp;-&nbsp;''n'', dan ''FDC'' juga segitiga sama kaki tegak. Juga ''FC'' = ''n''&nbsp;-&nbsp;(''m''&nbsp;-&nbsp;''n'') = 2''n''&nbsp;-&nbsp;''m''.

Mengingat kita memiliki segitiga sama kaki tegak yang lebih kecil, dengan panjang miring 2''n'' - ''m'' dan kaki ''m'' - ''n''. Nilai ini adalah integer yang lebih kecil dari ''m'' dan ''n'' dan dalam rasio yang sama, bertentangan dengan hipotesis yang menunjukkan bahwa ''m'':''n'' adalah sebutan terkecil. Maka ''m'' dan ''n'' tidak mungkin integer, maka √2 adalah bukan rasio.

== Sifat-sifat akar kuadrat dari dua ==
separuh √2, sekitar 0.707106781186548, merupakan kuantitas lazim dalam geometri dan [[trigonometri]], karena kenyataan yang [[vektor unit]] membuat sudut 45° dengan sumbu pada bidang yang memiliki koordinat

:<math>\left(\frac{\sqrt{2}}{2}, \frac{\sqrt{2}}{2}\right).</math>

Nomor ini bertepatan dengan

:<math>\frac{\sqrt{2}}{2} = \sqrt{\frac{1}{2}} = \frac{1}{\sqrt{2}} = \cos(45^\circ) = \sin(45^\circ).</math>

Satu sifat menarik bagi akar kuadrat dari dua ialah:

:<math> \!\ {1 \over {\sqrt{2} - 1}} = \sqrt{2} + 1.</math>

Ini merupakan hasil dari sifat rasio perak.

√2 juga dapat dinyatakan dalam hal salinan [[satuan imajiner]] ''i'' hanya menggunakan [[akar kuadrat]] dan [[Aritmetika#Operasi aritmetika|operasi aritmetika]]:

:<math>\frac{\sqrt{i}+i \sqrt{i}}{i}</math> dan <math>\frac{\sqrt{-i}-i \sqrt{-i}}{-i}.</math>

== Perwakilan seri dan hasil perkalian ==
Pengenalan cos(p/4) = sin(p/4) = √2/2, bersama perwakilan hasil perkalian tak terhingga bagi sinus dan kosinus menyebabkan hasil perkalian seperti

:<math>\frac{1}{\sqrt 2} = \prod_{k=0}^\infty
\left(1-\frac{1}{(4k+2)^2}\right) = 
\left(1-\frac{1}{4}\right)
\left(1-\frac{1}{36}\right)
\left(1-\frac{1}{100}\right) \cdots</math>

dan

:<math>\sqrt{2} =
\prod_{k=0}^\infty
\frac{(4k+2)^2}{(4k+1)(4k+3)} =
\left(\frac{2 \cdot 2}{1 \cdot 3}\right)
\left(\frac{6 \cdot 6}{5 \cdot 7}\right)
\left(\frac{10 \cdot 10}{9 \cdot 11}\right)
\left(\frac{14 \cdot 14}{13 \cdot 15}\right) \cdots</math>

atau setara dengan

:<math>\sqrt{2} =
\prod_{k=0}^\infty
\left(1+\frac{1}{4k+1}\right)
\left(1-\frac{1}{4k+3}\right)
=
\left(1+\frac{1}{1}\right)
\left(1-\frac{1}{3}\right)
\left(1+\frac{1}{5}\right)
\left(1-\frac{1}{7}\right) \cdots.</math>

Nomor tersebut dapat dinyatakan dengan mengambil [[deret Taylor]] untuk fungsi trigonometri. Misalnya, seri untuk cos(p/4) adalah:

:<math>\frac{1}{\sqrt{2}} = \sum_{k=0}^\infty \frac{(-1)^k \left(\frac{\pi}{4}\right)^{2k}}{(2k)!}.</math>

Seri Taylor untuk √(1+''x'') dengan ''x'' = 1 memberikan

:<math>\sqrt{2} = \sum_{k=0}^\infty (-1)^{k+1} \frac{(2k-3)!!}{(2k)!!} = 
1 + \frac{1}{2} - \frac{1}{2\cdot4} + \frac{1\cdot3}{2\cdot4\cdot6} -
\frac{1\cdot3\cdot5}{2\cdot4\cdot6\cdot8} + \cdots.</math>

Konvergensi seri ini bisa dicepatkan dengan [[konversi Euler]], menghasilkan

:<math>\sqrt{2} = \sum_{k=0}^\infty \frac{(2k+1)!}{(k!)^2 2^{3k+1}} = \frac{1}{2} +\frac{3}{8} +
\frac{15}{64} + \frac{35}{256} + \frac{315}{4096} + \frac{693}{16384} + \cdots.</math>

Tidak diketahui apakah √2 dapat diwakilikan dengan rumus BBP-type. Rumus BBP-type digunakan untuk π√2 dan √2 ln (1 + √2). [http://crd.lbl.gov/~dhbailey/dhbpapers/bbp-formulas.pdf]

== Perwakilan pecahan lanjutan ==
Akar kuadrat dari dua memiliki perwakilan pecahan lanjutan seperti berikut:

:<math> \!\ \sqrt{2} = 1 + \frac{1}{2 + \frac{1}{2 + \frac{1}{2 + \cdots}}}.</math>

== Catatan ==
<references/>

== Referensi ==
<!--
These templates can be copied for additional references. ([[Template:Cite book]], [[Template:Cite journal]])
*{{cite book |last= |first= |authorlink= |coauthors= |others= |title= |year= |publisher= |location= |id= }}
*{{cite journal |quotes= |last= |first= |authorlink= |coauthors= |year= |month= |title= |journal= |volume= |issue= |pages= |id= |url= |accessdate= }}
-->
* {{cite journal |quotes= |last=Apostol |first=Tom M. |authorlink= |coauthors= |year=2000 |month=November |title=Irrationality of The Square Root of Two—A Geometric Proof |journal=The American Mathematical Monthly |volume=107 |issue=9 |pages=841-842 |id= |url= |accessdate= }}
* {{cite book |last=Flannery |first=David |authorlink= |coauthors= |others= |title=The Square Root of Two |year=2005 |publisher=Springer |location= |id=ISBN 0-387-20220-X }}
* {{cite journal |quotes= |last=Fowler |first=David |authorlink= |coauthors=Eleanor Robson |year=1998 |month=November |title=Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context |journal=Historia Mathematica |volume=25 |issue=4 |pages=366-378 |id= |url=http://www.hps.cam.ac.uk/dept/robson-fowler-square.pdf |accessdate= }}
* Gourdon, X. & Sebah, P. [http://numbers.computation.free.fr/Constants/Sqrt2/sqrt2.html Pythagoras' Constant: √2]. Includes information on how to compute digits of <math>\sqrt{2}</math>.
* Henderson, David W., ''[http://www.math.cornell.edu/~dwh/papers/sulba/sulba.html Square Roots in the Sulbasutra]''

== Pranala luar ==
* {{en}} [http://www.gutenberg.org/etext/129 The Square Root of Two to 5 million digits by Jerry Bonnell and Robert Nemiroff. May, 1994.]
* {{en}} [http://www.cut-the-knot.org/proofs/sq_root.shtml Square root of 2 is irrational], a collection of proofs
* {{en}} [http://xn--2-tbo.net √2.net], enthusiast site with realtime computation

[[Kategori:Bilangan irasional]]
[[Kategori:Konstanta matematika]]