Teorema de Pitgoras

De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

El Teorema de Pitgoras establece que en un tringulo rectngulo, el cuadrado de la hipotenusa (el lado de mayor longitud del tringulo rectngulo) es igual a la suma de los cuadrados de los catetos (los dos lados menores del tringulo, los que conforman el ngulo recto). Teorema de Pitgoras En todo tringulo rectngulo el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos. Pitgoras de Samos Si un tringulo rectngulo tiene catetos de longitudes y , y la medida de la hipotenusa es , se establece que: (1) De la ecuacin (1) se deducen fcilmente 3 corolarios de aplicacin prctica:

Pitgoras ( c=a+b ) Frmulas prcticas

Contenido
[ocultar]

1 Historia 2 Designaciones convencionales 3 Demostraciones

3.1 China: el Chou Pei Suan Ching, y el Chui Chang Suang Shu 3.2 Demostraciones supuestas de Pitgoras 3.3 Demostracin de Euclides: proposicin I.47 de Los Elementos 3.4 Demostracin de Pappus 3.5 Demostracin de Bhaskara 3.6 Demostracin de Leonardo da Vinci 3.7 Demostracin de Garfield

4 Vase tambin 5 Notas 6 Bibliografa 7 Enlaces externos

[editar] Historia
El Teorema de Pitgoras lleva este nombre porque su descubrimiento recae sobre la escuela pitagrica. Anteriormente, en Mesopotamia y el Antiguo Egipto se conocan ternas de valores que se correspondan con los lados de un tringulo rectngulo, y se utilizaban para resolver problemas referentes a los citados tringulos, tal como se indica en algunas tablillas y papiros. Sin embargo, no ha perdurado ningn documento que exponga tericamente su relacin. La pirmide de Kefrn, datada en el siglo XXVI a. C., fue la primera gran pirmide que se construy basndose en el llamado tringulo sagrado egipcio, de proporciones 3-4-5.

[editar] Designaciones convencionales

Tringulos Resumen de convenciones de designacin Vrtices
(como segmento) (como longitud) A BC a B AC b C AB c

Lados Lados

ngulos

[editar] Demostraciones
El Teorema de Pitgoras es de los que cuenta con un mayor nmero de demostraciones diferentes, utilizando mtodos muy diversos. Una de las causas de esto es que en la Edad Media se exiga una nueva demostracin del teorema para alcanzar el grado de Magster matheseos. Algunos autores proponen hasta ms de mil demostraciones. Otros autores, como el matemtico estadounidense E. S. Loomis, catalog 367 pruebas diferentes en su libro de 1927 The Pythagorean Proposition. En ese mismo libro, Loomis clasificara las demostraciones en cuatro grandes grupos: las algebraicas, donde se relacionan los lados y segmentos del tringulo; geomtricas, en las que se realizan comparaciones de reas; dinmicas a travs de las propiedades de fuerza, masa; y las cuaterninicas, mediante el uso de vectores.

[editar] China: el Chou Pei Suan Ching, y el Chui Chang Suang Shu

Prueba visual para un tringulo de a = 3, b = 4 y c = 5 como se ve en el Chou Pei Suan Ching, 500-200 a. C.

El Chou Pei es una obra matemtica de datacin discutida en algunos lugares, aunque se acepta mayoritariamente que fue escrita entre el 500 y el 300 a. C. Se cree que Pitgoras no conoci esta obra. En cuanto al Chui Chang parece que es posterior, est fechado en torno al ao 250 a. C. El Chou Pei demuestra el teorema construyendo un cuadrado de lado (a+b) que se parte en cuatro tringulos de base a y altura b, y un cuadrado de lado c. Demostracin

Sea el tringulo rectngulo de catetos a y b e hipotenusa c. Se trata de demostrar que el rea del cuadrado de lado c es igual a la suma de las reas de los cuadrados de lado a y lado b. Es decir:

Si aadimos tres tringulos iguales al original dentro del cuadrado de lado c formando la figura mostrada en la imagen, obtenemos un cuadrado de menor tamao. Se puede observar que el cuadrado resultante tiene efectivamente un lado de b - a. Luego, el rea de este cuadrado menor puede expresarse de la siguiente manera:

Ya que

Es evidente que el rea del cuadrado de lado c es la suma del rea de los cuatro tringulos de altura a y base b que estn dentro de l ms el rea del cuadrado menor:

Con lo cual queda demostrado el teorema.

[editar] Demostraciones supuestas de Pitgoras

Se cree que Pitgoras se bas en la semejanza de los tringulos ABC, AHC y BHC. La figura coloreada hace evidente el cumplimiento del teorema. Se estima que se demostr el teorema mediante semejanza de tringulos: sus lados homlogos son proporcionales.[1]

Sea el tringulo ABC, rectngulo en C. El segmento CH es la altura relativa a la hipotenusa, en la que determina los segmentos a y b, proyecciones en ella de los catetos a y b, respectivamente. Los tringulos rectngulos ABC, AHC y BHC tienen sus tres bases iguales: todos tienen dos bases en comn, y los ngulos agudos son iguales bien por ser comunes, bien por tener sus lados perpendiculares. En consecuencia dichos tringulos son semejantes. De la semejanza entre ABC y AHC: y dos tringulos son semejantes si hay dos o ms ngulos congruentes.

De la semejanza entre ABC y BHC:

Los resultados obtenidos son el teorema del cateto. Sumando:

Pero

, por lo que finalmente resulta:

La relacin entre las superficies de dos figuras semejantes es igual al cuadrado de su razn de semejanza. En esto pudo haberse basado Pitgoras para demostrar su teorema Pitgoras tambin pudo haber demostrado el teorema basndose en la relacin entre las superficies de figuras semejantes. Los tringulos PQR y PST son semejantes, de manera que:

siendo r la razn de semejanza entre dichos tringulos. Si ahora buscamos la relacin entre sus superficies:

obtenemos despus de simplificar que:

pero siendo

la razn de semejanza, est claro que:

Es decir, "la relacin entre las superficies de dos figuras semejantes es igual al cuadrado de la razn de semejanza". Aplicando ese principio a los tringulos rectngulos semejantes ACH y BCH tenemos que:

que de acuerdo con las propiedades de las proporciones nos da:

(I) y por la semejanza entre los tringulos ACH y ABC resulta que:

pero segn (I)

, as que:

y por lo tanto:

quedando demostrado el teorema de Pitgoras.

Los cuadrados compuestos en el centro y a la derecha tienen reas equivalentes. Quitndoles los tringulos el teorema de Pitgoras queda demostrado. Es asimismo posible que Pitgoras hubiera obtenido una demostracin grfica del teorema. Partiendo de la configuracin inicial, con el tringulo rectngulo de lados a, b, c, y los cuadrados correspondientes a catetos e hipotenusa izquierda-, se construyen dos cuadrados diferentes: Uno de ellos centro- est formado por los cuadrados de los catetos, ms cuatro tringulos rectngulos iguales al tringulo inicial. El otro cuadrado derecha- lo conforman los mismos cuatro tringulos, y el cuadrado de la hipotenusa.

Si a cada uno de estos cuadrados les quitamos los tringulos, evidentemente el rea del cuadrado gris (c2) equivale a la de los cuadrados amarillo y azul (b2 + a2), habindose demostrado el teorema de Pitgoras.

[editar] Demostracin de Euclides: proposicin I.47 de Los Elementos

Figura Euclides 1: La proposicin I.41[2] de Euclides. La superficie del rectngulo ABCD es el doble de la de cualquiera de los tringulos: sus bases son la misma DC-, y estn entre las mismas paralelas. Esto es cuanto necesita Euclides para demostrar el teorema de Pitgoras.

Figura Euclides 2: La proposicin I.36[3] de Euclides: los paralelogramos ABCD y EFCD tienen reas equivalentes, por tener igual base, y estar comprendidos entre las mismas paralelas.

Figura Euclides 3: La demostracin de Euclides es puramente geomtrica. Su columna vertebral es la sencilla proposicin I.41[2] de Los Elementos. El descubrimiento de los nmeros irracionales por Pitgoras y los Pitagricos supuso un contratiempo muy serio.[4] De pronto, las proporciones dejaron de tener validez universal, no siempre podan aplicarse. La demostracin de Pitgoras de su teorema se basaba muy probablemente en proporciones, y una proporcin es un nmero racional. Sera realmente vlida como demostracin? Ante esto, Euclides elabora una demostracin nueva que elude la posibilidad de encontrarse con nmeros irracionales. El eje de su demostracin es la proposicin I.47[5] de Los Elementos: En los tringulos rectngulos el cuadrado del lado opuesto al ngulo recto es igual a la suma de los cuadrados de los lados que comprenden el ngulo recto. Euclides (proposicin I.47) Basndose en la proposicin I.41[2] de Los Elementos, que equivale a decir que a igual base y altura, el rea del paralelogramo dobla a la del tringulo, (vase Figura Euclides 1). Se tiene el tringulo ABC, rectngulo en C (vase Figura Euclides 3), y se construye los cuadrados correspondientes a catetos e hipotenusa. La altura CH se prolonga hasta J. Seguidamente se traza cuatro tringulos, iguales dos a dos:

Tringulos ACK y ABD: son iguales, pues siendo AD=AC, y AK=AB, necesariamente BD=CK. Sus tres lados son iguales. Tringulos ABG y CBI: anlogamente, AB=BI, y BG=BC, as que AG=CI. Sus tres lados son asimismo iguales.

Abundando en las anteriores consideraciones, ntese que un giro con centro en A, y sentido positivo, transforma ACK en ABD. Y un giro con centro en B, y sentido tambin positivo, transforma ABG en CBI. En la demostracin de Leonardo da Vinci se encontrar nuevamente con giros que demuestran la igualdad de figuras. Vase (en la Figura Euclides 3) que:
1. Las paralelas r y s comprenden al tringulo ACK y el rectngulo AHJK, los cuales

tienen la misma base, AK. Por tanto de acuerdo con la proposicin I.41[2] de Los Elementos, AHJK tiene doble rea que ACK, (vase Figura Euclides 1).

2. Las paralelas m y n contienen a ABD y ADEC, cuya base comn es AD. As que el rea de ADEC es doble de la de ABD. Pero siendo ACK=ABD, resulta que el rectngulo AHJK y el cuadrado ADEC tienen reas equivalentes. Haciendos razonamientos similares con los tringulos ABG y CBI, respecto al cuadrado BCFG y al rectngulo HBIJ respectivamente, se concluye que stos ltimos tienen asimismo reas iguales. A partir de lo anterior, surge de inmediato que: "la suma de las reas de los cuadrados construidos sobre los catetos, es igual al rea del cuadrado construido sobre la hipotenusa".

[editar] Demostracin de Pappus

La proposicin I.36[3] de Euclides: los paralelogramos ABCD y EFCD tienen reas equivalentes, por tener igual base, y estar comprendidos entre las mismas paralelas.

La demostracin de Pappus parece ser unas musicales variaciones sobre un mismo tema, respecto a la de Euclides. Unos 625 aos despus que Euclides, Pappus[6] parece seguir su senda, y desarrolla una demostracin del teorema de Pitgoras basada en la proposicn I.36[3] de Los Elementos de Euclides: Dos paralelogramos de igual base, y entre las mismas paralelas, tienen superficies equivalentes. Partimos del tringulo ABC rectngulo en C, sobre cuyos catetos e hipotenusa hemos construido los cuadrados correspondientes. Prolongando CH hacia arriba se obtiene el rectngulo CEGI cuya diagonal CG determina en aqul dos tringulos rectngulos iguales al tringulo ABC dado: Los ngulos agudos GCI y ABC tienen sus lados perpendiculares El lado CI es igual al lado CB

En consecuencia los tringulos rectngulos ABC, ICG y EGC tienen sus tres lados iguales.
1. Los paralelogramos ACGF y AHMN tienen la misma base CG=HM, y estn

comprendidos entre las mismas paralelas, r y s. Por lo tanto tienen la misma superficie (Elementos I.36)
2. Aplicando el mismo principio a ACGF y ACED base comn AC, y paralelas m y

n- resulta que ambos paralelogramos tienen superficies asimismo equivalentes. De 1) y 2) se sigue que las superficies de ACED y AHMN son iguales. Anlogamente:
1. CGJB y BLMH tienen la misma base CG=MH, y estn comprendidos entre las

paralelas s y t. Sus superficies son equivalentes.

2. CGJB y CIKB tienen base comn CB, y estn entre las paralelas o y p. Sus

superficies son iguales. De dnde se deduce la equivalencia de las superficies de BLMH y de CIKB. El teorema de Pitgoras queda demostrado.

[editar] Demostracin de Bhaskara

Bhaskara desarrolla una demostracin grfica y algebraica del teorema de Pitgoras. Bhaskara II, el matemtico y astrnomo hind del siglo XII, nos da la siguiente demostracin del teorema de Pitgoras. Con cuatro tringulos rectngulos de lados a, b y c se construye el cuadrado de lado c izquierda-, en cuyo centro se forma otro cuadrado de lado (a-b). Redistribuyendo los cuatro tringulos y el cuadrado de lado (a-b), construimos la figura de la derecha, cuya superficie resulta ser la suma de la de dos cuadrados: uno de lado a azuly otro de lado b -naranja-. Se ha demostrado grficamente que c2 = a2 + b2 Algebraicamente: el rea del cuadrado de lado c es la correspondiente a los cuatro tringulos, ms el rea del cuadrado central de lado (a-b), es decir:

expresin que desarrollada y simplificada nos da el resultado c2 = a2 + b2, y el teorema queda demostrado.

[editar] Demostracin de Leonardo da Vinci

El diseo inicial, con el tringulo y los cuadrados de catetos e hipotenusa, es modificado por Leonardo da Vinci al aadir dos tringulos iguales al ABC: el ECF y el HIJ. En el elenco de inteligencias que abordaron el teorema de Pitgoras no falta el genio del Renacimiento, Leonardo da Vinci. Partiendo del tringulo rectngulo ABC con los cuadrados de catetos e hipotenusa, Leonardo aade los tringulos ECF y HIJ, iguales al dado, resultando dos polgonos, cuyas superficies va a demostrar que son equivalentes: 1. Polgono ADEFGB: la lnea DG lo divide en dos mitades idnticas, ADGB y DEFG. 2. Polgono ACBHIJ: la lnea CI determina CBHI y CIJA. Comparemos los polgonos destacados en gris, ADGB y CIJA: De inmediato vemos que tienen tres lados iguales: AD=AC, AB=AJ, BG=BC=IJ Asimismo es inmediata la igualdad entre los ngulos de los siguientes vrtices: A de ADGB y A de CIJA B de ADGB y J de CIJA Se concluye que ADGB y CIJA son iguales. De modo anlogo se comprueba la igualdad entre ADGB y CBHI. Adems, de un modo semejante a lo explicado en la demostracin de Euclides, ntese que un giro de centro A, y sentido positivo, transforma CIJA en ADGB. Mientras que un giro de centro B, y sentido negativo, transforma CBHI en ADGB. Todo ello nos lleva a que los polgonos ADEFGB y ACBHIJ tienen reas equivalentes. Pues bien, si a cada uno le quitamos sus dos tringulos iguales- las superficies que restan forzosamente sern iguales. Y esas superficies no son sino los dos cuadrados de los catetos

en el polgono ADEFGB, por una parte, y el cuadrado de la hipotenusa en el polgono ACBHIJ, por la otra. El teorema de Pitgoras queda demostrado.

[editar] Demostracin de Garfield

El polgono construido por Garfield es un trapecio de bases a y b, compuesto por tres tringulos rectngulos. James Abram Garfield (1831-1881), el vigsimo Presidente de los Estados Unidos,[7] desarroll una demostracin del teorema de Pitgoras publicada en el New England Journal of Education. Garfield construye un trapecio de bases a y b, y altura (a+b), a partir del tringulo rectngulo de lados a, b y c. Dicho trapecio resulta compuesto por tres tringulos rectngulos: dos iguales al dado, y un tercero, issceles de catetos c. En consecuencia:

(g.1) como corresponde a la superficie del trapecio, pero asimismo tenemos una figura compuesta por tres tringulos, dos de ellos iguales, de modo que:

(g.2) igualando la ecuacin (g.2) con la (g.1) obtenemos:

pasando el 1 / 2 al otro miembro y simplificando ...

expandiendo el miembro derecho ...

restando 2ab a ambos miembros, finalmente nos da:

y el teorema est demostrado.

Teorema del coseno

De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

El teorema del coseno es una generalizacin del teorema de Pitgoras en los tringulos no rectngulos que se utiliza, normalmente, en trigonometra. El teorema relaciona un lado de un tringulo con los otros dos y con el coseno del ngulo formado por estos dos lados: Teorema del coseno Dado un tringulo ABC, siendo , , , los ngulos, y a, b, c, los lados respectivamente opuestos a estos ngulos entonces:

En la mayora de los idiomas, este teorema es conocido con el nombre de teorema del coseno, denominacin no obstante relativamente tarda. En francs, sin embargo, lleva el nombre del matemtico persa Ghiyath al-Kashi que unific los resultados de sus predecesores.[1]

Fig. 1 - Notacin ms habitual de un tringulo.

Contenido
[ocultar]

1 Historia 2 El teorema y sus aplicaciones 3 Demostraciones

3.1 Por desglose de reas

3.2 Por el teorema de Pitgoras 3.3 Por la potencia de un punto con respecto a un crculo 3.4 Por el clculo vectorial 4.1 Geometra esfrica 4.2 Geometra hiperblica

4 Generalizacin en geometras no eucldeas

5 Generalizacin en el espacio eucldeo 6 Vase tambin 7 Referencias 8 Bibliografa

[editar] Historia
Los Elementos de Euclides, que datan del siglo III a. C., contienen ya una aproximacin geomtrica de la generalizacin del teorema de Pitgoras: las proposiciones 12 y 13 del libro II, tratan separadamente el caso de un tringulo obtusngulo y el de un tringulo acutngulo. La formulacin de la poca es arcaica ya que la ausencia de funciones trigonomtricas y del lgebra oblig a razonar en trminos de diferencias de reas.[2] Por eso, la proposicin 12 utiliza estos trminos:
En los tringulos obtusngulos, el cuadrado del lado opuesto al ngulo obtuso es mayor que los cuadrados de los lados que comprenden el ngulo obtuso en dos veces el rectngulo comprendido por un lado de los del ngulo obtuso sobre el que cae la perpendicular y la recta exterior cortada por la perpendicular, hasta el ngulo obtuso. Euclides, Elementos.[3]

Siendo ABC el tringulo, cuyo ngulo obtuso est en C, y BH la altura respecto del vrtice B (cf. Fig. 2 contigua), la notacin moderna permite formular el enunciado as:

Fig. 2 - Tringulo ABC con altura BH.

Faltaba esperar la trigonometra rabe-musulmana de la Edad Media para ver al teorema evolucionar a su forma y en su alcance: el astrnomo y matemtico al-Battani[4] generaliz el resultado de Euclides en la geometra esfrica a principios del siglo X, lo que permiti efectuar los clculos de la distancia angular entre el Sol y la Tierra.[5] [6] Fue durante el mismo perodo cuando se establecieron las primeras tablas trigonomtricas, para las

funciones seno y coseno. Eso permiti a Ghiyath al-Kashi,[7] matemtico de la escuela de Samarcanda, de poner el teorema bajo una forma utilizable para la triangulacin durante el siglo XV. La propiedad fue popularizada en occidente por Franois Vite quien, al parecer, lo redescubri independientemente.[8] Fue a finales del siglo XVII cuando la notacin algebraica moderna, aunada a la notacin moderna de las funciones trigonomtricas introducida por Euler en su libro Introductio in analysin infinitorum, permitieron escribir el teorema bajo su forma actual, extendindose el nombre de teorema (o ley) del coseno.[9]

[editar] El teorema y sus aplicaciones

El teorema del coseno es tambin conocido por el nombre de teorema de Pitgoras generalizado, ya que el teorema de Pitgoras es un caso particular: cuando el ngulo es recto o, dicho de otro modo, cuando , el teorema del coseno se reduce a:

que es precisamente la formulacin del teorema de Pitgoras.

Fig. 3 - Utilizacin del teorema del coseno: ngulo o lado desconocido. El teorema se utiliza en triangulacin (ver Fig. 3) para resolver un tringulo, y saber determinar el tercer lado de un tringulo cuando conocemos un ngulo y los lados adyacentes: . los ngulos de un tringulo cuando conocemos los tres lados:

. Estas frmulas son difciles de aplicar en el caso de mediciones de tringulos muy agudos utilizando mtodos simples, es decir, cuando el lado c es muy pequeo respecto los lados a y b o su equivalente, cuando el ngulo es muy pequeo. Existe un corolario del teorema del coseno para el caso de dos tringulos semejantes ABC y A'B'C' .

[editar] Demostraciones
[editar] Por desglose de reas

Fig. 4a - Demostracin del teorema del coseno por desglose de reas, cuando el ngulo es agudo. Un cierto nmero de las demostraciones del teorema hacen intervenir un clculo de reas. Conviene en efecto remarcar que

a, b, c son las reas de los cuadrados de lados respectivos a, b, c. ab cos() es el rea de un paralelogramo de lados a y b que forman un ngulo de 90- (para una prueba, ver el apndice).

Dado que cos() cambia de signo dependiendo de si es mayor o menor a 90, se hace necesario dividir la prueba en 2 casos La figura 4a (contigua) divide un heptgono de dos maneras diferentes para demostrar el teorema del coseno en el caso de un ngulo agudo. La divisin es la siguiente:

En verde, las reas a, b la izquierda, y el rea , c a la derecha. En rojo, el tringulo ABC en ambos diagramas y en amarillo tringulos congruentes al ABC. En azul, paralelogramos de lados a y b con ngulo 90-.

Igualando las reas y cancelando las figuras iguales se obtiene que , equivalente al Teorema del coseno.

Fig. 4b - Demostracin del teorema del coseno por desglose de reas, cuando el ngulo es obtuso. La figura 4b (contigua) desglosa un hexgono de dos maneras diferentes para demostrar el teorema del coseno en el caso de un ngulo obtuso. La figura muestra

En verde a, b la izquierda y c a la derecha. En azul -2ab cos(), recordando que al ser cos() negativo, la expresin completa es positiva. En rojo, dos veces el tringulo ABC para ambos lados de la figura. , como

Igualando reas y cancelando las zonas rojas da queramos demostrar.

[editar] Por el teorema de Pitgoras

Notemos que el Teorema de Cosenos es equivalente al Teorema de Pitgoras cuando el ngulo es recto. Por tanto slo es necesario considerar los casos cuando c es adyacente a dos ngulos agudos y cuando c es adyacente a un ngulo agudo y un obtuso. Primer caso: c es adyacente a dos ngulos agudos.

Caso 1: c es adyacente a dos ngulos agudos Consideremos la figura adjunta. Por el teorema de Pitgoras, la longitud c es calculada as:

(left) Pero, la longitud h tambin se calcula as: (left) Sumando ambas ecuaciones y luego simplificando obtenemos:

Por la definicin de coseno, se tiene:

y por lo tanto:

Sustituimos el valor de u en la ecuacin para c2, concluyendo que:

con lo que concluye la prueba del primer caso. Segundo caso: c es adyacente a un ngulo obtuso.

Caso 2: c es adyacente a un ngulo obtuso Consideremos la figura adjunta. El teorema de Pitgoras establece nuevamente c2 = h2 + u2 pero en este caso h2 = a2 (b + u)2. Combinando ambas ecuaciones obtenemos c2 = u2 + a2 b2 2bu u2 y de este modo: .

De la definicin de coseno, se tiene .

y por tanto:

Sustituimos en la expresin para c y simplificamos c = a-b -2b(a cos()-b), concluyendo nuevamente . Esto concluye la demostracin. Es importante notar, que si se considera a u como un segmento dirigido, entonces slo hay un caso y las dos demostraciones se convierten en la misma.

[editar] Por la potencia de un punto con respecto a un crculo

Fig. 6 - Demostracin del teorema del coseno utilizando la potencia de un punto con respecto a un crculo. Consideremos un crculo con centro en B y radio BC, como en la figura 6. Si AC es tangente al crculo, nuevamente se tiene el Teorema de Pitgoras. Cuando AC no es tangente, existe otro punto K de corte con el crculo. LA potencia del punto A con respecto a dicho crculo es . Por otro lado, AL = c+a y AP = c-a de modo que . Adems, CK= -2a cos() (ver el apndice) por lo que . Igualando las expresiones obtenidas se llega finalmente a:

Contrariamente a las precedentes, para esta demostracin, no es necesario recurrir a un estudio por caso pues las relaciones algebraicas son las mismas para el caso del ngulo agudo.

[editar] Por el clculo vectorial

Utilizando el clculo vectorial, ms precisamente el producto escalar, es posible encontrar el teorema del coseno en algunas lneas:

[editar] Generalizacin en geometras no eucldeas

Fig. 7 - Tringulo esfrico: dimensiones reducidas a, b y c ; ngulos , y . Para una superficie no eucldea de curvatura K, sealamos con R el radio de curvatura. Este verifica . Definimos entonces las dimensiones reducidas del tringulo: , , . En el caso de un tringulo esfrico, a, b y c corresponden a la medida angular de los segmentos de circunferencia maximal[10] [BC], [AC] y [AB] (ver Fig. 7).

[editar] Geometra esfrica

Artculo principal: Geometra esfrica

Cuando el radio de curvatura es muy grande comparado con las dimensiones del tringulo, es decir cuando , esta expresin se simplifica para dar la versin eucldea del teorema del coseno. Para hacerlo, : , etc.

Existe una identidad similar que relaciona los tres ngulos:

[editar] Geometra hiperblica

Artculo principal: Geometra hiperblica

En un tringulo hiperblico ABC, el teorema del coseno se escribe . Cuando el radio de curvatura se vuelve muy grande frente las dimensiones del tringulo, encontramos el teorema del coseno eucldeo a partir de los desarrollos limitados , etc., , etc.

[editar] Generalizacin en el espacio eucldeo

Fig. 8 - Tetraedro: vrtices, caras y ngulos. Consideremos un tetraedro A1A2A3A4 del espacio eucldeo, siendo:

la cara opuesta al vrtice la superficie de ;

el plano que contiene a la cara el ngulo diedral .

(La figura 8, contigua, presenta la notacin de los vrtices, caras y ngulos del tetraedro). Entonces, las superficies y ngulos verifican:

2ab+a.b(.b)= AC*AS"