Harmonisk delning

Figur 1.

S

och

T

är inre respektive yttre delningspunkt till

{\overline {AB}}

medan

A

och

B

är yttre respektive inre delningspunkt till

{\overline {ST}}

.

Harmonisk delning^[1]^[2] betecknar inom geometri ett avståndsförhållande mellan fyra punkter (se figur 1) belägna på en rät linje sådant att delningsförhållandena:

(A,B;S)=-(A,B;T)\Leftrightarrow {\vec {AS}}:{\vec {SB}}=-{\vec {AT}}:{\vec {TB}}\Rightarrow |{\overline {AS}}|:|{\overline {SB}}|=|{\overline {AT}}|:|{\overline {TB}}|

alternativt

(S,T;A)=-(S,T;B)\Leftrightarrow {\vec {SA}}:{\vec {SB}}=-{\vec {SB}}:{\vec {BT}}\Rightarrow |{\overline {SA}}|:|{\overline {AT}}|=|{\overline {SB}}|:|{\overline {BT}}|

.

Om $(A,B;S)=-(A,B;T)=p:q$ så är : $(S,T;B)=-(S,T;A)=(p-q):(p+q)$

Att dubbelförhållandet för en harmonisk delning $(A,B;S,T)={\frac {(A,B;S)}{(A,B;T)}}=-1$ framgår direkt ur definitionen.

$S$ och $T$ är harmoniska konjugat till varandra i förhållande till ${\overline {AB}}$ liksom $A$ och $B$ är harmoniska konjugat till varandra i förhållande till ${\overline {ST}}$

$S$ kan inte vara mittpunkt på ${\overline {AB}}$ (och ej heller kan $S$ vara lika med $A$ eller $B$ ). (Se avsnittet Harmonisk delning och en punkt på en cirkel nedan).

De båda delningspunkterna ligger på samma sida om mittpunkten på den sträcka de delar.

Några bevis

Att $(A,B;S)=-(A,B;T)\Leftrightarrow (S,T;A)=-(S,T;B)$ , det vill säga att om $S$ och $T$ delar ${\vec {AB}}$ harmoniskt, så delas även ${\vec {ST}}$ harmoniskt av $A$ och $B$ , visas enkelt genom:

(A,B;S)=-(A,B,T)\Leftrightarrow {\frac {\vec {AS}}{\vec {SB}}}=-{\frac {\vec {AT}}{\vec {TB}}}\Leftrightarrow {\frac {\vec {AS}}{\vec {AT}}}=-{\frac {\vec {SB}}{\vec {TB}}}\Leftrightarrow {\frac {\vec {SA}}{\vec {AT}}}=-{\frac {\vec {SB}}{\vec {BT}}}\Leftrightarrow (S,T;A)=-(S,T;B)

Att $(A,B;S)=-(A,B;T)=p:q$ innebär att $(S,T;B)=-(S,T;A)=(p-q):(p+q)$ visas nedan:

Vi har:

1.\ \ {\frac {\vec {AS}}{\vec {SB}}}={\frac {p}{q}}\Rightarrow {\frac {{\vec {AB}}+{\vec {BS}}}{\vec {SB}}}={\frac {p}{q}}\Rightarrow {\frac {{\vec {AB}}-{\vec {SB}}}{\vec {SB}}}={\frac {p}{q}}\Rightarrow {\frac {\vec {AB}}{\vec {SB}}}-1={\frac {p}{q}}\Rightarrow {\frac {\vec {AB}}{\vec {SB}}}={\frac {p}{q}}+1={\frac {p-q}{q}}\Rightarrow {\frac {\vec {SB}}{\vec {AB}}}={\frac {q}{p+q}}\Rightarrow {\vec {SB}}={\frac {q}{p+q}}\cdot {\vec {AB}}

, vilket utnyttjas i:

2.\ \ {\frac {\vec {AS}}{\vec {SB}}}={\frac {p}{q}}\Rightarrow {\frac {\vec {AS}}{\vec {AB}}}\cdot {\frac {p+q}{q}}={\frac {p}{q}}\Leftrightarrow {\vec {AS}}={\frac {p}{p+q}}\cdot {\vec {AB}}

3.\ \ {\frac {\vec {AT}}{\vec {TB}}}=-{\frac {p}{q}}\Rightarrow {\frac {{\vec {AB}}+{\vec {BT}}}{\vec {TB}}}=-{\frac {p}{q}}\Rightarrow {\frac {\vec {AB}}{\vec {TB}}}-1=-{\frac {p}{q}}\Rightarrow {\frac {\vec {AB}}{\vec {BT}}}+1={\frac {p}{q}}\Rightarrow {\frac {\vec {AB}}{\vec {BT}}}={\frac {p}{q}}-1={\frac {p-q}{q}}\Rightarrow {\vec {BT}}={\frac {q}{p-q}}\cdot {\vec {AB}}

, vilket utnyttjas i:

4.\ \ {\frac {\vec {AT}}{\vec {TB}}}=-{\frac {p}{q}}\Rightarrow {\frac {\vec {AT}}{\vec {BT}}}={\frac {p}{q}}\Rightarrow {\frac {\vec {AT}}{\vec {AB}}}\cdot {\frac {p-q}{q}}={\frac {p}{q}}\Leftrightarrow {\vec {AT}}={\frac {p}{p-q}}\cdot {\vec {AB}}

Således har vi från 1 och 3 att

(S,T;B)={\frac {\vec {SB}}{\vec {BT}}}={\frac {q\cdot (p-q)\cdot {\vec {AB}}}{(p+q)\cdot q\cdot {\vec {AB}}}}={\frac {p-q}{p+q}}

och från 2 och 4 att

(S,T;A)={\frac {\vec {SA}}{\vec {AT}}}=-{\frac {-{\vec {AS}}}{\vec {AT}}}=-{\frac {p\cdot (p-q)\cdot {\vec {AB}}}{(p+q)\cdot p\cdot {\vec {AB}}}}=-{\frac {p-q}{p+q}}

.

Grafisk konstruktion av en harmonisk delning

Betrakta figur 2. Om man har en given sträcka med ändpunkterna $A$ och $B$ samt endera av de båda delningspunkterna, antingen den inre delningspunkten $S$ eller den yttre $T$ , kan den andra delningspunkten erhållas på ett flertal sätt. Nedan beskrivs ett av de enklare sätten:

Dra en godtycklig linje (ljusblå i figur 2) genom $A$ och en linje genom $B$ (också denna ljusblå i figur 2) som är parallell med linjen genom $A$ . Avsätt en godtycklig punkt $C$ på linjen genom $A$ och dra en linje från $C$ (röd) genom den givna delningspunkten. Skärningspunkten med linjen genom $B$ ger oss punkten $D$ om $S$ var given eller $D'$ om det i stället var $T$ . Markera nu den andra punkten $D'$ eller $D$ på samma avstånd från $B$ men på andra sidan om $B$ och dra en linje (röd) genom denna punkt och $C$ . Där denna linje skär linjen genom $A$ och $B$ har vi den sökta delningspunkten.

Att så är fallet visas enkelt genom att konstatera att triangeln $\triangle ACS$ är likformig med $\triangle BDS$ och att $\triangle ACT$ är likformig med $\triangle BD'T$ . Den första likformigheten ger att $|AS|:|SB|=|AC|:|DB|$ och den andra ger $|AT|:|TB|=|AC|:|D'B|=|AC|:|DB|$ och således är $|AS|:|SB|=|AT|:|TB|$ .

En närbesläktad metod att konstruera en harmonisk delning med ett givet delningsförhållande i form av en kvot beskrivs i avsnittet Grafisk konstruktion av ett delningsförhållande i artikeln Delningsförhållande.

En konstruktionsmetod som enbart använder en linjal (rätskiva) beskrivs i avsnittet Konstruktion av den fjärde harmoniska delningspunkten enbart med hjälp av linjal eller rätskiva av artikeln Fullständig fyrsiding. Det nedanstående avsnittet Harmonisk delning och en punkt på en cirkel ger ytterligare ett förhållande som kan utnyttjas för konstruktion (åtminstone i teorin - rent praktiskt finns det enklare sätt).

Harmonisk delning och en punkt på en cirkel

I figur 3 visas en cirkel med medelpunkten $M$ och med diametern $|AB|$ . För en punkt $Q$ på cirkelns omkrets gäller att dess fotpunkt $S$ på diametern och skärningspunkten $T$ mellan cirkelns tangent i $Q$ och diameterns förlängning delar sträckan ${\overline {AB}}$ harmoniskt.

Bevis

$|AM|=|BM|=|QM|$ ger:

1.\ \ |AS|=|AM|+|MS|=|QM|+|MS|

,

2.\ \ |AT|=|AM|+|MT|=|QM|+|MT|

,

3.\ \ |SB|=|BM|-|MS|=|QM|-|MS|

samt

4.\ \ |TB|=|MT|-|BM|=|MT|-|QM|

.

Om $S$ och $T$ delar ${\overline {AB}}$ harmoniskt gäller:

{\frac {|AS|}{|SB|}}={\frac {|AT|}{|TB|}}\Leftrightarrow |AS|\cdot |TB|=|SB|\cdot |AT|\Leftrightarrow |AS|\cdot |TB|-|SB|\cdot |AT|=0

Insättning av 1 till 4 ger:

|AS|\cdot |TB|-|SB|\cdot |AT|=

=(|QM|+|MS|)(|MT|-|QM|)-(|QM|-|MS|)(|QM|+|MT|)=

=|QM|\cdot |MT|-|QM|^{2}+|MS|\cdot |MT|-|MS|\cdot |QM|-(|QM|^{2}+|QM|\cdot |MT|-|MS|\cdot |QM|-|MS|\cdot |MT|)=

=-2\cdot |QM|^{2}+2\cdot |MS|\cdot |MT|

Då $\triangle MSQ$ är likformig med $\triangle MQT$ har vi att:

{\frac {|MS|}{|QM|}}={\frac {|QM|}{|MT|}}\Leftrightarrow |QM|^{2}=|MS|\cdot |MT|

Insättning ger:

|AS|\cdot |TB|-|SB|\cdot |AT|=-2\cdot |QM|^{2}+2\cdot |MS|\cdot |MT|=-2\cdot |QM|^{2}+2\cdot |QM|^{2}=0

och således delas ${\overline {AB}}$ harmoniskt av $S$ och $T$ . QED!

Förhållandet innebär också att om $S=M$ så är tangenten i $Q$ parallell med ${\overline {AB}}$ och skär alltså inte ${\overline {AB}}$ (eller, om man så vill: skärningspunkten "ligger i" plus/minus oändligheten). Härur följer också att båda delningspunkterna till en sträcka ligger på samma sida om sträckans mittpunkt. Om $S=A\Rightarrow S=T$ eller $S=B\Rightarrow S=T$ finns inte heller någon harmonisk delning av ${\overline {AB}}$ .