Delingsforhold

**Delingsforhold** blir brukt i geometrien til å angi forholdet mellom lengdene til to deler av et linjestykke. I enkleste tilfelle kan man tenke seg en linje som går gjennom to punkter *A* og *B*. Linjestykket mellom disse to punktene kan da betegnes med *AB*. Et nytt punkt *T* på dette linjestykket deler det i to mindre stykker *AT* og *TB*. Delingsforholdet er da gitt ved brøken  og angis også ofte som (*A,B;T*). Hvis linjestykket *AB* halveres av punktet *T*, er derfor *&lambda;* = 1. Jo nærmere *T* ligger *A*, desto mindre blir delingsforholdet. I det motsatte tilfellet når *T* nærmer seg *B*, vokser det mot uendelig.

Hvis man angir en viss retning langs linjen slik at den har en *orientering*, vil et linjestykke ha en positiv eller negativ verdi avhengig av om man går med eller mot denne retningen. Betegnelsen *AB* betyr da at man beveger seg fra *A* mot *B*. Det medfører at *AB = - BA*.

Dette gjør det mulig å utvide definisjonen av delingsforholdet til å gjelde også når punktet *T* ligger utenfor punket *A* eller punktet *B*. Dette kan da kalles **utvendig deling** og vil gi et negativt delingsforhold bortsett fra verdien *&lambda;* = - 1 som ikke lar seg konstruere. I det motsatte tilfellet er delingsforholdet positivt og man har en **innvendig deling**.

Delingsforholdet ble benyttet av den tyske matematiker August Möbius i 1827 da han introduserte barysentriske koordinater i geometrien. De var det første eksempel på *homogene koordinater* som senere viste seg spesielt egnet i projektiv geometri.

I euklidsk geometri kan verdien av delingsforholdet (*A,B;T*) beregnes fra lengdene til linjestykkene *AT* og *TB*. Det er derfor uforandret eller **invariant** under translasjoner og rotasjoner. Men det har en bredere betydning da det er invariant også under affine transformasjoner. Disse definerer en mer generell affin geometri hvor lengder av linjestykker ikke lenger er definert, heller ikke vinkler mellom linjer. På tross av det er likevel delingsforholdet  veldefinert. Derimot er det ikke invariant under projektive transformasjoner, men kan for det tilfellet benyttes til å definere det invariante dobbeltforholdet.

## Affin geometri

Et punkt *T* på linjen mellom *A* og *B* kan i affin geometri angis som  hvor *t* er en parameter som også kalles en *barysentrisk koordinat*. For *t* = 0&thinsp; er *T = A*, mens *t* = 1&thinsp; gir *T = B*. Midtpunktet mellom *A* og *B* tilsvarer *t* = 1/2. Dette kan også skrives som   hvor vektoren **v** = *B - A&thinsp;* forbinder punktene *A* og *B*.

Velger man et punkt *O* som origo i dette affine rommet, kan man da angi punktet *T* ved posisjonsvektoren    og tilsvarende for punktet *A*. Da har man tilsvarende at

:  \mathbf{r}_T = \mathbf{r}_A + \mathbf{v}t. 

Man kan nå identifisere linjestykket *AT&thinsp;* med vektoren  og tilsvarende *TB* med . På den måten vil linjestykket  tilsvare vektoren **v**. Dermed har man for delingsforholdet

:  \lambda = {t\over 1 - t} 

hvor ikke lengden til vektorene inngår.

Hvis linjestykket *AB&thinsp;* er en indre del av et større linjestykke *PQ&thinsp;*, vil man på tilsvarende måte kunne skrive . Punktet *A* er da angitt ved parameterverdien *t = a&thinsp;*, mens punktet *B&thinsp;* har *t = b*. Da blir på samme måte

:  \lambda = {t -a\over b - t} 

Det viser at delingsforholdet er negativt når * t < a&thinsp;* som tilsvarer at *T&thinsp;* ligger utenfor punktet *A*. Det samme skjer når *t > b&thinsp;* som betyr at delingspunktet ligger utenfor punktet *B*. Mer nøyaktig, så er da *&lambda;*  {b - t\over t - a} = - {b - s\over s - a} 

hvor *s&thinsp;* og *t&thinsp;* er de affine parametrene for punktene *T&thinsp;* og *S*. Nå er *b - t = b - a* - (*t - a*)&thinsp;  og *b - s* = *b - a* - (*s - a*)&thinsp; som gir

:  {2\over b - a} = {1\over t - a} +  {1\over s - a}. 

I euklidsk geometri vil  linjestykket *AB&thinsp;* ha en lengde proporsjonal med parameterdifferansen *b - a&thinsp;* og tilsvarende for de andre linjestykkene. Resultatet kan da skrives som

:  {2\over AB} = {1\over AT} + {1\over AS}   

som viser at *AB&thinsp;* er det harmoniske gjennomsnittet av linjestykkene *AT&thinsp;* og *AS*. Man sier også at linjestykket *AB&thinsp;* er harmonisk delt av punktene *T&thinsp;* og *S*. Gitt *A*, *B&thinsp;* og *T*, kan man ved en ren geometrisk konstruksjon finne punktet *S&thinsp;* som gir en slik spesiell deling.

## Referanser


## Se også

* Harmonisk deling
* Harmonisk gjennomsnitt
* Dobbeltforhold