Das grundsätzlich zu lösende Gleichungssystem, mit den zu den gegebenen Größen gehörenden Standardgleichungen, lautet
$\cdot ~ 4s_c^2=2a^2+2b^2-c^2 \\
\cdot ~ w_\gamma^2 =ab\left(1-\dfrac{c^2}{(a+b)^2}\right) \\
\cdot ~ 4h_c^2 =\dfrac{4a^2b^2-(a^2+b^2-c^2)^2}{c^2}$
Beweis.
Satz des Apollonius.
Aus dem Schaubild entliest man mit Hilfe des Kosinussatzes
$\begin{array}{l l}
x^2 &= m^2 + s^2 - 2sm\cdot\cos(\varphi) \\[2em]
y^2 &= m^2 + s^2 - 2sm\cdot\cos(\overline{\varphi}) \\
&= m^2 + s^2 + 2sm\cdot\cos(\varphi)
\end{array}$
da $\cos(\overline{\varphi}) = \cos(\pi-\varphi) = -\cos(\varphi)$; also
$\underline{x^2 + y^2 = 2(m^2 + s^2)}~~~$ (Satz des Apollonius).
Beweis $s_{c}=\dfrac{\sqrt{2a^{2}+2b^{2}-c^{2}}}{2}$.
Nach dem Satz des Apollonius ist $2s^2 = x^2 +y^2 -2m^2$.
Mit $s=s_a$, $x=b$, $y=c$ und $m = \dfrac{a}{2}$ wird
$2s_a^2 = b^2+c^2-2\cdot\dfrac{a^2}{4}$ bzw. $
4s_a^2 = 2b^2 +2c^2 -a^2$.
Setzt man darin den Kosinussatz ein, wird
$\begin{array}{ll}
4s_a^2 &= 2b^2 +2c^2 -a^2 \\
&= 2b^2 +2c^2 -\big( b^2+c^2-2bc\cdot\cos(\alpha) \big) \\[1em]
&= b^2 +c^2 +2bc\cdot\cos(\alpha).
\end{array}$
Zusatz: Setzt man erneut den Kosinussatz ein, wird
$\begin{array}{ll}
4s_a^2 &= b^2 +c^2 +2bc\cdot\cos(\alpha) \\
&= \big( a^2+2bc\cdot\cos(\alpha) \big) +2bc\cdot\cos(\alpha) \\[1em]
&= a^2+4bc\cdot\cos(\alpha).
\end{array}
$
Damit erhält man für die Seitenhalbierenden die Formeln
$\begin{array}{l l l l}
s_{a}
&=\dfrac{\sqrt{2b^{2}+2c^{2}-a^{2}}}{2}
&=\dfrac{\sqrt{b^{2}+c^{2}+2bc\cos(\alpha)}}{2}
&=\sqrt{\dfrac{a^{2}}{4}+bc\cos(\alpha)} \\[1em]
s_{b}
&=\dfrac{\sqrt{2c^{2}+2a^{2}-b^{2}}}{2}
&=\dfrac{\sqrt{c^{2}+a^{2}+2ca\cos(\beta)}}{2}
&=\sqrt{\dfrac{b^{2}}{4}+ca\cos(\beta)} \\[1em]
s_{c}
&=\dfrac{\sqrt{2a^{2}+2b^{2}-c^{2}}}{2}
&=\dfrac{\sqrt{a^{2}+b^{2}+2ab\cos(\gamma)}}{2}
&=\sqrt{\dfrac{c^{2}}{4}+ab\cos(\gamma)}
\end{array}$
Winkelhalbierendensatz.
Sei $w$ eine beliebige Ecktransversale von $C$, welche die gegenüberliegende Seite $c$ in die Teilstrecken $m$ und $n$ unterteilt, dann entliest man der Abbildung mit Hilfe des Sinussatzes
$\dfrac{\sin(\chi)}{\sin(\gamma_1)} = \dfrac{b}{m}$ und $
\dfrac{\sin(\overline{\chi})}{\sin(\gamma_1)} = \dfrac{a}{n}$.
Für die supplementären Winkel bei $W$ ist $
\sin(\overline{\chi}) = \sin(180^\circ -\chi) =\sin(\chi)$; also
$\sin(\chi)=\dfrac{b}{m}\cdot \sin(\gamma_1)
= \dfrac{a}{n}\cdot \sin(\gamma_2) =\sin(\overline{\chi})$. Damit erhält man die allgemeine Beziehung
$$\dfrac{b\sin(\gamma_1)}{a\sin(\gamma_2)} = \dfrac{m}{n}$$
Für den Sonderfall $\gamma_1 =\gamma_2$ ist $w$ die Winkelhalbierende und man erhält
$$\dfrac{b}{a} = \dfrac{m}{n}$$
Satz von Stewart.
Ist $d$ eine beliebige Ecktransversale der Dreiecksecke $C$, welche die gegenüberliegende Seite $c$ in die Teilstrecken $m$ und $n$ unterteilt, so ist
${a^2n+b^2m = c\cdot (mn +d^2)}.$
Beweis:
Nach dem Kosinussatz ist
$a^2=n^2+d^2-2dn\cos(\chi) \\[1em]
%
b^2=m^2+d^2-2dm\cos(\overline{\chi})
=m^2+d^2-2dm\cos(180^\circ-\chi) \\
~\Leftrightarrow~
b^2=m^2+d^2+2dm\cos(\chi)
\hspace{15mm}\scriptsize\textsf{[da $\cos(\pi-x)=-\cos(x)$]} \\[1em]
$
$\begin{array}{l l l}
\Rightarrow & a^2m + b^2n &= mn^2+m^2n +(m+n)d^2 \\
& &= (m+n)(mn+d^2) \\
& &= c \cdot (mn+d^2) \hspace{15mm}\square
\end{array}$
Beweis $w_\gamma =\sqrt{ab\left(1-\dfrac{c^2}{(a+b)^2}\right)}$.
Nach dem Satz von Stewart ist für die Winkelhalbierende $
{a^2n+b^2m = c\cdot (mn +w^2)}$
$~\Leftrightarrow~
w^2 = \dfrac{a^2n+b^2m}{c} -mn.$
Andererseits gilt nach dem Winkelhalbierendensatz $
\dfrac{a}{b} = \dfrac{n}{m}.$
$\Leftrightarrow~ m=\dfrac{a}{b}n %\\
~\Rightarrow~
c= m+n = \dfrac{a}{b}n +n
~\Leftrightarrow~
n=\dfrac{bc}{a+b}
$ bzw. $
m =\dfrac{ac}{a+b}.$
$\Rightarrow~ mn = \dfrac{abc^2}{(a+b)^2}.$
$\begin{array}{l l l l}
\Rightarrow &w^2
& = \dfrac{a^2n+b^2m}{c} -mn
& = \dfrac{a^2 \dfrac{bc}{a+b} +b^2 \dfrac{ac}{a+b}}{c}
-\dfrac{abc^2}{(a+b)^2} \\[1em]
& & &= \dfrac{a^2b + ab^2}{a+b}
-\dfrac{abc^2}{(a+b)^2} \\[1em]
& & &= \dfrac{ab(a+b)}{a+b} -\dfrac{abc^2}{(a+b)^2} \\[1em]
& & &= ab \left( 1 -\dfrac{c^2}{(a+b)^2} \right) \hspace{15mm}\square
\end{array}$
Zusatz:
Beweis $w_\gamma =\dfrac{2ab \cos(\frac{\gamma}{2})}{a+b}$.
Es ist
· Winkelhalbierendensatz: $\dfrac{b}{a} =\dfrac{m}{n}$
· Kosinussatz:
$n^2=a^2+w^2-2aw\cos(\frac\gamma2) \\
m^2=b^2+w^2-2bw\cos(\frac\gamma2)$
$\Rightarrow~
a^2 m^2 = b^2 n^2 \\
~\Leftrightarrow~
a^2 \bigl( b^2+w^2-2bw\cos(\frac\gamma2) \bigr)
= b^2 \bigl( a^2+w^2-2aw\cos(\frac\gamma2) \bigr) \\
~\Leftrightarrow~
a^2b^2 +w^2a^2 -2bw\cos(\frac\gamma2)a^2
=a^2b^2 +w^2b^2 -2aw\cos(\frac\gamma2)b^2 \\
~\Leftrightarrow~
w^2 (a^2-b^2) = 2w\cos(\frac\gamma2) (a^2b -ab^2)
\hspace{15mm} \scriptsize\text{[wobei $~~w>0$]} \\
~\Leftrightarrow~
w(a+b)(a-b) =2\cos(\frac\gamma2) ab(a-b) \\
~\Leftrightarrow~
a=b ~~\lor~~ w(a+b) = 2ab \cos(\frac\gamma2) \hspace{15mm}\square
$
Beweis $w_\gamma =\dfrac{2F}{c\, \cos\left(\frac{\alpha-\beta}{2} \right)}$.
Aus ${w_\gamma =\dfrac{2ab \cos(\frac{\gamma}{2})}{a+b}}$ wird mit Hilfe der Flächenformeln ${F
=\frac12 bc \sin(\alpha)
=\frac12 ca \sin(\beta)
=\frac12 ab \sin(\gamma)}$
$\begin{array}{l l l}
w_\gamma
&=\dfrac{2ab \cos(\frac{\gamma}{2})}{a+b} \\[1em]
&= \dfrac{2 \dfrac{2F}{c\sin(\beta)} \dfrac{2F}{c\sin(\alpha)}
\cos(\frac{\gamma}{2})}{\dfrac{2F}{c\sin(\beta)}+\dfrac{2F}{c\sin(\alpha)}} \\[2.5em]
&=\dfrac{\dfrac{8F^2}{c^2} \dfrac{1}{\sin(\alpha)\sin(\beta)} \cos(\frac{\gamma}{2})}{\dfrac{2F}{c} \left(\dfrac{1}{\sin(\alpha)} + \dfrac{1}{\sin(\beta)}\right)} \\[2.5em]
&= \dfrac{4F}{c} \dfrac{\cos(\frac{\gamma}{2})}{\sin(\alpha)+\sin(\beta)} \\[2em]
&= \dfrac{4F}{c} \dfrac{\cos\left(\frac{180^\circ-(\alpha+\beta)}{2}\right)}{\sin(\alpha)+\sin(\beta)} \\[2.5em]
&= \dfrac{4F}{c} \dfrac{\sin\left(\frac{\alpha+\beta}{2}\right)}{\sin(\alpha)+\sin(\beta)} & \scriptsize\textsf{[da $\cos(\frac\pi2-x)=\sin(x)$]} \\[2em]
&= \dfrac{4F}{c} \dfrac{\sin\left(\frac{\alpha+\beta}{2}\right)}{2\sin\left(\frac{\alpha+\beta}{2}\right)\cos\left(\frac{\alpha-\beta}{2}\right)} & \scriptsize\textsf{[da $\sin(x)+\sin(y)=2\sin\left(\frac{x+y}{2}\right)\cos\left(\frac{x-y}{2}\right)$]} \\[2em]
&=\dfrac{2F}{c\, \cos\left(\frac{\alpha-\beta}{2} \right)} &\square
\end{array}$
Damit hat man für die Winkelhalbierenden die Formeln
$\begin{array}{l l l l}
w_\alpha
&=\dfrac{2bc\cos(\frac{\alpha}{2})}{b+c}
&=\dfrac{2F}{a\cos\left( \frac{\beta -\gamma }{2} \right)}
&=\sqrt{bc \left( 1-\dfrac{a^2}{(b+c)^2} \right)} \\[1.5em]
w_\beta
&=\dfrac{2ca\cos(\frac{\beta}{2})}{c+a}
&=\dfrac{2F}{b\cos\left( \frac{\gamma -\alpha }{2} \right)}
&=\sqrt{ac \left( 1-\dfrac{b^2}{(a+c)^2} \right)} \\[1.5em]
w_\gamma
&=\dfrac{2ab\cos(\frac{\gamma }{2})}{a+b}
&=\dfrac{2F}{c\cos\left( \frac{\alpha -\beta }{2} \right)}
&=\sqrt{ab \left( 1-\dfrac{c^2}{(a+b)^2} \right)}
\end{array}$
Beweis $F=\dfrac{\sqrt{4a^2b^2-(a^2+b^2-c^2)^2}}{4} =\frac12 ch_c$.
$\begin{array}{l l l}
F^2
&= \bigl(\frac12 bc\sin(\alpha) \bigr)^2 \\[1em]
&= \dfrac{b^2c^2 \bigl( 1-\cos^2(\alpha) \bigr)}{4} & \longleftarrow~~
a^2=b^2+c^2-2bc\cos(\alpha) ~~ \textsf{[Kosinussatz]} \\
&=
\dfrac{b^2c^2 \left( 1-\left(\dfrac{b^2+c^2-a^2}{2bc} \right)^2 \right)}{4} \\
&= \dfrac{ b^2c^2-\dfrac{\left( b^2+c^2-a^2 \right)^2}{4} }{4} \\[1em]
&= \dfrac{4b^2c^2 -\left( b^2+c^2-a^2 \right)^2}{4^2} &\square \\
\end{array}$
Damit hat man für die Dreiecksfläche die Formeln
${F
=\dfrac{\sqrt{4a^2b^2-(a^2+b^2-c^2)^2}}{4}
=\dfrac{\sqrt{4a^2c^2-(a^2+c^2-b^2)^2}}{4}
=\dfrac{\sqrt{4b^2c^2-(b^2+c^2-b^2)^2}}{4} }$
Diese Rechnung ist allerdings aufwendig. Einfacher ist es auszunutzen, dass die Winkelhalbierende, die Seitenhalbierende und zwei Seitenlängen mit der Höhe rechtwinklige Dreiecke bilden.
Sei $|CH|=h$ die Höhe, $|CW|=w$ die Winkelhalbierende und $|CM|=s$ die Seitenhalbierende; sowie $|AH|=x$ und $|BH|=y$ und $|WH|=p$ und $|MH|=q$.
Dann entliest man
· $y=2q+x$
wegen $|AM|=|BM|
~\Leftrightarrow~
x+q = y-q$.
· $\dfrac{b}{a}=\dfrac{x+p}{y-p}=\dfrac{\sqrt{x^2+h^2}}{\sqrt{y^2+h^2}}$
was aus dem Winkelhalbierendensatz (siehe oben) folgt.
$\Rightarrow~ (x+p)^2(y^2+h^2)=(y-p)^2(x^2+h^2) \\
~\Leftrightarrow~
(x^2+p^2+2px)(y^2+h^2) = (y^2+p^2-2py)(x^2+h^2) \\
~\Leftrightarrow~
\underbrace{x^2y^2} + x^2h^2
+p^2y^2 +\underbrace{p^2h^2}
+2pxy^2+2ph^2x \\
{}\hspace{20mm}=
\underbrace{x^2y^2} +h^2y^2
+p^2x^2 +\underbrace{p^2h^2}
-2px^2y -2ph^2y \\
~\Leftrightarrow~
h^2x^2-h^2y^2-p^2x^2+p^2y^2
=
-2ph^2x -2ph^2y
-2pxy^2 -2px^2y \\
~\Leftrightarrow~
(h^2-p^2)(x^2-y^2)
=
-2ph^2(x+y)
-2p(xy^2+x^2y) \\
~\Leftrightarrow~
(h^2-p^2)(x^2-y^2)
=
-2ph^2(x+y)
-2p xy (x+y) \\
~\Leftrightarrow~
(h^2-p^2)(x-y) \underbrace{(x+y)}
=
-2p\underbrace{(x+y)} (h^2+xy)
\hspace{15mm}\small\text{[wobei $~~~x+y>0$]} \\[1em]
~\Leftrightarrow~
(h^2-p^2)(x-y) + 2p(h^2+xy) = 0 \\[1.5em]$
Mit $y=2q+x$ wird
$-2q(h^2-p^2) + 2p(h^2+x^2+2qx) = 0 %\\
~\Leftrightarrow~
x^2 +2qx +h^2-\dfrac{q (h^2-p^2)}{p} =0$
mit der grundsätzlich positiven Lösung der quadratischen Gleichung
$\underline{\underline{
x=-q +\sqrt{q^2 -h^2 +\dfrac{q (h^2-p^2)}{p}} }}$
Es wird $x+y = x + (2q+x) =2x+2q
=2\sqrt{q^2 -h^2 +\dfrac{q (h^2-p^2)}{p}}.$
Mit $c=x+y$ und $p=\sqrt{w_\gamma^2-h_c^2}$ und $q=\sqrt{s_c^2-h_c^2}$ und $h=h_c$ wird
$\boxed{~~ c = 2\sqrt{ s_c^2 -2h_c^2
+(2h_c^2-w_\gamma^2)
\sqrt{\dfrac{s_c^2-h_c^2}{w_\gamma^2-h_c^2}} }
~~}$
Aufgrund der Beziehungen $a^2=h^2+y^2$ und $b^2=h^2+x^2$ lassen sich die beiden anderen Seitenlängen direkt mit den Größen $s,w,h$ ausdrücken.
Eine etwas kompaktere Darstellung von $a$ und $b$, in Abhängigkeit von der bereits ermittelten Seitenlänge $c$, erhält man mit Hilfe des Satzes von Apollonius (siehe oben).
Es ist $x=c-y = c-(2q+x) ~\Leftrightarrow~ x=\dfrac{c-2q}{2}$
bzw. $y=2q+x = 2q + \dfrac{c-2q}{2}
~\Leftrightarrow~ y= \dfrac{c+2q}{2}.$
Wobei $s^2 = q^2+h^2$ gilt.
Nach dem Satz des Apollonius ist
$a^2+b^2 = 2\left(s^2+\left( \dfrac{c}{2} \right)^2 \right) \\
~\Leftrightarrow~
a^2 +h^2 + y^2 = 2s^2 +\dfrac{2c^2}{4} \\
~\Leftrightarrow~
a^2 +h^2 + \left(\dfrac{c+2q}{2} \right)^2
= 2s^2 +\dfrac{2c^2}{4} \\[1em]
~\Leftrightarrow~
a^2+h^2 +\dfrac{(c+2q)^2}{4} = 2s^2 +\dfrac{2c^2}{4} \\[1em]
~\Leftrightarrow~
4a^2 +4h^2 + c^2 +4q^2 +4qc = 8s^2 +2c^2 \\
~\Leftrightarrow~
4a^2 +4h^2 +4(s^2-h^2) +4qc = 8s^2 +c^2 \\
~\Leftrightarrow~
4a^2 = 4s^2 +c^2 -4qc = 4s^2 +c^2 -4c\sqrt{s^2-h^2} \\[1em]
\Rightarrow~ \boxed{
~a =\frac12 \sqrt{4s_c^2 +c^2 -4c\sqrt{s_c^2-h_c^2}}~ }
$
Ähnlich wie bei der Rechnung für $a$ wird
$a^2+b^2 = 2\left(s^2+\left( \dfrac{c}{2} \right)^2 \right) \\
~\Leftrightarrow~
a^2+b^2 = 2s^2 +\dfrac{2c^2}{4} \\
~\Leftrightarrow~
4a^2+4b^4 = 8s^2 +2c^2 \\
~\Leftrightarrow~
(4s^2 +c^2 -4qc) +4b^2 = 8s^2 +2c^2 \\
~\Leftrightarrow~
4b^2 = 4s^2 +c^2 +4qc = 4s^2 +c^2 +4c\sqrt{s^2-h^2} \\[1em]
\Rightarrow~ \boxed{
~b =\frac12 \sqrt{4s_c^2 +c^2 +4c\sqrt{s_c^2-h_c^2}}~ }
$
Da damit alle Seitenlängen bekannt sind, lassen sich die Innenwinkel mit Hilfes des Kosinussatzes berechnen.
Beispiel: