Salinon de Arquimedes
En el Libro de Lemas (Liber Assumptorum), el gran matemático griego Arquímedes de Siracusa (287-212 a. C.) trabajó con varias proposiciones interesantes. Uno de ellos es el cálculo del área de un Salinon (salero).
La región delimitada por los cuatro semicírculos es un Salinon. Arquímedes demostró que el área de Salinon es la misma área que el círculo construido en la figura siguiente.
Al mover el control 't', vemos el cambio dinámico de Salinon y también el círculo. La tabla de la derecha actualiza las áreas de Salinon y círculo en tiempo real, dando una prueba dinámica de esta propiedad..