pigor: ... otóż zauważ, że miary kątów wpisanych i środkowych opartych na tych
samych łukach są tu następujące :
∡DOB=2∡DCB i ∡AOC=2∡ABC i dodając stronami ⇒
⇒ 2∡DCB+2∡ABC = ∡DOB+∡AOC ⇔
(*) 2(∡DCB+∡ABC) = ∡DOB+∡AOC ,
ale
∡DCB+∡ABC=α − jako miara kąta zewnętrznego ΔEBC, gdzie E − punkt przecięcia
się cięciw AB i CD , zatem stąd z równości
(*)
2α=∡DOB+∡AOC ⇔
α= 12(∡DOB+∡AOC) c.n.w. . ...