Fórmula de Stewart

Avatar de Usuario
Ivan

Colaborador
Mensajes: 988
Registrado: Vie 15 Oct, 2010 7:18 pm
Medallas: 1
Nivel: Exolímpico

Fórmula de Stewart

Mensaje sin leer por Ivan » Lun 26 Nov, 2012 7:29 pm

Sean [math] un triángulo y [math] en [math]. Si [math], [math], [math], [math], [math] y [math] entonces se tiene
[math]

Imagen
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)

Avatar de Usuario
Ivan

Colaborador
Mensajes: 988
Registrado: Vie 15 Oct, 2010 7:18 pm
Medallas: 1
Nivel: Exolímpico

Re: Fórmula de Stewart

Mensaje sin leer por Ivan » Lun 26 Nov, 2012 7:30 pm

Como casos particulares tenemos la fórmula para la mediana y junto con el teorema de la bisectriz la fórmula para la bisectriz.
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)

Avatar de Usuario
Ivan

Colaborador
Mensajes: 988
Registrado: Vie 15 Oct, 2010 7:18 pm
Medallas: 1
Nivel: Exolímpico

Re: Fórmula de Stewart

Mensaje sin leer por Ivan » Lun 26 Nov, 2012 8:36 pm

Demostración:
Por el teorema del coseno en [math],
[math]

Por el teorema del coseno en [math],
[math]

Multiplicando la primer igualdad por [math] y la segunda por [math] y usando que [math] (porque [math]) tenemos
[math]


Entonces [math] y finalmente
[math]
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)

Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial OFO - Medalla de Oro
Mensajes: 952
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 2
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

Re: Fórmula de Stewart

Mensaje sin leer por Gianni De Rico » Lun 20 May, 2019 8:51 pm

Demostración:
Sea $\Gamma$ el circuncírculo de $\triangle ABC$, y sea $P$ la segunda intersección de $AD$ con $\Gamma$. Por arco capaz en $\Gamma$ tenemos $\angle ACD=\angle ACB=\angle BPA=\angle BPD$, y por opuestos por el vértice $\angle ADC=\angle BDP$, luego $\triangle ADC\simeq \triangle BDP\Rightarrow \frac{PB}{AC}=\frac{BD}{AD}=\frac{PD}{CD}$ (*). Análogamente, $\triangle ABD\simeq \triangle CPD\Rightarrow \frac{PC}{BA}=\frac{CD}{AD}$ (**).
Como $ABPC$ es cíclico, por el Teorema de Ptolomeo tenemos $AC\cdot PB+AB\cdot PC=BC\cdot AP$. Reemplazando, por (*), $PB=\frac{AC\cdot BD}{AD}$; por (**), $PC=\frac{AB\cdot CD}{AD}$; y por (*), $AP=AD+PD=AD+\frac{BD\cdot CD}{AD}$, resulta $AC\cdot \frac{AC\cdot BD}{AD}+AB\cdot \frac{AB\cdot CD}{AD}=BC\cdot (AD+\frac{BD\cdot CD}{AD})\Rightarrow AC^2\cdot BD+AB^2\cdot CD=BC\cdot AD^2+BC\cdot BD\cdot CD$, luego $BC\cdot AD^2=AC^2\cdot BD+AB^2\cdot CD-BC\cdot BD\cdot CD$.
Por último, reemplazando $BC=a$, $CA=b$, $AB=c$, $BD=m$, $CD=n$ y $AD=d$ obtenemos $$ad^2=b^2m+c^2n-amn$$

En particular, cuando $D$ es el punto medio de $BC$ obtenemos $BD=CD=\frac{a}{2}$ y $AD=m$ (cambiando el significado de $m$), conocida como la Fórmula de la Mediana (o Fórmula de Apolonio) $$2b^2+2c^2=a^2+4m^2$$
No tienes los permisos requeridos para ver los archivos adjuntos a este mensaje.
1  
[math]

Responder