Uzasadnienie że trapez wpisany w koło jest równoramienny. Jeżeli ktoś chce obejrzeć animację to musi poczekać na słowo: " Początek"
Niech AB będzie dolną podstawą trapezu.
O niech oznacza środek koła, X niech będzie punktem przecięcia dolnej podstawy trapezu, opadającej pod kątem prostym do podstaw trapezu.
Ponieważ AO="OB" (promienie koła) i trójkąty OXA i OXB są prostokątne,
więc z tw. Pitagorasa wynika że AX="XB."
Podobnie pokazujemy, że DY="YC."
Niech DE i DF będą wysokościami trapezu. Oczywiście DF="CE. Czworokąty FXYD i EXYD są prostokątami, więc FX="DY=YC=EX." Stąd AF=AX-FX="BX-EX=BE.
Z cechy bkb wynika, że trójkąty AFD i BEC są przestajace, więc AD="BC."