Symmedian

En triangel med sina tre medianer (tunna svarta), sina tre bisektriser (streckade) och sina tre symmedianer (röda). Symmedianerna skär varandra i symmedianpunkten L, bisektriserna i den inskrivna cirkens medelpunkt I och medianerna i triangelns tyngdpunkt G.

Inom euklidisk geometri är en symmedian en av tre linjer som är associerade med varje triangel och som konstrueras genom att ta en av triangelns tre medianer och spegla den i den bisektris som går genom samma hörn. Vinkeln mellan bisektrisen och medianen är därmed lika med vinkeln mellan bisektrisen och symmedianen. Symmedianerna är cevianer.

De tre symmedianerna skär varandra i symmedianpunkten, ibland även kallad Lemoines punkt eller Grebes punkt. Symmedianpunkten till en rätvinklig triangel sammanfaller med mittpunkten på höjden mot hypotenusan.

Symmedianerna är isogonallinjer till medianerna (de har samma vinkel mot bisektrisen fast ligger på motsatt sida om denna) i förhållande till deras gemensamma hörnvinkel och symmedianpunkten utgör isogonalkonjugatet till medianernas skärningspunkt, det vill säga triangelns tyngdpunkt, och vice versa.

Symmediantriangeln har sina hörn i symmedianernas skärningspunkter med de motstående sidorna.

Begreppet introducerades 1873 av den franske matematikern Emile Lemoine som "antiparallella medianer" (médianes antiparallelès), men symmedianpunkten hade noterats tidigare av L'Huilier 1809 och Grebe 1847. Beteckningen "symmedian" härstammar från Maurice d'Ocagne 1883.

Namnet är en sammansättning av det grekiska förledet συν-, syn- (som blir sym- framför "b", "m" eller "p"), "tillsammans" och median. Eftersom median har latinska rötter är namnet ett hybridord.

Längd

Om symmedianen från hörnet i $C$ skär $\overline{AB}$ i $S_c$ så ges dess längd av

$|\overline{C{S}_c}|=\frac{|\overline{BC}|\cdot |\overline{AC}|\sqrt{2|\overline{BC}{|}^2+2|\overline{AC}{|}^2-|\overline{AB}{|}^2}}{|\overline{BC}{|}^2+|\overline{AC}{|}^2}$

Härledning

Uttrycket ovan kan härledas ur Stewarts sats som säger

$|\overline{C{S}_c}{|}^2=\frac{|\overline{B{S}_c}|\cdot |\overline{AC}{|}^2+|\overline{A{S}_c}|\cdot |\overline{BC}{|}^2}{|\overline{AB}|}-|\overline{B{S}_c}|\cdot |\overline{A{S}_c}|$

delningsförhållandet nedan som säger

$\frac{|\overline{A{S}_c}|}{|\overline{B{S}_c}|}=\frac{|\overline{AC}{|}^2}{|\overline{BC}{|}^2}$

och

$|\overline{B{S}_c}|+|\overline{A{S}_c}|=|\overline{AB}|$

genom enkel substitution.

Delningsförhållande

Om symmedianen från hörnet i $C$ skär $\overline{AB}$ i $S_c$ så delas $\overline{AB}$ i två delar som förhåller sig till varandra enligt

$\frac{|\overline{A{S}_c}|}{|\overline{B{S}_c}|}=\frac{|\overline{AC}{|}^2}{|\overline{BC}{|}^2}$

Notera att högerledet är kvadraten på ena ledet i bisektrissatsen, så om bisektrisen skär $\overline{AB}$ i $H_c$ har vi alltså även förhållandet

$\frac{|\overline{A{S}_c}|}{|\overline{B{S}_c}|}=\frac{|\overline{A{H}_c}{|}^2}{|\overline{B{H}_c}{|}^2}$

Bevis

Vi kallar punkten i vilken medianen från hörnet i $C$ skär $\overline{AB}$ för $M_c$. Med hjälp av sinussatsen och att $\sin \alpha =\sin (\pi -\alpha )$ får vi

$\frac{|\overline{A{M}_c}|}{|\overline{AC}|}=\frac{\sin \mathrm{\angle }AC{M}_c}{\sin \mathrm{\angle }A{M}_{c}C}$ och $\frac{|\overline{B{M}_c}|}{|\overline{BC}|}=\frac{\sin \mathrm{\angle }BC{M}_c}{\sin \mathrm{\angle }B{M}_{c}C}=\frac{\sin \mathrm{\angle }BC{M}_c}{\sin \mathrm{\angle }A{M}_{c}C}$

Om vi dividerar det första av dessa uttryck med det andra (och stuvar om lite) får vi

$\frac{|\overline{A{M}_c}|}{|\overline{B{M}_c}|}=\frac{|\overline{AC}|}{|\overline{BC}|}\frac{\sin \mathrm{\angle }AC{M}_c}{\sin \mathrm{\angle }BC{M}_c}$

På samma sätt som ovan får vi med avseende på $S_c$

$\frac{|\overline{A{S}_c}|}{|\overline{B{S}_c}|}=\frac{|\overline{AC}|}{|\overline{BC}|}\frac{\sin \mathrm{\angle }AC{S}_c}{\sin \mathrm{\angle }BC{S}_c}$

Om vi multiplicerar uttrycket för $M_c$ med uttrycket för $S_c$ får vi

$\frac{|\overline{A{M}_c}|}{|\overline{B{M}_c}|}\frac{|\overline{A{S}_c}|}{|\overline{B{S}_c}|}=\frac{|\overline{AC}{|}^2}{|\overline{BC}{|}^2}\frac{\sin \mathrm{\angle }AC{M}_c}{\sin \mathrm{\angle }BC{M}_c}\frac{\sin \mathrm{\angle }AC{S}_c}{\sin \mathrm{\angle }BC{S}_c}$

Men, eftersom vinkeln mellan bisektrisen och medianen är densamma som mellan bisektrisen och symmedianen gäller även (bisektrisen delar ju vinkeln $\mathrm{\angle }ACB$ i två lika vinklar) att

$\mathrm{\angle }AC{M}_c=\mathrm{\angle }BC{S}_c$ och

$\mathrm{\angle }AC{S}_c=\mathrm{\angle }BC{M}_c$

vilket ger oss efter konstaterandet att $|\overline{A{M}_c}|=|\overline{B{M}_c}|$

$\frac{|\overline{A{S}_c}|}{|\overline{B{S}_c}|}=\frac{|\overline{AC}{|}^2}{|\overline{BC}{|}^2}$

Vi ser också att om inte $|\overline{A{M}_c}|=|\overline{B{M}_c}|$ hade gällt, det vill säga för varje annan punkt på $\overline{AB}$ (låt oss kalla denna punkt $X^{\prime }$ och låt oss kalla skärningspunkten för den linje som hade varit speglingen av $\overline{C{X}^{\prime }}$ i bisektrisen för $X$) så hade vi haft förhållandet ("Steiners sats")

$\frac{|\overline{A{X}^{\prime }}|}{|\overline{B{X}^{\prime }}|}\frac{|\overline{AX}|}{|\overline{BX}|}=\frac{|\overline{AC}{|}^2}{|\overline{BC}{|}^2}$.

Härigenom visas också att

$\frac{|\overline{AX}|}{|\overline{BX}|}=\frac{|\overline{AC}{|}^2}{|\overline{BC}{|}^2}$ om och endast om $X=S_c$