Slope of Tangent to Cycloid/Historical Note

Theorem
The geometric proof of the slope of the tangent to a cycloid was discovered by in $1638$.