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.