## Return to Question

5 We'll see if this succeeds in making "align" work on this site. (It's unproblematic on stackexchange.)

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 $\alpha,\beta,\gamma$, then $$a^2+b^2+c^2 = 2ab\cos\gamma + 2ac\cos\beta + 2bc\cos\alpha.$$

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). Then for a cyclic quadrilateral with sides $a,b,c,d$ and opposite angles $\alpha,\beta,\gamma,\delta$, one can show that

 \begin{align} a^2+b^2+c^2+d^2 & = 2ab\cos\gamma\cos\delta + 2ac\cos\beta\cos\delta + 2ad\cos\beta\cos\gamma{} 2ad\cos\beta\cos\gamma \\ & {} +2bc\cos\alpha\cos\delta+2bd\cos\alpha\cos\gamma+2cd\cos\alpha\cos\beta$$2bc\cos\alpha\cos\delta+2bd\cos\alpha\cos\gamma+2cd\cos\alpha\cos\beta \\ & {}-4\frac{abcd}{(\text{diameter})^2} \end{align} $ ${}-4\frac{abcd}{(\text{diameter})^2}$$

And for a cyclic pentagon, with sides $a,b,c,d,e$ and respective opposite angles $\alpha,\beta,\gamma,\delta,\varepsilon$,

a^2 \begin{align} a^2 + \cdots + e^2 & = 2ab\cos\gamma\cos\delta\cos\varepsilon+\text{9 more terms} terms} \\ & {} - 4\frac{abcd}{(\text{diameter})^2}\cos\varepsilon+ \text{4 more terms}. terms}. \end{align} \$

And for a cyclic $n$-gon with sides $a_i$ and opposite angles $\alpha_i$,

\sum_{i=1}^n \begin{align} \sum_{i=1}^n a_i^2 & = \text{a sum of }\binom{n}{2}\text{ terms each with coefficient 2}{} 2} \\ & {} - \text{a sum of }\binom{n}{4}\text{ terms each with coefficient 4}{} 4} \\ & {} + \text{a sum of }\binom{n}{6}\text{ terms each with coefficient 6}{} 6} \\ & {} - \cdots \text{ and so on} $\end{align}$

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?

Later note:The question was in part inspired by a similar situation in which there is a simple geometric interpretation of the right side of the identity. That looks like this:

 \begin{align} & 2\left(\frac{abc}{\text{diameter}}\cos\delta\cos\gamma\cos\zeta\cos\eta\cdots\right) + \text{all other terms with 3 sides}  \\ & {} - 4 \left( \frac{abcde}{(\text{diameter})^3} \cos\zeta\cos\eta\cdots \right) + \text{other terms with 5 sides}  \\ & {} + 6 \left(\text{similarly with 7}\right) - 8(\text{similarly with 9}) + \cdots $\end{align}$

That's one side of the identity. The other is $$\text{diameter}\cdot (a\cos\alpha + b\cos\beta + c\cos\gamma + \cdots).$$ The expression on both sides is 4 times the area of the polygon. That's the simple geometric interpretation. The terms on the "other" side of the identity are signed areas of triangles with a vertex at the center of the circle. Notice that at most one of the cosines can be negative, and that happens precisely if the center of the circle is not in the interior of the polygon.

4 added 99 characters in body; deleted 99 characters in body

3 note on how the question arose; added 165 characters in body

Later note:The question was in part inspired by a similar situation in which there is a simple geometric interpretation of the right side of the identity. That looks like this:2\left(\frac{abc}{\text{diameter}}\cos\delta\cos\gamma\cos\zeta\cos\eta\cdots\right) + \text{all other terms with 3 sides}{} - 4 \left( \frac{abcde}{(\text{diameter})^3} \cos\zeta\cos\eta\cdots \right) + \text{other terms with 5 sides}{} + 6 \left(\text{similarly with 7}\right) - 8(\text{similarly with 9}) + \cdotsThat's one side of the identity. The other is\text{diameter}\cdot (a\cos\alpha + b\cos\beta + c\cos\gamma + \cdots).The expression on both sides is 4 times the area of the polygon. That's the simple geometric interpretation. The terms on the "other" side of the identity are signed areas of triangles with a vertex at the center of the circle. Notice that at most one of the cosines can be negative, and that happens precisely if the center of the circle is not in the interior of the polygon.

2 fixed a typo

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 $\alpha,\beta,\gamma$, then $$a^b+b^2+c^2 a^2+b^2+c^2 = 2ab\cos\gamma + 2ac\cos\beta + 2bc\cos\alpha.$$

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). Then for a cyclic quadrilateral with sides $a,b,c,d$ and opposite angles $\alpha,\beta,\gamma,\delta$, one can show that $$a^2+b^2+c^2+d^2 = 2ab\cos\gamma\cos\delta + 2ac\cos\beta\cos\delta + 2ad\cos\beta\cos\gamma$$ $${} +2bc\cos\alpha\cos\delta+2bd\cos\alpha\cos\gamma+2cd\cos\alpha\cos\beta$$ $${}-4\frac{abcd}{(\text{diameter})^2}$$ And for a cyclic pentagon, with sides $a,b,c,d,e$ and respective opposite angles $\alpha,\beta,\gamma,\delta,\varepsilon$, $$a^2 + \cdots + e^2 = 2ab\cos\gamma\cos\delta\cos\varepsilon+\text{9 more terms}$$ $${} - 4\frac{abcd}{(\text{diameter})^2}\cos\varepsilon+ \text{4 more terms}.$$ And for a cyclic $n$-gon with sides $a_i$ and opposite angles $\alpha_i$, $$\sum_{i=1}^n a_i^2 = \text{a sum of }\binom{n}{2}\text{ terms each with coefficient 2}$$ $${} - \text{a sum of }\binom{n}{4}\text{ terms each with coefficient 4}$$ $${} + \text{a sum of }\binom{n}{6}\text{ terms each with coefficient 6}$$ $${} - \cdots \text{ and so on}$$ 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?

1

# 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 $\alpha,\beta,\gamma$, then $$a^b+b^2+c^2 = 2ab\cos\gamma + 2ac\cos\beta + 2bc\cos\alpha.$$

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). Then for a cyclic quadrilateral with sides $a,b,c,d$ and opposite angles $\alpha,\beta,\gamma,\delta$, one can show that $$a^2+b^2+c^2+d^2 = 2ab\cos\gamma\cos\delta + 2ac\cos\beta\cos\delta + 2ad\cos\beta\cos\gamma$$ $${} +2bc\cos\alpha\cos\delta+2bd\cos\alpha\cos\gamma+2cd\cos\alpha\cos\beta$$ $${}-4\frac{abcd}{(\text{diameter})^2}$$ And for a cyclic pentagon, with sides $a,b,c,d,e$ and respective opposite angles $\alpha,\beta,\gamma,\delta,\varepsilon$, $$a^2 + \cdots + e^2 = 2ab\cos\gamma\cos\delta\cos\varepsilon+\text{9 more terms}$$ $${} - 4\frac{abcd}{(\text{diameter})^2}\cos\varepsilon+ \text{4 more terms}.$$ And for a cyclic $n$-gon with sides $a_i$ and opposite angles $\alpha_i$, $$\sum_{i=1}^n a_i^2 = \text{a sum of }\binom{n}{2}\text{ terms each with coefficient 2}$$ $${} - \text{a sum of }\binom{n}{4}\text{ terms each with coefficient 4}$$ $${} + \text{a sum of }\binom{n}{6}\text{ terms each with coefficient 6}$$ $${} - \cdots \text{ and so on}$$ 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?
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 37, "mathjax_display_tex": 30, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8860685229301453, "perplexity_flag": "head"}