Fórmula de Brahmagupta - Brahmagupta's formula

En geometría euclidiana , la fórmula de Brahmagupta se usa para encontrar el área de cualquier cuadrilátero cíclico (uno que se puede inscribir en un círculo) dadas las longitudes de los lados.

Fórmula

La fórmula de Brahmagupta da el área K de un cuadrilátero cíclico cuyos lados tienen longitudes a , b , c , d como

${\ Displaystyle K = {\ sqrt {(sa) (sb) (sc) (sd)}}}$

donde s , el semiperímetro , se define como

${\ Displaystyle s = {\ frac {a + b + c + d} {2}}.}$

Esta fórmula generaliza la fórmula de Heron para el área de un triángulo . Un triángulo puede considerarse como un cuadrilátero con un lado de longitud cero. Desde esta perspectiva, cuando d se acerca a cero, un cuadrilátero cíclico converge en un triángulo cíclico (todos los triángulos son cíclicos) y la fórmula de Brahmagupta se simplifica a la fórmula de Heron.

Si no se usa el semiperímetro, la fórmula de Brahmagupta es

${\ Displaystyle K = {\ frac {1} {4}} {\ sqrt {(-a + segundo + do + re) (a-segundo + do + re) (a + segundo-do + re) (a + b + cd)}}.}$

Otra versión equivalente es

${\ Displaystyle K = {\ frac {\ sqrt {(a ^ {2} + b ^ {2} + c ^ {2} + d ^ {2}) ^ {2} + 8abcd-2 (a ^ {4} } + b ^ {4} + c ^ {4} + d ^ {4})}} {4}} \ cdot}$

Prueba

Diagrama de referencia

Prueba trigonométrica

Aquí se utilizan las notaciones de la figura de la derecha. El área K del cuadrilátero cíclico es igual a la suma de las áreas de △ ADB y △ BDC :

${\ Displaystyle = {\ frac {1} {2}} pq \ sin A + {\ frac {1} {2}} rs \ sin C.}$

Pero como □ ABCD es un cuadrilátero cíclico, ∠ DAB = 180 ° - ∠ DCB . Por lo tanto pecado A = sen C . Por lo tanto,

${\ Displaystyle K = {\ frac {1} {2}} pq \ sin A + {\ frac {1} {2}} rs \ sin A}$

${\ Displaystyle K ^ {2} = {\ frac {1} {4}} (pq + rs) ^ {2} \ sin ^ {2} A}$

${\ Displaystyle 4K ^ {2} = (pq + rs) ^ {2} (1- \ cos ^ {2} A)}$

(usando la  identidad trigonométrica )

Resolviendo para DB del lado común , en △ ADB y △ BDC , la ley de los cosenos da

${\ Displaystyle p ^ {2} + q ^ {2} -2pq \ cos A = r ^ {2} + s ^ {2} -2rs \ cos C.}$

Sustituyendo cos C = −cos A (dado que los ángulos A y C son suplementarios ) y reordenando, tenemos

${\ Displaystyle 2 (pq + rs) \ cos A = p ^ {2} + q ^ {2} -r ^ {2} -s ^ {2}.}$

Sustituyendo esto en la ecuación para el área,

${\ Displaystyle 4K ^ {2} = (pq + rs) ^ {2} - {\ frac {1} {4}} (p ^ {2} + q ^ {2} -r ^ {2} -s ^ {2}) ^ {2}}$

${\ displaystyle 16K ^ {2} = 4 (pq + rs) ^ {2} - (p ^ {2} + q ^ {2} -r ^ {2} -s ^ {2}) ^ {2}. }$

El lado derecho tiene la forma a ² - b ² = ( a - b ) ( a + b ) y, por lo tanto, se puede escribir como

${\ Displaystyle [2 (pq + rs) -p ^ {2} -q ^ {2} + r ^ {2} + s ^ {2}] [2 (pq + rs) + p ^ {2} + q ^ {2} -r ^ {2} -s ^ {2}]}$

que, al reordenar los términos entre corchetes, da como resultado

${\ Displaystyle = [(r + s) ^ {2} - (pq) ^ {2}] [(p + q) ^ {2} - (rs) ^ {2}]}$

${\ Displaystyle = (q + r + sp) (p + r + sq) (p + q + sr) (p + q + rs).}$

Introduciendo el semiperímetro S = p + q + r + s/2,

${\ displaystyle 16K ^ {2} = 16 (Sp) (Sq) (Sr) (Ss).}$

Tomando la raíz cuadrada, obtenemos

${\ Displaystyle K = {\ sqrt {(Sp) (Sq) (Sr) (Ss)}}.}$

Prueba no trigonométrica

Una prueba alternativa, no trigonométrica, utiliza dos aplicaciones de la fórmula del área del triángulo de Heron en triángulos similares.

Extensión a cuadriláteros no cíclicos

En el caso de cuadriláteros no cíclicos, la fórmula de Brahmagupta se puede ampliar considerando las medidas de dos ángulos opuestos del cuadrilátero:

${\ Displaystyle K = {\ sqrt {(sa) (sb) (sc) (sd) -abcd \ cos ^ {2} \ theta}}}$

donde θ es la mitad de la suma de dos ángulos opuestos. (La elección de qué par de ángulos opuestos es irrelevante: si se toman los otros dos ángulos, la mitad de su suma es 180 ° - θ . Dado que cos (180 ° - θ ) = −cos θ , tenemos cos ² (180 ° - θ ) = cos ² θ .) Esta fórmula más general se conoce como fórmula de Bretschneider .

Es una propiedad de los cuadriláteros cíclicos (y en última instancia de los ángulos inscritos ) que los ángulos opuestos de un cuadrilátero suman 180 °. En consecuencia, en el caso de un cuadrilátero inscrito, θ es 90 °, de ahí el término

${\ Displaystyle abcd \ cos ^ {2} \ theta = abcd \ cos ^ {2} \ left (90 ^ {\ circ} \ right) = abcd \ cdot 0 = 0,}$

dando la forma básica de la fórmula de Brahmagupta. De la última ecuación se deduce que el área de un cuadrilátero cíclico es el área máxima posible para cualquier cuadrilátero con las longitudes de lado dadas.

Una fórmula relacionada, que fue probada por Coolidge , también da el área de un cuadrilátero convexo general. Es

${\ Displaystyle K = {\ sqrt {(sa) (sb) (sc) (sd) - \ textstyle {1 \ over 4} (ac + bd + pq) (ac + bd-pq)}}}$

donde p y q son las longitudes de las diagonales del cuadrilátero. En un cuadrilátero cíclico , pq = ac + bd según el teorema de Ptolomeo , y la fórmula de Coolidge se reduce a la fórmula de Brahmagupta.

Teoremas relacionados

• La fórmula de Heron para el área de un triángulo es el caso especial que se obtiene tomando d = 0 .
• La relación entre la forma general y extendida de la fórmula de Brahmagupta es similar a cómo la ley de los cosenos extiende el teorema de Pitágoras .
• Existen fórmulas de forma cerrada cada vez más complicadas para el área de polígonos generales en círculos, como describen Maley et al.

Referencias

enlaces externos

• La fórmula de Brahmagupta en ProofWiki
• Weisstein, Eric W. "Fórmula de Brahmagupta" . MathWorld .

Este artículo incorpora material de la prueba de la fórmula de Brahmagupta en PlanetMath , que está bajo la licencia Creative Commons Attribution / Share-Alike License .