Tangentfyrhörning

Exempel på en tangentfyrhörning

En tangentfyrhörning eller en omskriven fyrhörning är en fyrhörning i vilken en cirkel kan inskrivas, alltså en cirkel som invändigt tangerar alla fyra sidorna. Medelpunkten hos denna cirkel ligger i skärningspunkten för bisektriserna till de fyra hörnvinklarna. Dessa bisektriser skär inte varandra i en punkt i alla fyrhörningar, utan endast i de fyrhörningar som kan ha en inskriven cirkel. Att bisektrisernas skär varandra är således ett nödvändigt och tillräckligt villkor för att en fyrhörning ska ha en inskriven cirkel.

Exempel på tangentfyrhörningar är drake, romb och kvadrat. En fyrhörning är en tangentfyrhörning om och endast om dess konsekutiva sidor a, b, c och d uppfyller a + c = b + d (se figuren till höger), vilket kallas Pitots sats.

De viktigaste storheterna hos en tangentfyrhörning uttrycks inte i sidornas längder utan i de fyra tangentlängderna. Med tangentlängderna menas avstånden från de fyra hörnen till de punkter på sidorna där den inskrivna cirkeln tangerar sidorna. De fyra tangentlängderna som utgår ifrån hörnen A, B, C, D betecknas e, f, g, h respektive (se nedre figuren till höger). Då gäller formlerna nedan.

Area

En tangentfyrhörning med tangentlängderna e, f, g, h har arean

$K={\sqrt {(e+f+g+h)(efg+fgh+ghe+hef)}}.$

Inskrivna cirkelns radie

Tangentlängderna och inskrivna cirkelns radie

Den i en tangentfyrhörning inskrivna cirkeln har en radie som ges av

$r={\sqrt {\frac {efg+fgh+ghe+hef}{e+f+g+h}}}$

där e, f, g, h är tangentlängderna.

Vinklar

Hörnvinklarna i en tangentfyrhörning ABCD kan uttryckas i tangentlängderna e, f, g, h som

$\sin {\frac {A}{2}}={\sqrt {\frac {efg+fgh+ghe+hef}{(e+f)(e+g)(e+h)}}},$

$\sin {\frac {B}{2}}={\sqrt {\frac {efg+fgh+ghe+hef}{(f+e)(f+g)(f+h)}}},$

$\sin {\frac {C}{2}}={\sqrt {\frac {efg+fgh+ghe+hef}{(g+e)(g+f)(g+h)}}},$

$\sin {\frac {D}{2}}={\sqrt {\frac {efg+fgh+ghe+hef}{(h+e)(h+f)(h+g)}}}.$

Diagonaler

Längderna på diagonalerna p = AC och q = BD i en tangentfyrhörning ABCD ges av

$\displaystyle p={\sqrt {{\frac {e+g}{f+h}}{\Big (}(e+g)(f+h)+4fh{\Big )}}},$

$\displaystyle q={\sqrt {{\frac {f+h}{e+g}}{\Big (}(e+g)(f+h)+4eg{\Big )}}}$

där e, f, g, h är tangentlängderna.

Se även

• Cyklisk fyrhörning