Kaksoissuhde

Geometriassa kaksoissuhde on neljän samalla suoralla olevien pisteiden $A$, $B$, $C$ ja $D$ muodostama suhde

Pisteet A', B', C' ja D' ovat pisteiden A, B, C ja D projektiot niiden kautta kulkevalla suoralla. Kaksoissuhteet (A, B, C, D) ja (A', B', C', D') ovat yhtä suuret.

Kuva ja sen päälle kirjoitetut yhtälöt osoittavat, kuinka kaksoissuhdetta voidaan käyttää todellisten kohteiden mittaamiseen, kun ne on kuvattu perspektiivisellä projektiolla. A, B, C, D ja V ovat kuvan pisteitä, A', B', C' ja D' niiden vastineet todellisuudessa. Kohteiden todellisten, metreinä ilmaistujen etäisyyksien kaksoissuhde on yhtä suuri kuin niiden kuvassa näkyvien, tässä pikseleinä ilmoitettujen etäisyyksien kaksoissuhde.

Kohdassa (1) on laskettu poikkikadun leveys (8 m) rakennusten tunnettujen leveyksien ( ja 6 m) avulla.

Kohdassa (2) riittää, että yhden rakennuksen leveys tunnetaan, koska pakopiste V on näkyvissä.

${\frac {\frac {\overrightarrow {AB}}{\overrightarrow {BC}}}{\frac {\overrightarrow {AD}}{\overrightarrow {DC}}}}={\frac {{\overrightarrow {AB}}\cdot {\overrightarrow {CD}}}{{\overrightarrow {BC}}\cdot {\overrightarrow {DA}}}}$

missä janat on varustettu etumerkein. Usein merkitään myös

$({\overrightarrow {AC}},{\overrightarrow {BD}})={\frac {{\overrightarrow {AB}}\cdot {\overrightarrow {CD}}}{{\overrightarrow {BC}}\cdot {\overrightarrow {DA}}}}$.

Jos $({\overrightarrow {AC}},{\overrightarrow {BD}})=-1$, pisteet $A$, $B$, $C$, $D$ muodostavat harmonisen pisteistön.

Kompleksilukujen kaksoissuhde

Kompleksiluvuille kaksoissuhde määritellään samaan tapaan lausekkeena

$(z_{1},z_{2},z_{3},z_{4})={\frac {(z_{1}-z_{3})(z_{2}-z_{4})}{(z_{2}-z_{3})(z_{1}-z_{4})}}.$

Termien järjestys määritelmässä ei ole vakiintunut, vaan tämän lisäksi yleisesti käytetään myös muita vastaavia määritelmiä kaksoissuhteelle.

Jos jokin luvuista $z_{n}$ on ääretön, jätetään tästä lausekkeesta pois ne tekijät, joissa se esiintyy. Niinpä esimerkiksi

$(z_{1},z_{2},z_{3},\infty )={\frac {(z_{1}-z_{3})}{(z_{2}-z_{3})}}$

,

joka on samalla kaksoissuhteen $(z-1,z_{2},z_{3},z_{4})$ raja-arvo, kun z_4 lähestyy ääretöntä.

Kaksoissuhde pysyy muuttumattomina Möbius-kuvauksissa. Toisin sanoen jos P(z) on Möbius-kuvaus, on $(P(z_{1}),P(z_{2}),P(z_{3}),P(z_{4}))=(z_{1},z_{2},z_{3},z_{4})$.