Considera tre angoli consecutivi $a \widehat{O} b, b \widehat{O} c$ e $c \widehat{O} d$. Dimostra che, se $a \widehat{O} b \cong c \widehat{O} d$, allora $a \hat{O} c \cong b \hat{O} d$.
Considera tre angoli consecutivi $a \widehat{O} b, b \widehat{O} c$ e $c \widehat{O} d$. Dimostra che, se $a \widehat{O} b \cong c \widehat{O} d$, allora $a \hat{O} c \cong b \hat{O} d$.
Valgono le relazioni:
{aOc= alfa + bOc
{bOd= alfa + bOc
Sottraendo membro a membro otteniamo:
aOc - bOd = 0
aOc = bOd