Libro de los Lemas, Arquímedes, prop. #3
En la figura se tienen el para de arcos {AE, EF} y los pares de segmentos {AD, DG} y {GB, FB}. Si los elementos de dos de estos pares son iguales, los del tercero también.
En la proposición de Arquímedes se deduce que si los arcos AE y EF y los segmentos AD y DG son iguales, también los son los segmentos GB y FB.
Puede pararse la animación y mover manualmente el punto D.