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.)