Następnie zauważmy, że każda z par przeciwległych kątów w czworokącie wynosi 90°, co dowodzi, że jest to prostokąt.
Stąd wnioskujemy, że środkami okręgów wpisanych w trójkąty powstałe przez przekątne czworokąta wpisanego w okrąg tworzą prostokąt. q.e.d.
Uogólnienie Twierdzenie to można uogólnić do twierdzenia japońskiego dla wielokątów wpisanych w okrąg, które mówi, że suma promieni okręgów wpisanych w trójkąty powstałe z triangulacji wielokąta wpisanego nie zależy od sposobu tej triangulacji. W szczególnym przypadku dla czworokąta wynika stąd, że sumy promieni dwóch par przeciwległych okręgów wpisanych są równe.
Aby wykazać przypadek czworokąta, można skonstruować równoległobok styczny do wierzchołków powstałego prostokąta, którego boki są równoległe do przekątnych czworokąta. Konstrukcja ta pokazuje, że równoległobok jest rombem, co jest równoważne równości sum promieni okręgów wpisanych odpowiadających każdej z przekątnych.
Przypadek czworokąta implikuje przypadek ogólny, ponieważ dowolne dwie triangulacje wielokąta wpisanego można połączyć ciągiem przekształceń zmieniających jedną przekątną na inną, przy czym w każdym kroku zastępuje się dwa okręgi wpisane w jednym czworokącie innymi dwoma o tej samej sumie promieni. Przypisy
Kategoria:Twierdzenia o okręgach i czworokątach