Описанный четырёхугольник

Определение

$ABCD$ — описанный чётырёхугольник $\iff$существует окружность $\omega$, вписанная в $ABCD$.

Свойства

1. $ABCD$ — описанный $\implies AB+CD=BC+AD$.

Признаки

1. $ABCD$ — описанный $\impliedby AB+CD=BC+AD$.