El área de la cicloide en Wallis

Demostración, que aparece en Wallis (1695) elemental pues no requiere ningún lema previo, sólo la fórmula del área de la superficie lateral del cilindro.