Stewarts sats

Figur 1.

Stewarts sats är en sats inom euklidisk geometri som uttrycker ett förhållande mellan en triangels sidor och en linje som går genom ett hörn och delar den motstående sidan (en så kallad cevian). Med beteckningar enligt figur 1 säger Stewarts sats att

$m{b}^2+n{c}^2=a(mn+d^2).$

I specialfallet $m=n=\frac{a}{2}$ får vi Apollonios sats

$b^2+c^2=2(m^2+d^2)$

Satsen är uppkallad efter den skotske matematikern Matthew Stewart som 1746 publicerade den i sitt verk Some general theorems of considerable use in the higher parts of mathematics.

Bevis

Trigonometriskt bevis

Satsen bevisas enkelt med hjälp av cosinussatsen.

Betrakta triangeln i figur 1 med sidorna Mall:Math och med cevianen Mall:Math till sidan Mall:Math. Cevianen delar Mall:Math i två delar av längden Mall:Math respektive Mall:Math. Kalla vinkeln mellan Mall:Math och Mall:Math för θ och vinkeln mellan Mall:Math och Mall:Math för θ′, där θ är motstående till Mall:Math och θ′ är motstående till Mall:Math. Eftersom θ och θ′ är supplementvinklar är cos θ = −cos θ′. För θ respektive θ′ säger cosinussatsen att

$c^2=m^2+d^2-2dm\cos \theta$

$b^2=n^2+d^2-2dn\cos {\theta }^{\prime }=n^2+d^2+2dn\cos \theta$

Multiplicerar vi den första med Mall:Math och den andra med Mall:Math och sedan adderar dem får vi

$\begin{array}{cc}m{b}^2+n{c}^2& =n(m^2+d^2-2dm\cos \theta )+m(n^2+d^2+2dn\cos \theta )\\ & =n{m}^2+n{d}^2+m{n}^2+m{d}^2\\ & =(m+n)(mn+d^2)\\ & =a(mn+d^2)\end{array}$

Geometriskt bevis

Figur 2.

Ett geometriskt bevis kan åstadkommas genom att som i figur 2 dra en höjd, $h$, till $a$ och sedan uttrycka $b^2$, $c^2$ och $d^2$ med hjälp av Pythagoras sats som summan av $h^2$ och kvadrater på delsträckor av $a$.

$b^2=h^2+(n+x{)}^2$

$c^2=h^2+(m-x{)}^2$

$d^2=h^2+x^2\iff h^2=d^2-x^2$

som tillsammans med det triviala konstaterandet $a=n+x+(m-x)=n+m$ ger

$\begin{array}{cc}m{b}^2+n{c}^2& =m(h^2+(n+x{)}^2)+n(h^2+(m-x{)}^2)\\ & =m{h}^2+m{n}^2+2mnx+m{x}^2+n{h}^2+n{m}^2-2nmx+n{x}^2\\ & =m(d^2-x^2)+m{n}^2+2mnx+m{x}^2+n(d^2-x^2)+n{m}^2-2nmx+n{x}^2\\ & =(n+m)(d^2-x^2+x^2+mn)+2mnx-2mnx\\ & =(n+m)(d^2+mn)\\ & =a(mn+d^2)\end{array}$