Wersja z 2023-10-10
Na rycinie przedstawiono:
|
Czworokąt (jak i każdy inny wielokąt) jest wpisywalny, jeśli symetralne wszystkich jego boków przecinają się w jednym punkcie, będącym środkiem okręgu opisanego na takim wielokącie. Ponadto czworokąt jest wpisywalny, jeśli suma miar każdej z obu par jego przeciwległych kątów wynosi 180° (`pi`): `alpha + gamma = beta + delta = pi`. Iloczyn długości obu przekątnych takiego czworokąta równy jest sumie iloczynów długości przeciwległych boków: `z_1 z_2 = ac + bd` (twierdzenie Ptolemeusza).