Welcome to MathOverflow

Question

4

Let $e_k$ be the $k$th-degree elementary symmetric polynomial in $\tan\theta_1,\tan\theta_2,\tan\theta_3,\ldots$ (and if the sequence of $\theta$s is finite remember that the $k$th-degree elementary symmetric polynomial in $n<k$ variables is $0$). Then $$ (e_0-e_2+e_4-\cdots)^2 + (e_1-e_3+e_5-\cdots)^2 = \sec^2\theta_1\sec^2\theta_2\sec^2\theta_3\cdots $$ I haven't seen this listed among Pythagorean trigonometric identities anywhere, but maybe that means I haven't seen the sources where they would be.

So my question is: Is this "known" in the sense of being found in any authoritative or other published source?

flag	asked Jan 7 at 5:18 Michael Hardy 4,439●1●23●48

Rofler · Accepted Answer · 2013-01-08 09:49:51Z UTC

11

I don't have enough reputation to comment, but for what it's worth, if we replace $\tan(\theta_j)$ with $\lambda_j$ and set $P(x)=\prod (x-\lambda_j)$, then the left hand side will be $P(i)P(-i)$ by difference of squares and Vieta's formula, and the right hand side $\prod (1+\lambda_j^2)$. The equality then follows from $(i-\lambda_j)(-i-\lambda_j)=1+\lambda_j^2$. In this case, all that was used was $\tan^2(\theta)+1=\sec^2(\theta)$.

edited Jan 8 at 9:49

answered Jan 7 at 11:09

Rofler
136●2●4

2

You seem to be using "$i$" both as the imaginary unit and as the index in $\theta_i$ and $\lambda_i$. – Michael Hardy Jan 7 at 16:50

I had concluded that, like the special case $1+\tan^2\theta=\sec^2\theta$ and unlike the formula for the tangent of a sum, this identity should not depend on the fact that the circle is parametrized by arc length. But then I proved it by relying on the identity $\sec(\alpha+\beta)=\sec\alpha\sec\beta/(1-\tan\alpha\tan\beta)$. So this posting confirms that I didn't need to do it that way. – Michael Hardy Jan 10 at 15:53

“Known” Pythagorean identity? (reference request)

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.