โ ๐๐ ๐๐๐๐๐๐๐ก๐๐๐ฆ ๐๐๐๐๐ โ
The terms in the Maclaurin series
cos(x) = 1 โ xยฒ/2! + xโด/4! โ ...
sin(x) = x โ xยณ/3! + xโต/5! โ ...
are the (signed) lengths of involutes. Here is the sketch of an elementary proof.
basic trigonometry: the base of an isosceles triangle with apex angle ฮธ and legs of length L has length 2Lรsin(ฮธ/2)
a bit of combinatorics: binomial coeff's
and a tiny piece of calculus: sin(t)/t converges to 1 as t goes to 0
I would be amazed if that was the first time someone came up with this proof.
jstor.org/stable/2974881
or this answer on Math Stack Exchange:
math.stackexchange.com/a/2758743