Wiemy, że:

• jeśli okrąg można wpisać w czworokąt wypukły, to sumy długości przeciwległych boków czworokąta są równe
• jeśli okrąg można wpisać w czworokąt wypukły, to dwusieczne wszystkich kątów tego