Teorema de Pitágoras: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Revertendo para a revisão 30001158 de 2012-05-07 23:59:39 por 189.46.242.54 usando popups
m Desfeita a edição de Luís Felipe Braga (é "terno" mesmo); Uso de "[Imagem:"; -predefs e hacks obsoletos
Linha 1:
[[FicheiroImagem:Areaspitagoras01.svg|thumb|290px|direita|O teorema de Pitágoras: a soma das áreas dos [[quadrado]]s construídos sobre os [[cateto]]s (''a'' e ''b'') equivale à [[Área#Quadrado|área do quadrado]] construído sobre a [[hipotenusa]] (''c'').]]
O '''teorema de Pitágoras''' é uma [[Relação (matemática)|relação matemática]] entre os três lados de qualquer [[triângulo retângulo]]. Na [[geometria euclidiana]], o [[teorema]] afirma que:
{{cquote|Em qualquer triângulo retângulo, o [[quadrado (aritmética)|quadrado]] do [[comprimento]] da hipotenusa é igual à soma dos quadrados dos comprimentos dos catetos.}}
Linha 13:
O teorema de Pitágoras leva o nome do [[Matemática|matemático]] [[Grécia|grego]] [[Pitágoras]] (570 a.C. – 495 a.C.), que tradicionalmente é creditado pela sua descoberta e [[Prova matemática|demonstração]],<ref name=Baynes>
 
{{cite book |title=Greek Geometry from Thales to Euclid |author=George Johnston Allman |page=26 |url=http://books.google.com/books?id=-gYCAAAAYAAJ&pg=PA26 |publisher=Hodges, Figgis, & Co |year=1889 |quote=The discovery of the law of three squares, commonly called the "theorem of Pythagoras" is attributed to him by – amongst others –Vitruvius, Diogenes Laertius, Proclus, and Plutarch ... |edition=Reprinted by Kessinger Publishing LLC 2005 |isbn=143260662X}}
 
</ref><ref name="Heath, Vol I, p. 144">Heath, Vol I, p. 144.</ref> embora seja frequentemente argumentado que o conhecimento do teorema seja anterior a ele (há muitas evidências de que [[Matemática babilônica|matemáticos babilônicos]] conheciam [[algoritmo]]s para calcular os lados em casos específicos, mas não se sabe se conheciam um algoritmo tão geral quanto o teorema de Pitágoras).<ref name=Neugebauer> {{cite book |title=The exact sciences in antiquity |page=36 |url=
Linha 21:
 
== Fórmula e corolários ==
[[FicheiroImagem:Rtriangle.svg|thumb|direita|Um triângulo retângulo, de catetos ''a'' e ''b'', e de hipotenusa ''c''.]]
 
Sendo ''c'' o [[comprimento]] da hipotenusa e ''a'' e ''b'' os comprimentos dos catetos, o teorema pode ser expresso por meio da seguinte equação:
Linha 43:
 
Não se sabe ao certo qual seria a demonstração utilizada por [[Pitágoras]], entretanto, muitos autores concordam que ela teria sido feita através da comparação de áreas{{carece de fontes|data=Junho de 2009}}, conforme se segue:
[[FicheiroImagem:Pythagorean proof.png|frame|direita|Provável forma usada por Pitágoras para demonstrar o teorema que leva seu nome{{carece de fontes|data=Junho de 2009}}.]]
# Desenha-se um [[quadrado]] de lado <math>b + a</math>;
# Traçam-se dois [[segmento]]s [[paralelismo|paralelos]] aos lados do [[quadrado]];
Linha 49:
# A área da região formada ao retirar os quatro triângulos retos é igual a <math>b^2 + a^2</math>;
# Desenha-se agora o mesmo quadrado de lado <math>b + a</math>, mas colocamos os quatro triângulos retos noutra posição.
# A área da região formada quando se retiram os quatro triângulos retos é igual a <math>c^2</math>.
 
Como <math>b^2 + a^2</math> representa a [[Área#Quadrado|área do quadrado maior]] subtraída da soma das [[Área#Triângulo|áreas dos triângulos retângulos]], e <math>c^2</math> representa a mesma área, então '''<math>b^2 + a^2 = c^2</math>'''. Ou seja: num triângulo retângulo o quadrado da hipotenusa é igual à soma dos quadrados dos
Linha 55:
 
=== Por semelhança de triângulos ===
[[FicheiroImagem:Triangulos_semelhantes.png|thumb|250px|direita|Demonstração que utiliza o conceito de [[semelhança]]: os triângulos ABC, ACH e CBH têm a mesma forma, diferindo apenas pelas suas posições e tamanhos.]]
Esta demonstração se baseia na [[proporcionalidade]] dos lados de dois triângulos [[Semelhança|semelhantes]], isto é, que a [[Razão (matemática)|razão]] entre quaisquer dois lados correspondentes de triângulos semelhantes é a mesma, independentemente do tamanho dos triângulos.
 
Sendo ''ABC'' um triângulo retângulo, com o ângulo reto localizado em ''C'', como mostrado na figura. Desenha-se a [[Altura (geometria)|altura]] com origem no ponto ''C'', e chama-se ''H'' sua intersecção com o lado ''AB''. O ponto ''H'' divide o comprimento da hipotenusa, ''c'', nas partes ''d'' e ''e''. O novo triângulo, ''ACH'', é [[Semelhança|semelhante]] ao triângulo ''ABC'', pois ambos tem um ângulo reto, e eles compartilham o ângulo em ''A'', significando que o terceiro ângulo é o mesmo em ambos os triângulos também,<ref>Pois a soma dos ângulos internos de qualquer triângulo é sempre igual a 180 graus ([[32ª proposição de Euclides]]).</ref> marcado como ''θ'' na figura. Seguindo-se um raciocínio parecido, percebe-se que o triângulo ''CBH'' também é semelhante à ''ABC''. A semelhança dos triângulos leva à igualdade das razões dos lados correspondentes:
 
:<math> \frac{a}{c}=\frac{e}{a} \mbox{       e       } \frac{b}{c}=\frac{d}{b}.\,</math>
 
O primeiro resultado é igual ao [[cosseno]] de cada ângulo ''θ'' e o segundo resultado é igual ao [[seno]].
Estas relações podem ser escritas como:
:<math>a^2=c\times e \mbox{      e      }b^2=c\times d. \,</math>
Somando estas duas igualdades, obtém-se
:<math>a^2+b^2=c\times e+c\times d=c\times(d+e)=c^2 ,\,\!</math>
que, rearranjada, é o teorema de Pitágoras:
:<math>a^2+b^2=c^2 \ .\,\!</math>
 
=== Demonstração algébrica ===
[[FicheiroImagem:Teorema-pitagoras-area-quadrado.png|thumb|360px|direita|Demonstração algébrica.]]
A análise da figura da direita permite computar a [[Quadrado#F.C3.B3rmulas m.C3.A9tricas|área do quadrado]] construído sobre a hipotenusa de um triângulo retângulo: ela é quatro vezes a área desse triângulo mais a área do quadrado restante, de lado (''b−a''). Equacionando-se, segue que:
:<math>c^2 = \frac{4ab}{2}\ + (b-a)^2\,\!.</math>
Logo:
:<math>c^2 = 2ab + b^2 -2ba + a^2\,\!</math> (o termo ''(b-a)²'' é um [[produto notável]])
:<math>c^2 = b^2 + a^2 \ .</math> (por [[comutatividade]] da [[multiplicação]]: ''2ab = 2ba'')
 
Linha 82:
Pode-se chegar ao teorema de Pitágoras pelo estudo de como mudanças em um lado produzem mudanças na hipotenusa e usando um pouco de [[cálculo]]. É uma demonstração baseada na interpretação métrica do teorema, visto que usa comprimentos, não áreas.
 
[[FicheiroImagem:PythagoreanDerivation.svg|thumb|direita|Demonstração que usa equações diferenciais.]]
 
Como resultado da mudança ''da'' no lado ''a'',
Linha 96:
Pela [[Integral|integração]], segue:
 
:<math>c^2 = a^2 + \mathrm{constante}.\ \,\!</math>
 
Quando ''a'' = 0 então ''c'' = ''b'', então a "constante" é ''b''<sup>2</sup>. Logo,
 
:<math>c^2 = a^2 + b^2.\,</math>
 
=== Pelo rearranjo das partes ===
[[FicheiroImagem:pythag.gif|thumb|esquerda|Demonstração pelo rearranjo de quatro triângulos retângulos idênticos.]]
[[FicheiroImagem:Pythagoras-2a.gif|thumb|direita|Animação mostrando outra demonstração por rearranjo.<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>]]
 
Uma demonstração por rearranjo é dada pela animação à esquerda. Como a área total e as áreas dos triângulos são constantes, a área preta total é constante também. E a área preta pode ser dividida em quadrados delineados pelos lados ''a, b, c'' do triângulo, demonstrando que {{nowrap|''a''<sup>2</sup> + ''b''<sup>2</sup>}} = ''c''<sup>2</sup>.
Linha 142:
Talvez nenhuma outra [[Relação (matemática)|relação]] [[Geometria|geométrica]] seja tão utilizada em [[matemática]] como o teorema de Pitágoras. Ao longo dos séculos foram sendo registrados muitos problemas curiosos, cujas resoluções têm como base este famoso teorema {{carece de fontes|data=Junho de 2009}}. É possível utilizar o teorema de Pitágoras em todos os [[polígono]]s, pois eles podem ser divididos em [[triângulo]]s e esses em triângulos retângulos. E por extensão, a todos os [[poliedro]]s.
=== A diagonal do quadrado ===
[[FicheiroImagem:Square with diagonal.PNG|145px|direita]]
A diagonal do [[quadrado]] divide-o em dois triângulos retângulos [[congruência|congruentes]]. Sendo <math>l \,\!</math> o lado e <math>d \,\!</math> a diagonal, segue que:
:<math>d^2=l^2+l^2=2\,l^2\,\! .</math>
Finalmente, o comprimento da diagonal é encontrado como:
Linha 149:
 
=== A altura do triângulo equilátero ===
[[FicheiroImagem:Equilateral triangle.PNG|180px|direita]]
A altura do [[triângulo equilátero]] divide-o em dois triângulos retângulos [[congruência|congruentes]]. Sendo <math>l \,\!</math> o lado e <math>h \,\!</math> a altura, segue que:
 
:<math>l^2=h^2+\left(\frac{l}{2}\right)^2=h^2+\frac{l^2}{4}\,\! </math>
:<math>h^2=\frac{3\,l^2}{4}\,\! \ .</math>
 
Linha 159:
 
=== A diagonal do cubo ===
[[FicheiroImagem:Cube diagonals.svg|thumb|right|150px|AC' (em azul) é uma diagonal do cubo, enquanto AC (em vermelho) é uma diagonal de uma de suas faces.]]
Seja ''a'' a medida de sua aresta (medida de um lado de uma face quadrada)
:<math>AC^2=a^2+a^2 \,\! .</math> (I)
Linha 172:
=== Identidade trigonométrica fundamental ===
{{principal|Identidade trigonométrica fundamental}}
[[FicheiroImagem:Trig Functions.PNG|thumb|direita|200px]]
:<math>\sin \theta = \frac{b}{c}, \quad \cos \theta = \frac{a}{c}.</math>
Disso, segue que:
Linha 178:
:<math> {\cos}^2 \theta + {\sin}^2 \theta = \frac{a^2 + b^2}{c^2} = 1,</math>
 
=== TermosTernos pitagóricos ===
{{principal|Terno pitagórico}}
Um terno pitagórico (trio pitagórico) consiste em três números inteiros positivos ''a'', ''b'', e ''c'', tais que {{nowrap|''a'' <sup>2</sup> + ''b'' <sup>2</sup> {{=}} ''c'' <sup>2</sup>}}. Em outras palavras, um terno pitagórico representa os comprimentos dos lados de um triângulo retângulo, onde todos os três lados têm comprimentos inteiros. Essa tripla é geralmente escrita como {{nowrap|(''a'', ''b'', ''c'' ).}} Alguns exemplos bem conhecidos são {{nowrap|(3, 4, 5)}} e {{nowrap|(5, 12, 13)}}.
Linha 189:
 
=== Números irracionais como comprimento ===
[[FicheiroImagem:Euclid Corollary 5.PNG|direita|thumb|160px|[[Espiral de Teodoro]]]]
Uma das consequências do teorema de Pitágoras é que comprimentos [[Comensurável|incomensuráveis]] (ou seja, cuja [[razão]] é um [[número irracional]], tal como a raiz quadrada de 2), podem ser construídos, com instrumentos como [[Construções com régua e compasso|régua e compasso]]. Um triângulo retângulo com ambos os catetos iguais a uma unidade tem uma hipotenusa de [[comprimento]] igual a raiz quadrada de 2. A figura da direita mostra como construir segmentos de reta com comprimentos iguais a raiz quadrada de qualquer número inteiro positivo.
 
Linha 207:
{{principal|Lei dos cossenos}}
O teorema de Pitágoras permite calcular um lado de um triângulo retângulo conhecendo os outros dois. A [[lei dos cossenos]] permite calculá-lo em qualquer [[triângulo]]. Assim, o teorema de Pitágoras é um caso especial do teorema mais geral que relaciona o comprimento dos lados de qualquer triângulo, a lei dos cossenos é a seguinte:
: <math>c^2=a^2+b^2-2ab\cos{\theta}, \,</math>
onde θ é o ângulo entre os lados ''a'' e ''b''. Quando θ é 90 graus, cos(θ) = 0, assim, a fórmula reduz-se ao teorema de Pitágoras.
 
Linha 215:
 
=== Figuras semelhantes nos três lados ===
[[FicheiroImagem:Pythagoras_generalizatoin_1.JPG|thumb|200px|direita]]
 
O teorema de Pitágoras foi generalizado por [[Euclides]] em seu livro ''[[Os Elementos]]'' para estender-se além das áreas dos quadrados nos três lados, para figuras semelhantes:<ref>''Elementos''. Livro VI, Proposição VI</ref>
Linha 222:
 
== Na geometria esférica e hiperbólica ==
[[FicheiroImagem:Triangle sphérique.svg|direita|thumb|140px|Um [[triângulo esférico]]]]
[[FicheiroImagem:Hyperbolic triangle.svg|direita|thumb|140px|Um [[triângulo hiperbólico]]]]
O teorema de Pitágoras é derivado dos [[axioma]]s da [[geometria euclidiana]], e de fato, a versão euclidiana não é válida nas [[geometria não euclidiana|geometrias não euclidianas]]. (Foi mostrado que o teorema de Pitágoras é equivalente ao [[postulado das paralelas]]) Em outras palavras, numa geometria não euclidiana, a relação entre os lados de um triângulo deve necessariamente tomar outra forma. Por exemplo, na geometria esférica, a² + b² ≠ c².
 
Linha 236:
== História ==
{{expandir}}
[[FicheiroImagem:Plimpton 322.jpg|thumb|A [[Plimpton 322|tabuleta Plimpton 322]] registra ternos pitagóricos.]]
[[FicheiroImagem:Egiptian_triangle.svg|thumb|200px|O "[[triângulo egípcio]]", de medidas 3, 4, 5, os egípcios usavam uma corda com treze nós equidistantes para construírem ângulos retos.]]
[[FicheiroImagem:Chinese pythagoras.jpg|thumb|250px|Ilustração do livro [[Chou Pei Suan Ching]], que sugere uma demonstração do teorema para um triângulo específico (de lados 3, 4 e 5).]]
A história do teorema pode ser dividida em quatro partes: o conhecimento de [[Terno pitagórico|trios pitagóricos]], conhecimento da relação entre os lados de um [[triângulo retângulo]], conhecimento das relações entre ângulos adjacentes, e demonstrações do teorema dentro de sistemas dedutivos.
 
Linha 246:
<ref>[http://www.chinapage.com/math/s9/pythagoras.html Proof of Guogu or Pythagoras' Theorem] {{en}}</ref>
 
=={{ Ver também}} ==
{{Col-begin}}
{{Col-1-of-3}}