kąt ACD jest kątem zewnętrznym trójkąta ABC ( więc ma miarę równą sumie miar kątów wewnętrznych do niego nie przyległych.
kąt ACD = α + α = 2α
kąt AEF = 90⁰ − α
kąt CED = kąt AEF = 90⁰ − α −−− ( bo są kątami wierzchołkowymi)
kąt EDC = 180⁰ −( 90⁰ − α +2α) = 180⁰ −90⁰ −α = 90⁰ − α
kąty CED = EDC = 90⁰ −α
zatem trójkąt CDE −−− jest równoramiennym
pozd.
