Monday, 26 October 2015

trigonometry - geometric meaning of a trigonometric identity

It follows from the law of cosines that if a,b,c are the lengths of the sides of a triangle with respective opposite angles α,β,γ, then
a2+b2+c2=2abcosγ+2accosβ+2bccosα.



For a cyclic (i.e. inscribed in a circle) polygon, consider the angle "opposite" a side to be the angle between adjacent diagonals whose endpoints are those of that side (it doesn't matter which vertex of the polygon serves as the vertex of that angle because of the Inscribed Angle Theorem). Then for a cyclic quadrilateral with sides a,b,c,d and opposite angles α,β,γ,δ, one can show that
a2+b2+c2+d2=2abcosγcosδ+2accosβcosδ+2adcosβcosγ+2bccosαcosδ+2bdcosαcosγ+2cdcosαcosβ4abcd(diameter)2
And for a cyclic pentagon, with sides a,b,c,d,e and respective opposite angles α,β,γ,δ,ε,
a2++e2=2abcosγcosδcosε+9 more terms4abcd(diameter)2cosε+4 more terms
And for a cyclic n-gon with sides ai and opposite angles αi,
ni=1a2i=a sum of (n2) terms each with coefficient 2a sum of (n4) terms each with coefficient 4+a sum of (n6) terms each with coefficient 6
The number of terms depends on n and the power of the diameter on the bottom is in each case what is needed to make the term homogeneous of degree 2 in the side lengths ("dimensional correctness" if you like physicists' language), and the alternation of signs continues.



I showed this by induction. It should work for infinitely many sides, too, by taking limits. Each term would then have a product of infinitely many cosines.



My question is: Is there some reasonable geometric interpretation of the sum of squares of sides of a polygon inscribed in a circle?

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...