Talk:Cosine to Power of Odd Integer

From ProofWiki
Jump to navigation Jump to search

I changed the exponent to $2n+1$ from $2n-1$ because I think the formula is cleaner, hope that's OK --Ybab321 (talk) 13:43, 19 August 2013 (UTC)

No worries.
The OCD completist in me wonders whether we could post both forms up. --prime mover (talk) 15:10, 19 August 2013 (UTC)
The more the merrier, should the alternate form be made a corollary? --Ybab321 (talk) 00:48, 20 August 2013 (UTC)
My suggestion would be: two separate transcluded subpages: /Variant 1 and /Variant 2, transclude just the statement of the theorem into the main page, leaving the proof on the subpage clickable from the title. This will leave open the possibility of adding further proofs of each.
Feel free to have a go, you have a pretty good grasp of our house programming style. --prime mover (talk) 05:32, 20 August 2013 (UTC)