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 Mal:Nowrap og angis også ofte som (A,B;T). Hvis linjestykket AB halveres av punktet T, er derfor λ = 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 λ = - 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 Mal:Nowrap 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 Mal:Nowrap hvor t er en parameter som også kalles en barysentrisk koordinat. For t = 0 er T = A, mens t = 1 gir T = B. Midtpunktet mellom A og B tilsvarer t = 1/2. Dette kan også skrives som Mal:Nowrap hvor vektoren v = B - A forbinder punktene A og B.
Velger man et punkt O som origo i dette affine rommet, kan man da angi punktet T ved posisjonsvektoren Mal:Nowrap og tilsvarende for punktet A. Da har man tilsvarende at
Man kan nå identifisere linjestykket AT med vektoren Mal:Nowrap og tilsvarende TB med Mal:Nowrap. På den måten vil linjestykket Mal:Nowrap tilsvare vektoren v. Dermed har man for delingsforholdet
hvor ikke lengden til vektorene inngår.[1]
Hvis linjestykket AB er en indre del av et større linjestykke PQ , vil man på tilsvarende måte kunne skrive Mal:Nowrap. Punktet A er da angitt ved parameterverdien t = a , mens punktet B har t = b. Da blir på samme måte
Det viser at delingsforholdet er negativt når t < a som tilsvarer at T ligger utenfor punktet A. Det samme skjer når t > b som betyr at delingspunktet ligger utenfor punktet B. Mer nøyaktig, så er da λ < - 1, mens i det første tilfellet ligger delingsforholdet i intervallet Mal:Nowrap. Når punktet T nærmer seg B, går delingsforholdet mot ±∞, avhengig av fra hvilken side tilnærmelsen skjer.[2]
Harmonisk deling
Betrakter man et linjestykke AB som blir innvendig delt av et punkt T, så kan man alltid finne et annet punkt S som deler linjestykket utvendig og som har et like stort delingsforhold, men med motsatt fortegn. Man sier da at punktene S og T er harmonisk konjugerte med hensyn til linjestykket AB. Da oppfyller delingsforholdene (A,B;T) = - (A,B;S) som kan skrives som
hvor s og t er de affine parametrene for punktene T og S. Nå er b - t = b - a - (t - a) og b - s = b - a - (s - a) som gir
I euklidsk geometri vil linjestykket AB ha en lengde proporsjonal med parameterdifferansen b - a og tilsvarende for de andre linjestykkene. Resultatet kan da skrives som
som viser at AB er det harmoniske gjennomsnittet av linjestykkene AT og AS. Man sier også at linjestykket AB er harmonisk delt av punktene T og S. Gitt A, B og T, kan man ved en ren geometrisk konstruksjon finne punktet S som gir en slik spesiell deling.