En una entrada anterior dimos la demostración de Maupertuis (1727) de que el área de la cicloide es el triple de la del círculo que la genera.
Aquí damos otra demostración, que aparece en Wallis (1695)1, de ese hecho y que también es elemental pero más simple, pues no requiere ningún lema previo, sólo la fórmula del área de la superficie lateral del cilindro.
Consideremos media cicloide como en la figura siguiente.
Trazamos la semicircunferencia , con diámetro , eje de simetría de la cicloide.
Por un punto en el diámetro trazamos una paralela a la base, que corta a la semicircunferencia en y a la cicloide en .
Sea el punto de tangencia del círculo generador con la base cuando genera el punto .
Entonces el segmento es igual al arco que es igual al arco . Pero todo el segmento es igual a la semicircunferencia , y por tanto el arco es igual al segmento , que es igual al , porque es un paralelogramo.
Trazamos un cuadrado , y sobre ese cuadrado construimos, como en la figura siguiente, un semicilindro cuyas bases semicirculares están en planos perpendiculares al de la cicloide.
Un plano perpendicular al plano de la cicloide y que pase por la diagonal del cuadrado cortará a la superficie del semicilindro en dos partes iguales, separadas por una semielipse .
El arco en el semicilindro es igual al arco en la semicircunferencia , porque (porque está en la diagonal del cuadrado ) y la semicircunferencia es igual a la .
Pero hemos visto que el arco es igual al segmento , entonces el arco es igual al segmento .
Como esto sucede para cualquier posición de en , cuando se desplaza por el segmento el área barrida por el segmento será igual al área barrida por el arco en la superficie del semicilindro.
Ese área, cuando recorre todo el diámetro , es la mitad de la superficie (lateral) del semicilindro de altura , y por tanto es igual a , es decir igual a la del círculo generador de la cicloide.
Por tanto el área bajo la cicloide es el triple del área del círculo que la genera.
En términos del semicilindro anterior, el área de la cicloide es igual a la del semicilindro, incluyendo sus bases semicirculares.
1 – John Wallis. De cycloide et corporibus inde genitis, problematum solutio. En: Opera Mathematica vol. I (1695), pag 499. (Wallis coloca el semicilindro de forma diferente.)
