Lihat sumber Teorema Pythagoras

[[Berkas:Pythagorean.svg|jmpl|260x260px|'''Teori Pythagoras'''<br/>Jumlah area dari dua persegi pada kaki (a dan b) sama dengan luas persegi pada sisi miring (c).]]
Dalam matematika, '''Teorema''' '''Pythagorean''', juga dikenal sebagai '''Teorema Pythagoras''', adalah hubungan mendasar dalam [[geometri Euclidean]] di antara tiga sisi [[segitiga siku-siku]]. Ini menyatakan bahwa luas kotak yang sisinya adalah [[sisi miring]] (sisi yang berlawanan dengan sudut kanan) sama dengan jumlah area kotak di [[Cathetus|dua sisi lainnya]]. Teorema ini dapat ditulis sebagai [[persamaan]] yang menghubungkan panjang sisi ''a'', ''b'' dan ''c'', sering disebut "persamaan Pythagoras":<ref>{{Cite book|url=https://books.google.com/books?id=nHxBw-WlECUC&pg=PA63|title=Roots to Research: A Vertical Development of Mathematical Problems|last=Sally|first=Judith D.|date=2007-01-01|publisher=American Mathematical Soc.|isbn=978-0-8218-7267-3|language=en}}</ref>

:<math>a^2 + b^2 = c^2 ,</math>

di mana c mewakili panjang sisi miring dan a dan b panjang dari dua sisi segitiga lainnya. Teorema itu, yang sejarahnya menjadi pokok perdebatan, dinamai untuk [[Yunani Kuno|pemikir Yunani]] kuno [[Pythagoras]].<ref>{{Cite book|url=https://books.google.com/books?id=8_vbuzxrpfIC&pg=PA172|title=The Moment of Proof: Mathematical Epiphanies|last=Benson|first=Donald C.|date=2000|publisher=Oxford University Press|isbn=978-0-19-513919-8|language=en}}</ref>

Teorema ini telah diberikan banyak bukti - mungkin yang paling banyak untuk setiap teorema matematika. Mereka sangat beragam, termasuk bukti geometris dan bukti aljabar, dengan beberapa berasal dari ribuan tahun yang lalu. Teorema dapat digeneralisasi dalam berbagai cara, termasuk ruang dimensi tinggi, ke ruang yang bukan Euclidean, ke objek yang bukan segitiga siku-siku, dan memang, untuk objek yang bukan segitiga sama sekali, tetapi padatan ''n''-dimensi. Teorema Pythagoras telah menarik minat di luar matematika sebagai simbol kemustahilan matematika, mistik, atau kekuatan intelektual; referensi populer dalam sastra, drama, musikal, lagu, perangko dan kartun berlimpah.

== Bukti penataan ulang ==
[[Berkas:Pythagoras-proof-anim.svg|jmpl|Bukti penataan ulang (klik untuk melihat animasi)]]
Dua kotak besar yang ditunjukkan pada gambar masing-masing berisi empat segitiga identik, dan satu-satunya perbedaan antara dua kotak besar adalah bahwa segitiga diatur secara berbeda. Oleh karena itu, ruang putih dalam masing-masing dari dua kotak besar harus memiliki luas yang sama. Menyamakan luas ruang putih menghasilkan teorema Pythagoras, Q.E.D.

Heath memberikan bukti ini dalam komentarnya tentang Proposisi I.47 dalam ''Elemen Euclid'', dan menyebutkan proposal Bretschneider dan Hankel bahwa Pythagoras mungkin telah mengetahui bukti ini. Heath sendiri lebih menyukai proposal yang berbeda untuk bukti Pythagoras, tetapi mengakui dari permulaan diskusinya "bahwa literatur Yunani yang kita miliki milik lima abad pertama setelah Pythagoras tidak berisi pernyataan yang menyebutkan hal ini atau penemuan geometrik besar lainnya kepadanya."<ref name="Pythagorean theorem">{{Cite journal|date=2020-05-26|title=Pythagorean theorem|url=https://en.wikipedia.org/w/index.php?title=Pythagorean_theorem&oldid=958899723|journal=Wikipedia|language=en}}</ref> Beasiswa terbaru telah menimbulkan keraguan yang semakin besar pada segala jenis peran untuk Pythagoras sebagai pencipta matematika, meskipun perdebatan tentang ini terus berlanjut.<ref>{{Cite journal|last=Huffman|first=Carl|date=2005-02-23|title=Pythagoras|url=https://plato.stanford.edu/archives/win2018/entries/pythagoras/}}</ref>

== Bentuk-bentuk teorema lainnya ==
Jika ''c'' menunjukkan [[panjang]] sisi miring dan a dan b menunjukkan panjang dari dua sisi lainnya, teorema Pythagoras dapat dinyatakan sebagai persamaan Pythagoras:

: <math>a^2 + b^2 = c^2 .</math>

Jika panjang a dan b diketahui, maka c dapat dihitung sebagai

: <math> c = \sqrt{a^2 + b^2}. </math>

Jika panjang sisi miring ''c'' dan satu sisi (''a'' atau ''b'') diketahui, maka panjang sisi lainnya dapat dihitung sebagai

: <math>a = \sqrt{c^2 - b^2} </math>

atau

: <math>b = \sqrt{c^2 - a^2}. </math>

Persamaan Pythagoras menghubungkan sisi-sisi segitiga siku-siku dengan cara yang sederhana, sehingga jika panjang kedua sisi diketahui panjang sisi ketiga dapat ditemukan. Akibat wajar lain dari teorema adalah bahwa dalam segitiga siku-siku mana, sisi miring lebih besar daripada salah satu sisi lain, tetapi kurang dari jumlah mereka.

Generalisasi teorema ini adalah [[Hukum kosinus|hukum cosinus]], yang memungkinkan perhitungan panjang setiap sisi dari segitiga apa pun, mengingat panjang dua sisi lainnya dan sudut di antara keduanya. Jika sudut antara sisi lain adalah sudut kanan, hukum cosinus mereduksi menjadi persamaan Pythagoras.

== Bukti teorema lainnya ==
Teorema ini mungkin memiliki bukti lebih dikenal daripada yang lain (hukum timbal balik kuadrat menjadi pesaing lain untuk perbedaan itu); buku ''The Pythagoras Proposition'' berisi 370 bukti.<ref name="Pythagorean theorem"/>

=== Bukti menggunakan segitiga serupa ===
[[Berkas:Pythagoras_similar_triangles_simplified.svg|jmpl|Bukti menggunakan segitiga serupa]]
Bukti ini didasarkan pada [[Kesebandingan (matematika)|Kesebandingan]] sisi-sisi dari dua segitiga yang sama, yaitu, pada kenyataan bahwa [[rasio]] dari setiap dua sisi yang sesuai dari segitiga yang sama adalah sama terlepas dari ukuran segitiga.

Biarkan ''ABC'' mewakili segitiga siku-siku, dengan sudut kanan terletak di ''C'', seperti yang ditunjukkan pada gambar. Gambar [[Ketinggian (segitiga)|ketinggian]] dari titik ''C'', dan dikatakan ''H'' persimpangan dengan sisi ''AB''. Titik ''H'' membagi panjang sisi miring ''c'' menjadi bagian ''d'' dan ''e''. ''ACH'' segitiga baru [[Kesamaan (geometri)|sama]] dengan segitiga ''ABC'', karena mereka berdua memiliki sudut kanan (menurut definisi ketinggian), dan mereka berbagi sudut pada ''A'', yang berarti bahwa sudut ketiga akan sama di kedua segitiga juga, ditandai sebagai θ pada gambar. Dengan alasan yang sama, segitiga ''CBH'' juga mirip dengan ''ABC''. Bukti kesamaan segitiga membutuhkan [[postulat segitiga]]: jumlah [[Sudut dalam dan luar|sudut dalam]] segitiga adalah dua sudut kanan, dan setara dengan [[postulat paralel]]. Kesamaan segitiga menyebabkan rasio kesetaraan dari sisi yang sesuai:

:<math> \frac{BC}{AB}=\frac{BH}{BC} \text{ dan } \frac{AC}{AB}=\frac{AH}{AC}.</math>

Hasil pertama menyamakan [[cosinus]] dari sudut ''θ'', sedangkan hasil kedua menyamakan [[sinus]] mereka.

Rasio ini dapat ditulis sebagai
:<math>BC^2 = AB \times BH \text{ dan } AC^2=AB \times AH. </math>

Menjumlahkan kedua persamaan ini menghasilkan

: <math>BC^2+AC^2=AB\times BH+AB\times AH=AB\times(AH+BH)=AB^2 ,</math>

yang, setelah penyederhanaan, mengekspresikan teorema Pythagoras:

: <math>BC^2+AC^2=AB^2 \ .</math>

Peran bukti ini dalam sejarah adalah subjek banyak spekulasi. Pertanyaan mendasarnya adalah mengapa Euclid tidak menggunakan bukti ini, tetapi menemukan yang lain. Salah satu dugaan adalah bahwa bukti dari segitiga yang sama melibatkan teori proporsi, topik yang tidak dibahas sampai nanti dalam ''Elemen'', dan bahwa teori proporsi membutuhkan pengembangan lebih lanjut pada waktu itu.<ref>{{Harv|Maor|2007|p=[https://books.google.com/books?id=Z5VoBGy3AoAC&pg=PA39&dq=%22why+did+Euclid+choose+this+particular+proof%22&hl=en&ei=WckoTLv4JIKknQecwvWoAQ&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCUQ6AEwAA#v=onepage&q=%22why%20did%20Euclid%20choose%20this%20particular%20proof%22&f=false  39]}}</ref><ref name="Hawking">{{cite book|url=https://books.google.com/?id=3zdFSOS3f4AC&pg=PA12|title=God created the integers: the mathematical breakthroughs that changed history|author=Stephen W. Hawking|publisher=Running Press Book Publishers|year=2005|isbn=0-7624-1922-9|location=Philadelphia|page=12}} This proof first appeared after a computer program was set to check Euclidean proofs.</ref>

=== Bukti Euklid  ===
[[Berkas:Illustration_to_Euclid's_proof_of_the_Pythagorean_theorem.svg|jmpl|Bukti dalam ''Elemen'' Euclid]]
Secara garis besar, berikut adalah bagaimana bukti dalam ''[[Elemen Euclid|Elemen]]'' [[Euclid]] berasal. Persegi besar dibagi menjadi [[persegi panjang]] kiri dan kanan. Sebuah segitiga dibangun yang memiliki setengah luas persegi panjang kiri. Kemudian segitiga lain dibangun yang memiliki setengah luas persegi di sisi paling kiri. Dua segitiga ini terbukti kongruen, membuktikan bahwa persegi ini memiliki area yang sama dengan persegi panjang kiri. Argumen ini diikuti oleh versi yang sama untuk persegi panjang kanan dan persegi yang tersisa. Menempatkan dua persegi panjang bersama-sama untuk mereformasi alun-alun pada sisi miring, luasnya sama dengan jumlah luas dari dua kotak lainnya. Detailnya mengikuti.

Biarkan ''A'', ''B'', ''C'' menjadi [[Vertex (geometri)|simpul]] dari segitiga siku-siku, dengan sudut siku-siku pada ''A''. Letakkan tegak lurus dari ''A'' ke sisi yang berlawanan dengan sisi miring dalam persegi pada sisi miring. Garis itu membagi persegi pada sisi miring menjadi dua persegi panjang, masing-masing memiliki luas yang sama dengan salah satu dari dua kotak pada kaki.

Untuk bukti formal, kami membutuhkan empat [[Lema (matematika)|lemmata]] dasar:

# Jika dua segitiga memiliki dua sisi yang satu sama dengan dua sisi yang lain, masing-masing untuk masing-masing, dan sudut yang dimasukkan oleh sisi yang sama, maka segitiga adalah kongruen ([[sisi-sudut-sisi]]).
# Luas segitiga adalah setengah luas dari setiap [[jajar genjang]] pada alas yang sama dan memiliki ketinggian yang sama.
# Luas persegi panjang sama dengan produk dari dua sisi yang berdekatan.
# Luas kotak sama dengan produk dari dua sisinya (mengikuti dari 3).

Selanjutnya, setiap bujur sangkar terkait dengan kongruen segitiga dengan segitiga lain yang terkait pada gilirannya dengan salah satu dari dua persegi panjang yang membentuk kuadrat bawah.<ref>See for example [http://www.slu.edu/classes/maymk/GeoGebra/Pythagoras.html Pythagorean theorem by shear mapping] {{Webarchive|url=https://web.archive.org/web/20161014165156/http://www.slu.edu/classes/maymk/GeoGebra/Pythagoras.html|date=2016-10-14}}, Saint Louis University website Java applet</ref>
[[Berkas:Illustration_to_Euclid's_proof_of_the_Pythagorean_theorem2.svg|jmpl|Ilustrasi termasuk garis baru]]
[[Berkas:Illustration_to_Euclid's_proof_of_the_Pythagorean_theorem3.svg|jmpl|Menampilkan dua segitiga kongruen dari setengah luas persegi panjang BDLK dan persegi BAGF]]
Buktinya adalah sebagai berikut:

# Biarkan ACB menjadi segitiga siku-siku dengan CAB sudut kanan.
# Di setiap sisi BC, AB, dan CA, kotak digambar, CBDE, BAGF, dan ACIH, dalam urutan itu. Konstruksi persegi membutuhkan teorema yang mendahului Euclid, dan tergantung pada dalil paralel.<ref name="Gullberg">{{cite book|url=https://archive.org/details/mathematicsfromb1997gull|title=Mathematics: from the birth of numbers|author=Jan Gullberg|publisher=W. W. Norton & Company|year=1997|isbn=0-393-04002-X|page=[https://archive.org/details/mathematicsfromb1997gull/page/435 435]|url-access=registration}}</ref>
# Dari A, gambar garis sejajar dengan BD dan CE. Ini akan memotong BC dan DE pada K dan L secara berurutan.
# Gabungkan dengan DF dan AD, untuk membentuk segitiga BCF dan BDA
# Sudut CAB dan BAG keduanya adalah sudut kanan; oleh karena itu C, A, dan G adalah kollinear. Demikian pula untuk B, A, dan H.
# Sudut CBD dan FBA keduanya sudut kanan; Oleh karena itu sudut ABD sama dengan sudut FBC, karena keduanya adalah jumlah dari sudut kanan dan sudut [[American Broadcasting Company|ABC]].
# Karena AB sama dengan FB dan BD sama dengan BC, segitiga ABD harus kongruen dengan segitiga FBC.
# Karena AKL adalah garis lurus, sejajar dengan BD, maka persegi panjang BDLK memiliki dua kali luas segitiga ABD karena mereka berbagi basis BD dan memiliki ketinggian BK yang sama, yaitu, garis normal ke basis umum mereka, menghubungkan garis paralel BD dan AL. (lemma 2)
# Karena C adalah kollinear dengan A dan G, BAGF persegi harus dua kali luas untuk segitiga FBC.
# Oleh karena itu, persegi panjang BDLK harus memiliki area yang sama dengan persegi BAGF = AB<sup>2</sup>.
# Demikian pula, dapat ditunjukkan bahwa persegi panjang CKLE harus memiliki area yang sama dengan persegi ACIH = AC<sup>2</sup>.
# Tambahkan dua hasil ini, AB<sup>2</sup> + AC<sup>2</sup> = BD × BK + KL × KC
# Sejak BD = KL, BD × BK + KL × KC = BD(BK + KC) = BD × BC
# Karena itu, AB<sup>2</sup> + AC<sup>2</sup> = BC<sup>2</sup>, sejak CBDE adalah persegi.

Bukti ini, yang muncul dalam Elemen Euclid seperti pada Proposisi 47 dalam Buku 1,<ref>[http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Perseus:text:1999.01.0085:book=1:proposition=47 Elements 1.47] by Euclid. Retrieved 19 December 2006.</ref> menunjukkan bahwa luas kotak pada sisi miring adalah jumlah dari luas dua kotak lainnya.<ref>[http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI47.html Euclid's Elements, Book&nbsp;I, Proposition&nbsp;47]: web page version using Java applets from [http://aleph0.clarku.edu/~djoyce/java/elements/elements.html Euclid's Elements] by Prof. David E. Joyce, Clark University</ref> Ini sangat berbeda dari pembuktian dengan kemiripan segitiga, yang diduga sebagai bukti bahwa Pythagoras digunakan.<ref name="Hawking2" /><ref name="Pythagoras">The proof by Pythagoras probably was not a general one, as the theory of proportions was developed only two centuries after Pythagoras; see {{Harv|Maor|2007|p=[https://books.google.com/books?id=Z5VoBGy3AoAC&pg=PA25&hl=en#v=onepage&q&f=false  25]}}</ref>

=== Bukti dengan berpotongan dan penataan ulang ===
Kita telah membahas bukti Pythagoras, yang merupakan bukti penataan ulang. Ide yang sama disampaikan oleh animasi paling kiri di bawah ini, yang terdiri dari kotak besar, sisi ''a'' + ''b'', berisi empat segitiga siku-siku yang identik. Segitiga ditunjukkan dalam dua pengaturan, yang pertama meninggalkan dua kotak ''a''<sup>2</sup> dan ''b''<sup>2</sup> terbuka, yang kedua meninggalkan persegi ''c''<sup>2</sup> terbuka. Area yang dicakup oleh alun-alun luar tidak pernah berubah, dan area keempat segitiga adalah sama di awal dan di akhir, jadi area kotak hitam harus sama, oleh karena itu {{nowrap|''a''<sup>2</sup> + ''b''<sup>2</sup> {{=}} ''c''<sup>2</sup>.}}

Bukti kedua dengan penataan ulang diberikan oleh animasi tengah. Sebuah bujur sangkar besar dibentuk dengan luas ''c''<sup>2</sup>, dari empat segitiga siku-siku identik dengan sisi ''a'', ''b'' dan ''c'', dipasang mengelilingi sebuah bujur sangkar pusat kecil. Kemudian dua persegi panjang dibentuk dengan sisi ''a'' dan ''b'' dengan menggerakkan segitiga. Menggabungkan kotak yang lebih kecil dengan persegi panjang ini menghasilkan dua kotak area ''a''<sup>2</sup> dan ''b''<sup>2</sup>, yang harus memiliki area yang sama dengan awal persegi besar.<ref>{{cite web|url=http://www.cut-the-knot.org/pythagoras/index.shtml#10|title=Pythagorean theorem, proof number 10|author=[[Alexander Bogomolny]]|date=|work=Cut the Knot|publisher=|accessdate=27 February 2010}}</ref>

Gambar ketiga, paling kanan juga memberikan bukti. Dua kotak bagian atas dibagi seperti yang ditunjukkan oleh bayangan biru dan hijau, menjadi potongan-potongan yang ketika disusun ulang dapat dibuat agar sesuai di bawah persegi pada sisi miring - atau sebaliknya kotak besar dapat dibagi seperti ditunjukkan dalam potongan-potongan yang mengisi dua lainnya . Cara memotong satu bagian menjadi beberapa bagian dan menatanya kembali untuk mendapatkan bagian lain disebut [[Masalah diseksi|diseksi]]. Ini menunjukkan luas dari bujur sangkar yang sama dengan luas dua yang lebih kecil.<ref name="specifics">{{Harv|Loomis|1968|loc=Geometric proof 22 and Figure 123|page=113}}</ref>
{|
|[[Berkas:Pythag_anim.gif|jmpl|Animasi menunjukkan bukti dengan menata ulang empat segitiga siku-siku yang identik]]
|[[Berkas:Pythagoras-2a.gif|jmpl|Animasi menunjukkan bukti lain dengan penataan ulang]]
|[[Berkas:Pythagorean_theorem_rearrangement.svg|jmpl|Bukti menggunakan penataan ulang yang rumit]]
|}

=== Bukti Einstein dengan diseksi tanpa penataan ulang ===
[[Berkas:Altitude_of_a_right_triangle.svg|jmpl|Segitiga{{Pranala mati|date=Mei 2021 |bot=InternetArchiveBot |fix-attempted=yes }} kanan pada sisi miring dibedah menjadi dua segitiga siku-siku pada kaki, menurut bukti Einstein]]
[[Albert Einstein]] memberikan bukti dengan pembedahan di mana potongan-potongan tidak perlu dipindahkan.<ref>{{Cite journal|last=|first=|year=|title=Fraktal, Kekacauan, Hukum Kekuasaan: Menit dari Surga yang Tak Terbatas. Perusahaan Kurir. hlm. 3–4|url=https://en.wikipedia.org/wiki/Special:BookSources/0486134784|journal=Wikipedia|language=en|volume=|issue=|pages=|doi=}}</ref> Alih-alih menggunakan persegi pada sisi miring dan dua persegi pada kaki, kita dapat menggunakan bentuk lain yang mencakup sisi miring, dan dua bentuk serupa yang masing-masing mencakup satu dari dua kaki alih-alih sisi miring (lihat [[Teorema Pythagoras#Figur serupa di tiga sisi|Figur serupa di tiga sisi]]). Dalam bukti Einstein, bentuk yang mencakup sisi miring adalah segitiga siku-siku itu sendiri. Diseksi terdiri dari menjatuhkan tegak lurus dari sudut sudut kanan segitiga ke sisi miring, sehingga membelah seluruh segitiga menjadi dua bagian. Kedua bagian tersebut memiliki bentuk yang sama dengan segitiga siku-siku asli, dan memiliki kaki-kaki dari segitiga asli sebagai sisi miringnya, dan jumlah area mereka adalah segitiga asli. Karena rasio luas segitiga siku-siku dengan kuadrat sisi miringnya sama untuk segitiga serupa, maka hubungan antara luas ketiga segitiga tersebut juga berlaku untuk kuadrat sisi-sisi segitiga besar.

=== Bukti aljabar ===
[[Berkas:Pythagoras_algebraic2.svg|jmpl|Diagram dua bukti aljabar]]
Teoremanya dapat dibuktikan secara aljabar menggunakan empat salinan dari segitiga siku-siku dengan sisi a, b dan c, disusun di dalam kotak dengan sisi c seperti di bagian atas diagram.<ref name="rotate">{{cite web|url=http://www.cut-the-knot.org/pythagoras/index.shtml#3|title=Cut-the-knot.org: Pythagorean theorem and its many proofs, Proof #3|author=Alexander Bogomolny|date=|work=Cut the Knot|publisher=|accessdate=4 November 2010}}</ref> Segitiga mirip dengan area <math>\tfrac12ab</math>, sedangkan kotak kecil memiliki sisi {{nowrap|''b'' − ''a''}} dan area {{nowrap|(''b'' − ''a'')<sup>2</sup>}}. Oleh karena itu luas persegi panjang

:<math>(b-a)^2+4\frac{ab}{2} = (b-a)^2+2ab = b^2-2ab+a^2+2ab = a^2+b^2. </math>

Tapi ini adalah persegi dengan sisi ''c'' dan luas ''c''<sup>2</sup>, jadi

:<math>c^2 = a^2 + b^2. </math>

Bukti serupa menggunakan empat salinan dari segitiga yang sama disusun secara simetris di sekitar kotak dengan sisi ''c'', seperti yang ditunjukkan di bagian bawah diagram.<ref>{{cite web|url=http://www.cut-the-knot.org/pythagoras/index.shtml#4|title=Cut-the-knot.org: Pythagorean theorem and its many proofs, Proof #4|author=Alexander Bogomolny|date=|work=Cut the Knot|publisher=|accessdate=4 November 2010}}</ref> Ini menghasilkan kotak yang lebih besar, dengan sisi ''a'' + ''b'' dan luas {{nowrap|(''a'' + ''b'')<sup>2</sup>}}. Keempat segitiga dan sisi persegi c harus memiliki area yang sama dengan persegi yang lebih besar,

:<math>(b+a)^2 = c^2 + 4\frac{ab}{2} = c^2+2ab,</math>

memberikan

:<math>c^2 = (b+a)^2 - 2ab = b^2+2ab+a^2-2ab = a^2 + b^2.</math>

[[Berkas:Garfield_Pythagoras.svg|jmpl|Diagram bukti Garfield]]
Bukti terkait diterbitkan oleh Presiden Amerika [[James A. Garfield]] (kemudian [[Perwakilan Amerika Serikat|Perwakilan A.S]].) (lihat diagram).<ref name="Garfield">Published in a weekly mathematics column: {{cite journal|author=James A Garfield|year=1876|title=Pons Asinorum|url=http://www.maa.org/press/periodicals/convergence/mathematical-treasure-james-a-garfields-proof-of-the-pythagorean-theorem|journal=The New England Journal of Education|volume=3|issue=14|page=161|ref=harv}} as noted in {{cite book|url=https://books.google.com/?id=3tG_FRQ9N1QC&cd=1&dq=%22mathematical+universe%22+inauthor%3AWilliam+inauthor%3ADunham&q=New+England+Journal#search_anchor|title=The mathematical universe: An alphabetical journey through the great proofs, problems, and personalities|author=William Dunham|publisher=Wiley|year=1997|isbn=0-471-17661-3|page=96}} and in [http://www.math.usma.edu/people/rickey/hm/Dates/April.pdf A calendar of mathematical dates: April 1, 1876] {{Webarchive|url=https://web.archive.org/web/20100714153516/http://www.math.usma.edu/people/Rickey/hm/Dates/April.pdf|date=July 14, 2010}} by V. Frederick Rickey</ref><ref name="animation">{{cite web|url=http://math.colgate.edu/faculty/dlantz/Pythpfs/Garfldpf.html|title=Garfield's proof of the Pythagorean Theorem|last=Lantz|first=David|website=Math.Colgate.edu|archive-url=https://web.archive.org/web/20130828104818/http://math.colgate.edu/faculty/dlantz/Pythpfs/Garfldpf.html|archive-date=2013-08-28|accessdate=2018-01-14|url-status=dead}}</ref><ref>Maor, Eli, ''The Pythagorean Theorem'',  Princeton University Press, 2007: pp. 106-107.</ref> Alih-alih menggunakan persegi, sebuah [[Trapesium (geometri)|trapesium]], yang dapat dibangun dari bujur sangkar di kedua bukti di atas dengan membagi dua diagonal dari dalam persegi, untuk memberikan trapesium seperti yang ditunjukkan pada diagram. [[Trapezoid#Area|Luas trapesium]] dapat dihitung menjadi setengah luas persegi, yaitu

:<math>\frac{1}{2}(b+a)^2.</math>

Persegi bagian dalam juga dibelah dua, dan hanya ada dua segitiga sehingga buktinya berlangsung seperti di atas kecuali untuk faktor <math>\frac{1}{2}</math>, yang dihapus dengan mengalikan dua untuk memberikan hasilnya.

=== Bukti menggunakan diferensial ===
Seseorang dapat sampai pada teorema Pythagoras dengan mempelajari bagaimana perubahan di suatu sisi menghasilkan perubahan dalam sisi miring dan menggunakan [[kalkulus]].<ref name="Staring">{{cite journal|author=Mike Staring|year=1996|title=The Pythagorean proposition: A proof by means of calculus|journal=Mathematics Magazine|publisher=Mathematical Association of America|volume=69|pages=45–46|doi=10.2307/2691395|jstor=2691395|ref=harv|number=1}}</ref><ref name="M_Hardy">{{cite web|url=http://www.cut-the-knot.org/pythagoras|title=Pythagorean Theorem|last=Bogomolny|first=Alexander|work=Interactive Mathematics Miscellany and Puzzles|publisher=Alexander Bogomolny|archiveurl=https://web.archive.org/web/20100706200930/http://www.cut-the-knot.org/pythagoras/|archivedate=2010-07-06|accessdate=2010-05-09|url-status=dead}}</ref><ref>{{cite journal|author=Bruce C. Berndt|year=1988|title=Ramanujan – 100 years old (fashioned) or 100 years new (fangled)?|journal=The Mathematical Intelligencer|volume=10|issue=3|pages=24|doi=10.1007/BF03026638|ref=harv}}</ref>

Segitiga ''ABC'' adalah segitiga siku-siku, seperti yang ditunjukkan di bagian atas diagram, dengan ''BC'' sisi miring. Pada saat yang sama panjang segitiga diukur seperti yang ditunjukkan, dengan sisi miring panjang ''y'', sisi ''AC'' panjang ''x'' dan sisi ''AB'' panjang ''a'', seperti terlihat pada bagian diagram yang lebih rendah.
[[Berkas:Pythag_differential_proof.svg|jmpl|Diagram untuk bukti diferensial]]
Jika x ditambahkan dengan sejumlah kecil ''dx'' dengan memperpanjang sisi ''AC'' sedikit ke ''D'', maka ''y'' juga meningkat dengan dy. Ini membentuk dua sisi segitiga, ''CDE'', yang (dengan E dipilih sehingga CE tegak lurus terhadap sisi miring) adalah segitiga siku-siku yang kira-kira mirip dengan ''ABC''. Oleh karena itu, rasio sisi mereka harus sama, yaitu:

: <math> \frac{dy}{dx}=\frac xy.</math>

Ini dapat ditulis ulang sebagai <math>y \, dy=x \, dx</math> , yang merupakan [[persamaan diferensial]] yang dapat diselesaikan dengan integrasi langsung:

: <math>\int y \, dy=\int x \, dx\,,</math>

memberikan

: <math>y^2=x^2+C.</math>

Konstanta dapat disimpulkan dari ''x'' = 0, ''y'' = ''a'' untuk memberikan persamaan

: <math>y^2 = x^2 + a^2.</math>

Ini lebih merupakan bukti intuitif daripada yang formal: ini dapat dibuat lebih ketat jika batas yang tepat digunakan sebagai pengganti ''dx'' dan ''dy''.

== Generalisasi ==

=== Bentuk serupa di tiga sisi ===
Generalisasi teorema Pythagoras yang melampaui bidang bujur sangkar pada tiga sisi hingga [[Kesamaan (geometri)|bentuk yang sama]] diketahui oleh [[Hippocrates of Chios]] pada abad ke-5 SM, dan dimasukkan oleh [[Euclid]] dalam buku ''[[Euclid's Elements|Elements]]'':<blockquote>Jika salah satu memasang angka yang sama (lihat [[geometri Euclidean]]) dengan sisi yang sesuai di sisi segitiga siku-siku, maka jumlah area yang ada di dua sisi yang lebih kecil sama dengan luas area yang ada di sisi yang lebih besar.</blockquote>Perpanjangan ini mengasumsikan bahwa sisi-sisi segitiga asli adalah sisi yang sesuai dari tiga angka yang kongruen (sehingga rasio sisi yang sama antara angka-angka yang sama adalah ''a:b:c'').<ref name="Putz">Putz, John F. and Sipka, Timothy A. "On generalizing the Pythagorean theorem", ''The College Mathematics Journal'' 34 (4), September 2003, pp. 291–295.</ref> Sementara bukti Euclid hanya berlaku untuk [[poligon]] cembung, teorema juga berlaku untuk poligon cekung dan bahkan untuk angka-angka serupa yang memiliki batas melengkung (tetapi masih dengan bagian dari batas gambar menjadi sisi segitiga asli).<ref name="Putz" />

Gagasan dasar di balik generalisasi ini adalah bahwa luas bidang gambar [[Kesebandingan (matematika)|sebanding]] dengan kuadrat dimensi linear apa pun, dan khususnya sebanding dengan kuadrat panjang sisi mana pun. Jadi, jika gambar yang serupa dengan area ''A'', ''B'' dan ''C'' didirikan pada sisi dengan panjang yang sesuai ''a'', ''b'' dan ''c'' maka:

: <math>\frac{A}{a^2} = \frac{B}{b^2} = \frac{C}{c^2}\, ,</math>
: <math>\Rightarrow A + B = \frac{a^2}{c^2}C + \frac{b^2}{c^2}C\, .</math>

Tapi, oleh teorema Pythagoras, ''a''<sup>2</sup> + ''b''<sup>2</sup> = ''c''<sup>2</sup>, jadi ''A'' + ''B'' = ''C''.

Sebaliknya, jika kita dapat membuktikan bahwa ''A'' + ''B'' = ''C'' untuk tiga angka yang sama tanpa menggunakan teorema Pythagoras, maka kita dapat bekerja mundur untuk membangun bukti teorema. Sebagai contoh, segitiga tengah awal dapat direplikasi dan digunakan sebagai segitiga C pada sisi miringnya, dan dua segitiga siku-siku yang sama (''A'' dan ''B'') yang dibangun pada dua sisi lainnya, dibentuk dengan membagi segitiga tengah dengan [[Ketinggian (segitiga)|ketinggian]]<nowiki/>nya. Penjumlahan area dari dua segitiga yang lebih kecil karena itu adalah dari yang ketiga, sehingga ''A'' + ''B'' = ''C'' dan membalikkan [[logika]] di atas mengarah ke teorema Pythagoras a<sup>2</sup> + b<sup>2</sup> = c<sup>2</sup>. (''Lihat juga [[Teorema Pythagoras#Bukti Einstein dengan diseksi tanpa penataan ulang|Bukti Einstein dengan diseksi tanpa penataan ulang]]'')
{|
|[[Berkas:Pythagoras_applied_to_similar_triangles.svg|jmpl|Generalisasi untuk segitiga serupa, area hijau {{nowrap|A + B {{=}} area}} biru C]]
|[[Berkas:Pythagoras_by_similar_triangles.svg|jmpl|Teorema Pythagoras menggunakan segitiga siku-siku yang serupa]]
|[[Berkas:Pythagoras_by_pentagons.svg|jmpl|Generalisasi untuk segi lima reguler]]
|}

=== Hukum kosinus ===
{{main article|Hukum kosinus}}
[[Berkas:Law_of_cosines2.svg|jmpl|200x200px|Pemisahan s dari dua titik {{nowrap|(r<sub>1</sub>, θ<sub>1</sub>)}} dan {{nowrap|(r<sub>2</sub>, θ<sub>2</sub>)}} dalam [[Sistem koordinat kutub|koordinat kutub]] diberikan oleh [[Hukum kosinus|hukum cosinus]]. Sudut interior Δθ = θ<sub>1</sub>−θ<sub>2</sub>.]]
Teorema Pythagoras adalah kasus khusus dari teorema yang lebih umum yang menghubungkan panjang sisi dalam setiap segitiga, hukum cosinus:<ref name="Leff1">{{cite book|url=https://books.google.com/?id=y_7yrqrHTb4C&pg=PA326|title=''cited work''|author=Lawrence S. Leff|date=2005-05-01|publisher=Barron's Educational Series|isbn=0-7641-2892-2|page=326}}</ref>

:: <math>a^2+b^2-2ab\cos{\theta}=c^2, </math>

dimana <math>\theta</math> adalah sudut antara sisi <math>a</math> dan <math>b</math>.

Saat <math>\theta</math> adalah <math>\frac{\pi}{2}</math> [[radian]] atau 90°, lalu <math>\cos{\theta} = 0</math>, dan rumusnya direduksi menjadi teorema Pythagoras yang biasa.

== Lihat pula ==
* [[Pythagoras]]
* [[Euklides]]
* [[Ortogonalitas]]
* [[Aljabar linear]]
* [[Geometri sintetis]]
* [[Teorema terakhir Fermat]]
* [[Hukum jajaran genjang]]
* [[Teorema Thales]]

== Bacaan Lebih Lanjut ==
* {{cite book|last= Siswono|first=Tatang Yuli Eko|authorlink=|coauthors=Netty Lastiningsih|title=Matematika 2 SMP dan MTs untuk Kelas VIII|year= 2007|publisher= Esis/Erlangga|location= Jakarta|id= ISBN 979-734-666-8 }} {{id icon}}

== Referensi ==
{{Reflist}}

== Pranala luar ==
{{ProofWiki|id=Pythagoras's Theorem|title=Pythagorean theorem}}
{{Commons category}}
*{{cite book|url=http://aleph0.clarku.edu/~djoyce/java/elements/toc.html|title=Elements|last=Euclid, David E. Joyce, ed.|year=1997|accessdate=2006-08-30|origyear=c. 300 BC}} Dalam HTML dengan angka interaktif berbasis Java.
*{{springer|title=Pythagorean theorem|id=p/p075940}}
*[http://www-groups.dcs.st-and.ac.uk/~history/PrintHT/Babylonian_Pythagoras.html History topic: Teorema Pythagoras dalam matematika Babilonia] {{Webarchive|url=https://web.archive.org/web/20110606082111/http://www-groups.dcs.st-and.ac.uk/~history/PrintHT/Babylonian_Pythagoras.html |date=2011-06-06 }}
* Tautan interaktif:
**[http://www.sunsite.ubc.ca/LivingMathematics/V001N01/UBCExamples/Pythagoras/pythagoras.html Bukti interaktif] teorema Pythagoras di [[Java]]
**[http://www.cut-the-knot.org/pythagoras/Perigal.shtml Bukti interaktif lainnya] teorema Pythagoras di [[Java]]
**[http://www.mathopenref.com/pythagorastheorem.html teorema Pitagoras] dengan animasi interaktif
**[http://math.ucr.edu/~jdp/Relativity/Pythagorus.html Animasi, non-aljabar, dan serba pengguna] teorema Pitagoras
*[https://www.youtube.com/watch?v=CAkMUdeB06o Demo teorema air Pythagoras] di Youtube
*[http://www.cut-the-knot.org/pythagoras/index.shtml teorema Pitagoras] (lebih dari 70 bukti dari [[cut-the-knot]])
*{{MathWorld|title=Pythagorean theorem|urlname=PythagoreanTheorem}}{{Authority control}}

[[Kategori:Segitiga|Pythagoras]]
[[Kategori:Sudut]]
[[Kategori:Teorema Pitagoras]]
[[Kategori:Sejarah geometri]]
[[Kategori:Persamaan]]
[[Kategori:Geometri segitiga]]
[[Kategori:Geometri bidang Euclidean]]
[[Kategori:Teorema dalam geometri bidang]]
[[Kategori:Bidang]]