If all diagonals are drawn in a regular polygon from a vertex, the angles formed in that vertex are equalAngles formed by intersection of two diagonals in parallelogram and square?Prove: In a ⊿, the bisector of the right angle bisects the Altitude and Median drawn from that same vertex.How to prove that the sum of the areas of triangles $ABR$ and $ CDR$ triangle is equal to the $ADR$?prove that the quadrilaterals are congruentLine passing through vertex of triangle and intersection of diagonals trapezoid formed by base and a parallel line divides both into two equal parts.Prove that the polygon of $n$ sides with the biggest area, inscribed in a circumference, is always a regular polygonCan a parallelogram have whole-number lengths for all four sides and both diagonals?Prove that, for any polygon, taking all pair of adjacent angles, subtracting 180 from their sum, and adding all the results together equals $180(n-4)$Construct a quadrilateral, not a parallelogram, in which pair of opposite angles and a pair of opposite sides are equal.Let $ABCD$ be a cyclic convex quadrilateral such that $AD + BC = AB$. Prove that the bisectors of the angles $ADC$ and $BCD$ meet on the line $AB$.

Is there any deeper thematic meaning to the white horse that Arya finds in The Bells (S08E05)?

Why are goodwill impairments on the statement of cash-flows of GE?

Should I communicate in my applications that I'm unemployed out of choice rather than because nobody will have me?

Given 0s on Assignments with suspected and dismissed cheating?

How does Ctrl+c and Ctrl+v work?

Which creature is depicted in this Xanathar's Guide illustration?

tikz drawing rectangle discretized with triangle lattices and its centroids

Why did the metro bus stop at each railway crossing, despite no warning indicating a train was coming?

How to not get blinded by an attack at dawn

Word for "activity tracker" or "smart bracelet"

Assembly writer vs compiler

Does the Rogue's Reliable Talent work for Thieves' tools, if the rogue is proficient in them?

Were any toxic metals used in the International Space Station?

Does the wearer know what items are in which patch in the Robe of Useful items?

Could there be something like aerobatic smoke trails in the vacuum of space?

Why does SSL Labs now consider CBC suites weak?

Holding rent money for my friend which amounts to over $10k?

Why were the bells ignored in S8E5?

Network latencies between opposite ends of the Earth

How to continually let my readers know what time it is in my story, in an organic way?

What is Feeblemind's effect on Ability Score Improvements?

Wireless headphones interfere with Wi-Fi signal on laptop

equation in minipage can't be numbered in the same line

Does addError() work outside of triggers?



If all diagonals are drawn in a regular polygon from a vertex, the angles formed in that vertex are equal


Angles formed by intersection of two diagonals in parallelogram and square?Prove: In a ⊿, the bisector of the right angle bisects the Altitude and Median drawn from that same vertex.How to prove that the sum of the areas of triangles $ABR$ and $ CDR$ triangle is equal to the $ADR$?prove that the quadrilaterals are congruentLine passing through vertex of triangle and intersection of diagonals trapezoid formed by base and a parallel line divides both into two equal parts.Prove that the polygon of $n$ sides with the biggest area, inscribed in a circumference, is always a regular polygonCan a parallelogram have whole-number lengths for all four sides and both diagonals?Prove that, for any polygon, taking all pair of adjacent angles, subtracting 180 from their sum, and adding all the results together equals $180(n-4)$Construct a quadrilateral, not a parallelogram, in which pair of opposite angles and a pair of opposite sides are equal.Let $ABCD$ be a cyclic convex quadrilateral such that $AD + BC = AB$. Prove that the bisectors of the angles $ADC$ and $BCD$ meet on the line $AB$.













3












$begingroup$


How can I prove this statement? I tried with a pentagon, but I have not achieved anything



Restriction: I can not use the circumference to prove it, and by this I mean to inscribe the polygon in the circumference. The idea is prove it with properties of congruence of triangles or properties of parallelogram or properties of quadrilateral, trapezium or trapezoid.




If all the possible diagonals are drawn in a regular polygon from a
vertex, the angles formed in that vertex are equal each.











share|cite|improve this question











$endgroup$











  • $begingroup$
    You should clarify what is "allowed". E.g. Can I use vector / complex number geometry (which I'd consider an overkill)? Which properties of regular polygons can I use, especially those about symmetry?
    $endgroup$
    – Calvin Lin
    May 4 at 0:00











  • $begingroup$
    Is there a specific path you would like? E.g. Trigonometry, Coordinate geometry, etc.
    $endgroup$
    – Calvin Lin
    May 4 at 0:03










  • $begingroup$
    The contents that have taught me are: Congruence of triangles, Properties of triangles (median, height, etc), properties of parallelograms, trapezoids and trapezoids. External and internal angles of quadrilaterals and regular polygons. With this I must solve it.
    $endgroup$
    – Mattiu
    May 4 at 0:06











  • $begingroup$
    You have to somehow use the fact that all the interior angles from the center to adjacent vertices are equal. That is the definition of regular.
    $endgroup$
    – marty cohen
    May 4 at 0:09










  • $begingroup$
    Mattiu, is Marty's claim allowed? IE Can I assume that a regular polygon has a center, which angle to any given side is equal?
    $endgroup$
    – Calvin Lin
    May 4 at 0:10















3












$begingroup$


How can I prove this statement? I tried with a pentagon, but I have not achieved anything



Restriction: I can not use the circumference to prove it, and by this I mean to inscribe the polygon in the circumference. The idea is prove it with properties of congruence of triangles or properties of parallelogram or properties of quadrilateral, trapezium or trapezoid.




If all the possible diagonals are drawn in a regular polygon from a
vertex, the angles formed in that vertex are equal each.











share|cite|improve this question











$endgroup$











  • $begingroup$
    You should clarify what is "allowed". E.g. Can I use vector / complex number geometry (which I'd consider an overkill)? Which properties of regular polygons can I use, especially those about symmetry?
    $endgroup$
    – Calvin Lin
    May 4 at 0:00











  • $begingroup$
    Is there a specific path you would like? E.g. Trigonometry, Coordinate geometry, etc.
    $endgroup$
    – Calvin Lin
    May 4 at 0:03










  • $begingroup$
    The contents that have taught me are: Congruence of triangles, Properties of triangles (median, height, etc), properties of parallelograms, trapezoids and trapezoids. External and internal angles of quadrilaterals and regular polygons. With this I must solve it.
    $endgroup$
    – Mattiu
    May 4 at 0:06











  • $begingroup$
    You have to somehow use the fact that all the interior angles from the center to adjacent vertices are equal. That is the definition of regular.
    $endgroup$
    – marty cohen
    May 4 at 0:09










  • $begingroup$
    Mattiu, is Marty's claim allowed? IE Can I assume that a regular polygon has a center, which angle to any given side is equal?
    $endgroup$
    – Calvin Lin
    May 4 at 0:10













3












3








3





$begingroup$


How can I prove this statement? I tried with a pentagon, but I have not achieved anything



Restriction: I can not use the circumference to prove it, and by this I mean to inscribe the polygon in the circumference. The idea is prove it with properties of congruence of triangles or properties of parallelogram or properties of quadrilateral, trapezium or trapezoid.




If all the possible diagonals are drawn in a regular polygon from a
vertex, the angles formed in that vertex are equal each.











share|cite|improve this question











$endgroup$




How can I prove this statement? I tried with a pentagon, but I have not achieved anything



Restriction: I can not use the circumference to prove it, and by this I mean to inscribe the polygon in the circumference. The idea is prove it with properties of congruence of triangles or properties of parallelogram or properties of quadrilateral, trapezium or trapezoid.




If all the possible diagonals are drawn in a regular polygon from a
vertex, the angles formed in that vertex are equal each.








geometry proof-explanation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited May 4 at 0:03







Mattiu

















asked May 3 at 23:39









MattiuMattiu

824618




824618











  • $begingroup$
    You should clarify what is "allowed". E.g. Can I use vector / complex number geometry (which I'd consider an overkill)? Which properties of regular polygons can I use, especially those about symmetry?
    $endgroup$
    – Calvin Lin
    May 4 at 0:00











  • $begingroup$
    Is there a specific path you would like? E.g. Trigonometry, Coordinate geometry, etc.
    $endgroup$
    – Calvin Lin
    May 4 at 0:03










  • $begingroup$
    The contents that have taught me are: Congruence of triangles, Properties of triangles (median, height, etc), properties of parallelograms, trapezoids and trapezoids. External and internal angles of quadrilaterals and regular polygons. With this I must solve it.
    $endgroup$
    – Mattiu
    May 4 at 0:06











  • $begingroup$
    You have to somehow use the fact that all the interior angles from the center to adjacent vertices are equal. That is the definition of regular.
    $endgroup$
    – marty cohen
    May 4 at 0:09










  • $begingroup$
    Mattiu, is Marty's claim allowed? IE Can I assume that a regular polygon has a center, which angle to any given side is equal?
    $endgroup$
    – Calvin Lin
    May 4 at 0:10
















  • $begingroup$
    You should clarify what is "allowed". E.g. Can I use vector / complex number geometry (which I'd consider an overkill)? Which properties of regular polygons can I use, especially those about symmetry?
    $endgroup$
    – Calvin Lin
    May 4 at 0:00











  • $begingroup$
    Is there a specific path you would like? E.g. Trigonometry, Coordinate geometry, etc.
    $endgroup$
    – Calvin Lin
    May 4 at 0:03










  • $begingroup$
    The contents that have taught me are: Congruence of triangles, Properties of triangles (median, height, etc), properties of parallelograms, trapezoids and trapezoids. External and internal angles of quadrilaterals and regular polygons. With this I must solve it.
    $endgroup$
    – Mattiu
    May 4 at 0:06











  • $begingroup$
    You have to somehow use the fact that all the interior angles from the center to adjacent vertices are equal. That is the definition of regular.
    $endgroup$
    – marty cohen
    May 4 at 0:09










  • $begingroup$
    Mattiu, is Marty's claim allowed? IE Can I assume that a regular polygon has a center, which angle to any given side is equal?
    $endgroup$
    – Calvin Lin
    May 4 at 0:10















$begingroup$
You should clarify what is "allowed". E.g. Can I use vector / complex number geometry (which I'd consider an overkill)? Which properties of regular polygons can I use, especially those about symmetry?
$endgroup$
– Calvin Lin
May 4 at 0:00





$begingroup$
You should clarify what is "allowed". E.g. Can I use vector / complex number geometry (which I'd consider an overkill)? Which properties of regular polygons can I use, especially those about symmetry?
$endgroup$
– Calvin Lin
May 4 at 0:00













$begingroup$
Is there a specific path you would like? E.g. Trigonometry, Coordinate geometry, etc.
$endgroup$
– Calvin Lin
May 4 at 0:03




$begingroup$
Is there a specific path you would like? E.g. Trigonometry, Coordinate geometry, etc.
$endgroup$
– Calvin Lin
May 4 at 0:03












$begingroup$
The contents that have taught me are: Congruence of triangles, Properties of triangles (median, height, etc), properties of parallelograms, trapezoids and trapezoids. External and internal angles of quadrilaterals and regular polygons. With this I must solve it.
$endgroup$
– Mattiu
May 4 at 0:06





$begingroup$
The contents that have taught me are: Congruence of triangles, Properties of triangles (median, height, etc), properties of parallelograms, trapezoids and trapezoids. External and internal angles of quadrilaterals and regular polygons. With this I must solve it.
$endgroup$
– Mattiu
May 4 at 0:06













$begingroup$
You have to somehow use the fact that all the interior angles from the center to adjacent vertices are equal. That is the definition of regular.
$endgroup$
– marty cohen
May 4 at 0:09




$begingroup$
You have to somehow use the fact that all the interior angles from the center to adjacent vertices are equal. That is the definition of regular.
$endgroup$
– marty cohen
May 4 at 0:09












$begingroup$
Mattiu, is Marty's claim allowed? IE Can I assume that a regular polygon has a center, which angle to any given side is equal?
$endgroup$
– Calvin Lin
May 4 at 0:10




$begingroup$
Mattiu, is Marty's claim allowed? IE Can I assume that a regular polygon has a center, which angle to any given side is equal?
$endgroup$
– Calvin Lin
May 4 at 0:10










4 Answers
4






active

oldest

votes


















4












$begingroup$

Pick a vertex $P_i$ and an adjacent side $P_iP_i+1$, and consider the angle bisector of $angle P_i$ and the perpendicular bisector of $P_iP_i+1$.



For each bisector, join opposite vertices that are reflections to each other.



Parallel lines joining some polygon vertices



Do you agree that by symmetry there is a family of parallel lines for each bisector? Then the marked angles are all equal for being alternate angles of parallel lines.



As these parallel lines partition the regular polygon, they form triangles that are congruent to triangles formed by diagonals from a vertex.



e.g. $triangle P_3P_0P_8 cong P_0P_3P_4$ by counting the number of vertices between the long edge $P_3P_0$.






share|cite|improve this answer









$endgroup$








  • 1




    $begingroup$
    This is very slick. The only proof I could come up with was the one gotten by setting the polygon into a circle, as OP forbade.
    $endgroup$
    – Lubin
    May 4 at 3:15



















2












$begingroup$

How about this? But, as you can see, it's skirting about the "construct circle". In particular, the claim can be a step in proving "Angle at the center is twice angle at circumference".



Assumption: A regular polygon has a center $O$, where for any consecutive vertices $B, C$, $angle BOC$ is a constant $ frac360^circn $.



Claim: In triangle ABC, if $OA=OB=OC$, then $angle BAC = frac12 angle BOC$.

This is easily proven using isosceles triangles and angle chasing.



Hence, the result follows.






I hope this approach doesn't "use circumference"



Hint: A regular polygon can be inscribed in a circle.



Hint: Angle at the center is twice angle at circumference. Clearly, the angles at center are all the same.




I'm guessing this approach is "using circumference"?



Hint: A regular polygon can be inscribed in a circle.



Hint: If $A, B, C$ are 3 points on a circle, then $angle ABC $ is dependent only on the length $AC$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    You are solving it with the circumference and its angles, I can not do that.
    $endgroup$
    – Mattiu
    May 3 at 23:53










  • $begingroup$
    I think you're using the circumscribed polygon concept and $ OA = OB = OC $ are the radius of the circle and therefore are equal, but I can not use that, the idea is to solve it with the concepts I mentioned, without any circumference concept.
    $endgroup$
    – Mattiu
    May 4 at 0:23










  • $begingroup$
    While I understand your frustration of "I cannot use X", you need to be much clearer in specifying what is allowed or not allowed. Am I allowed to assume that a regular polygon has a center which satisfies OA=OB=OC? If no, then 1) What is your definition of a regular polygon, and 2) Why can't I use that definition to show that such an O exists?
    $endgroup$
    – Calvin Lin
    May 4 at 0:26










  • $begingroup$
    Thanks for your good help, I did not know that by DEFINITION that was true?
    $endgroup$
    – Mattiu
    May 4 at 0:29











  • $begingroup$
    So the definition of regular polygon, is given by the circumference?
    $endgroup$
    – Mattiu
    May 4 at 0:30


















1












$begingroup$

Let the regular polygon be $P_0P_1P_2cdots P_n-1$ where $P_i$'s are vertices in order. The polygon has $n$ sides where $nge 4$ to be interesting.



Let each interior angle be $theta$:



$$theta = 180^circ-frac180^circcdot2n$$



Pick $P_0$ as the vertex to draw diagonals from.



Consider the diagonal $P_0P_2$. The triangle cut off $triangle P_0P_1P_2$ is isosceles with $P_0P_1 = P_1P_2$. The base angles are



$$angle P_1P_0P_2 = angle P_1P_2P_0 = frac180^circ - theta2 = frac180^circn$$




Now here's an inductive assumption: The $i$th triangle formed by $triangle P_0P_iP_i+1$ has the following angles:



$$beginalign*
angle P_iP_0P_i+1 &= frac180^circn\
angle P_iP_i+1P_0 &= frac180^circ cdot in
endalign*$$




For the next (i.e. the $(i+1)$th) triangle $triangle P_0P_i+1P_i+2$, reflect $P_i$ by diagonal $P_0P_i+1$ to obtain $P_i'$. $P_i'$ may be outside or inside or on the edge of the polygon, but the cases are similar.



Examples of $i=1$ and $i=5$ in a regular nonagon:



Example of vertex reflection with a nonagon n = 9



In both cases, the proof strategy is to:



  1. Consider the polygon interior angle $angle P_iP_i+1P_i+2$ and three angles sharing the same vertex: $angle P_iP_i+1P_0$, $angle P_0P_i+1P_i'$ and $angle P_i'P_i+1P_i+2$;

  2. Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;

  3. Consider the isosceles triangle $triangle P_i'P_i+1P_i+2$, and solve its base angles $angle P_i+1P_i'P_i+2$ and $angle P_i'P_i+2P_i+1$;

  4. Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;

  5. Prove the induction statement for $i+1$.


If $P_i'$ is inside the polygon, e.g. $i=1$ above, consider the triangles at $P_i+1$: $triangle P_0P_iP_i+1$, $triangle P_0P_i'P_i+1$ and $triangle P_i'P_i+1P_i+2$.



$$beginalign*
angle P_iP_i+1P_i+2 &= angle P_iP_i+1P_0 + angle P_0P_i+1P_i' + angle P_i'P_i+1P_i+2\
180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in + angle P_i'P_i+1P_i+2\
angle P_i'P_i+1P_i+2 &= 180^circ - frac180^circ (2i+2)n
endalign*$$



$P_i+1P_i+2 = P_i+1P_i'$ for being the sides of the regular polygon, so $triangle P_i'P_i+1P_i+2$ is isosceles. Consider its base angles:



$$beginalign*
angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
&= frac180^circ(i+1)n\
&= angle P_i'P_i+1P_0 + angle P_i'P_0P_i+1
endalign*$$



And so $P_0P_i'P_i+2$ is a straight line, so



$$beginalign*
angle P_i+1P_0P_i+2 &= angle P_i+1P_0P_i'\
&= frac180^circn\
angle P_i+1P_i+2P_0 &= angle P_i+1P_i+2P_i'\
&= frac180^circ(i+1)n
endalign*$$




If $P_i'$ is outside the polygon, e.g. $i=5$ above, consider at $P_i+1$,



$$beginalign*
angle P_iP_i+1P_i+2 &= angle P_i P_i+1 P_0 + angle P_0 P_i+1 P_i' - angle P_i'P_i+1P_i+2\
180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in - angle P_i'P_i+1P_i+2\
angle P_i'P_i+1P_i+2 &= -left[180^circ - frac180^circ (2i+2)nright]
endalign*$$



$triangle P_i'P_i+1P_i+2$ is again isosceles with $P_i+1P_i+2 = P_i+1P_i'$. Consider its base angles:



$$beginalign*
angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
&= 180^circ - frac180^circ(i+1)n\
&= angle P_0P_i'P_i+1
endalign*$$



So in this case $P_0P_i+2P_i'$ is a straight line, and so



$$beginalign*
angle P_i+1P_0P_i+2 &= P_i+1P_0P_i'\
&= frac180^circn\
angle P_i+1P_i+2P_0 &= 180^circ - P_i+1P_i+2P_i'\
&= frac180^circ(i+1)n\
endalign*$$




By induction, all $angle P_iP_0P_i+1$ are equal to $frac180^circn$ for $i = 1, 2, ldots , n-2$.






share|cite|improve this answer











$endgroup$




















    0












    $begingroup$

    Since the polygon is regular, it means that all the angles of interest (made up by the lines drawn from a single point) lie on a same-length segment of the circumscribed circle (equal sides of the regular polygon) and hence must be the same. However, I'm not sure if this answer doesn't satisfy your 'circumference' requirement (please clarify if it doesn't).






    share|cite|improve this answer









    $endgroup$












    • $begingroup$
      I cant inscribe the polygon in a circumference to prove it
      $endgroup$
      – Mattiu
      May 3 at 23:55











    Your Answer








    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3212864%2fif-all-diagonals-are-drawn-in-a-regular-polygon-from-a-vertex-the-angles-formed%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    4 Answers
    4






    active

    oldest

    votes








    4 Answers
    4






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    4












    $begingroup$

    Pick a vertex $P_i$ and an adjacent side $P_iP_i+1$, and consider the angle bisector of $angle P_i$ and the perpendicular bisector of $P_iP_i+1$.



    For each bisector, join opposite vertices that are reflections to each other.



    Parallel lines joining some polygon vertices



    Do you agree that by symmetry there is a family of parallel lines for each bisector? Then the marked angles are all equal for being alternate angles of parallel lines.



    As these parallel lines partition the regular polygon, they form triangles that are congruent to triangles formed by diagonals from a vertex.



    e.g. $triangle P_3P_0P_8 cong P_0P_3P_4$ by counting the number of vertices between the long edge $P_3P_0$.






    share|cite|improve this answer









    $endgroup$








    • 1




      $begingroup$
      This is very slick. The only proof I could come up with was the one gotten by setting the polygon into a circle, as OP forbade.
      $endgroup$
      – Lubin
      May 4 at 3:15
















    4












    $begingroup$

    Pick a vertex $P_i$ and an adjacent side $P_iP_i+1$, and consider the angle bisector of $angle P_i$ and the perpendicular bisector of $P_iP_i+1$.



    For each bisector, join opposite vertices that are reflections to each other.



    Parallel lines joining some polygon vertices



    Do you agree that by symmetry there is a family of parallel lines for each bisector? Then the marked angles are all equal for being alternate angles of parallel lines.



    As these parallel lines partition the regular polygon, they form triangles that are congruent to triangles formed by diagonals from a vertex.



    e.g. $triangle P_3P_0P_8 cong P_0P_3P_4$ by counting the number of vertices between the long edge $P_3P_0$.






    share|cite|improve this answer









    $endgroup$








    • 1




      $begingroup$
      This is very slick. The only proof I could come up with was the one gotten by setting the polygon into a circle, as OP forbade.
      $endgroup$
      – Lubin
      May 4 at 3:15














    4












    4








    4





    $begingroup$

    Pick a vertex $P_i$ and an adjacent side $P_iP_i+1$, and consider the angle bisector of $angle P_i$ and the perpendicular bisector of $P_iP_i+1$.



    For each bisector, join opposite vertices that are reflections to each other.



    Parallel lines joining some polygon vertices



    Do you agree that by symmetry there is a family of parallel lines for each bisector? Then the marked angles are all equal for being alternate angles of parallel lines.



    As these parallel lines partition the regular polygon, they form triangles that are congruent to triangles formed by diagonals from a vertex.



    e.g. $triangle P_3P_0P_8 cong P_0P_3P_4$ by counting the number of vertices between the long edge $P_3P_0$.






    share|cite|improve this answer









    $endgroup$



    Pick a vertex $P_i$ and an adjacent side $P_iP_i+1$, and consider the angle bisector of $angle P_i$ and the perpendicular bisector of $P_iP_i+1$.



    For each bisector, join opposite vertices that are reflections to each other.



    Parallel lines joining some polygon vertices



    Do you agree that by symmetry there is a family of parallel lines for each bisector? Then the marked angles are all equal for being alternate angles of parallel lines.



    As these parallel lines partition the regular polygon, they form triangles that are congruent to triangles formed by diagonals from a vertex.



    e.g. $triangle P_3P_0P_8 cong P_0P_3P_4$ by counting the number of vertices between the long edge $P_3P_0$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered May 4 at 3:02









    peterwhypeterwhy

    12.7k21229




    12.7k21229







    • 1




      $begingroup$
      This is very slick. The only proof I could come up with was the one gotten by setting the polygon into a circle, as OP forbade.
      $endgroup$
      – Lubin
      May 4 at 3:15













    • 1




      $begingroup$
      This is very slick. The only proof I could come up with was the one gotten by setting the polygon into a circle, as OP forbade.
      $endgroup$
      – Lubin
      May 4 at 3:15








    1




    1




    $begingroup$
    This is very slick. The only proof I could come up with was the one gotten by setting the polygon into a circle, as OP forbade.
    $endgroup$
    – Lubin
    May 4 at 3:15





    $begingroup$
    This is very slick. The only proof I could come up with was the one gotten by setting the polygon into a circle, as OP forbade.
    $endgroup$
    – Lubin
    May 4 at 3:15












    2












    $begingroup$

    How about this? But, as you can see, it's skirting about the "construct circle". In particular, the claim can be a step in proving "Angle at the center is twice angle at circumference".



    Assumption: A regular polygon has a center $O$, where for any consecutive vertices $B, C$, $angle BOC$ is a constant $ frac360^circn $.



    Claim: In triangle ABC, if $OA=OB=OC$, then $angle BAC = frac12 angle BOC$.

    This is easily proven using isosceles triangles and angle chasing.



    Hence, the result follows.






    I hope this approach doesn't "use circumference"



    Hint: A regular polygon can be inscribed in a circle.



    Hint: Angle at the center is twice angle at circumference. Clearly, the angles at center are all the same.




    I'm guessing this approach is "using circumference"?



    Hint: A regular polygon can be inscribed in a circle.



    Hint: If $A, B, C$ are 3 points on a circle, then $angle ABC $ is dependent only on the length $AC$.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      You are solving it with the circumference and its angles, I can not do that.
      $endgroup$
      – Mattiu
      May 3 at 23:53










    • $begingroup$
      I think you're using the circumscribed polygon concept and $ OA = OB = OC $ are the radius of the circle and therefore are equal, but I can not use that, the idea is to solve it with the concepts I mentioned, without any circumference concept.
      $endgroup$
      – Mattiu
      May 4 at 0:23










    • $begingroup$
      While I understand your frustration of "I cannot use X", you need to be much clearer in specifying what is allowed or not allowed. Am I allowed to assume that a regular polygon has a center which satisfies OA=OB=OC? If no, then 1) What is your definition of a regular polygon, and 2) Why can't I use that definition to show that such an O exists?
      $endgroup$
      – Calvin Lin
      May 4 at 0:26










    • $begingroup$
      Thanks for your good help, I did not know that by DEFINITION that was true?
      $endgroup$
      – Mattiu
      May 4 at 0:29











    • $begingroup$
      So the definition of regular polygon, is given by the circumference?
      $endgroup$
      – Mattiu
      May 4 at 0:30















    2












    $begingroup$

    How about this? But, as you can see, it's skirting about the "construct circle". In particular, the claim can be a step in proving "Angle at the center is twice angle at circumference".



    Assumption: A regular polygon has a center $O$, where for any consecutive vertices $B, C$, $angle BOC$ is a constant $ frac360^circn $.



    Claim: In triangle ABC, if $OA=OB=OC$, then $angle BAC = frac12 angle BOC$.

    This is easily proven using isosceles triangles and angle chasing.



    Hence, the result follows.






    I hope this approach doesn't "use circumference"



    Hint: A regular polygon can be inscribed in a circle.



    Hint: Angle at the center is twice angle at circumference. Clearly, the angles at center are all the same.




    I'm guessing this approach is "using circumference"?



    Hint: A regular polygon can be inscribed in a circle.



    Hint: If $A, B, C$ are 3 points on a circle, then $angle ABC $ is dependent only on the length $AC$.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      You are solving it with the circumference and its angles, I can not do that.
      $endgroup$
      – Mattiu
      May 3 at 23:53










    • $begingroup$
      I think you're using the circumscribed polygon concept and $ OA = OB = OC $ are the radius of the circle and therefore are equal, but I can not use that, the idea is to solve it with the concepts I mentioned, without any circumference concept.
      $endgroup$
      – Mattiu
      May 4 at 0:23










    • $begingroup$
      While I understand your frustration of "I cannot use X", you need to be much clearer in specifying what is allowed or not allowed. Am I allowed to assume that a regular polygon has a center which satisfies OA=OB=OC? If no, then 1) What is your definition of a regular polygon, and 2) Why can't I use that definition to show that such an O exists?
      $endgroup$
      – Calvin Lin
      May 4 at 0:26










    • $begingroup$
      Thanks for your good help, I did not know that by DEFINITION that was true?
      $endgroup$
      – Mattiu
      May 4 at 0:29











    • $begingroup$
      So the definition of regular polygon, is given by the circumference?
      $endgroup$
      – Mattiu
      May 4 at 0:30













    2












    2








    2





    $begingroup$

    How about this? But, as you can see, it's skirting about the "construct circle". In particular, the claim can be a step in proving "Angle at the center is twice angle at circumference".



    Assumption: A regular polygon has a center $O$, where for any consecutive vertices $B, C$, $angle BOC$ is a constant $ frac360^circn $.



    Claim: In triangle ABC, if $OA=OB=OC$, then $angle BAC = frac12 angle BOC$.

    This is easily proven using isosceles triangles and angle chasing.



    Hence, the result follows.






    I hope this approach doesn't "use circumference"



    Hint: A regular polygon can be inscribed in a circle.



    Hint: Angle at the center is twice angle at circumference. Clearly, the angles at center are all the same.




    I'm guessing this approach is "using circumference"?



    Hint: A regular polygon can be inscribed in a circle.



    Hint: If $A, B, C$ are 3 points on a circle, then $angle ABC $ is dependent only on the length $AC$.






    share|cite|improve this answer











    $endgroup$



    How about this? But, as you can see, it's skirting about the "construct circle". In particular, the claim can be a step in proving "Angle at the center is twice angle at circumference".



    Assumption: A regular polygon has a center $O$, where for any consecutive vertices $B, C$, $angle BOC$ is a constant $ frac360^circn $.



    Claim: In triangle ABC, if $OA=OB=OC$, then $angle BAC = frac12 angle BOC$.

    This is easily proven using isosceles triangles and angle chasing.



    Hence, the result follows.






    I hope this approach doesn't "use circumference"



    Hint: A regular polygon can be inscribed in a circle.



    Hint: Angle at the center is twice angle at circumference. Clearly, the angles at center are all the same.




    I'm guessing this approach is "using circumference"?



    Hint: A regular polygon can be inscribed in a circle.



    Hint: If $A, B, C$ are 3 points on a circle, then $angle ABC $ is dependent only on the length $AC$.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited May 4 at 0:16

























    answered May 3 at 23:48









    Calvin LinCalvin Lin

    36.6k350116




    36.6k350116











    • $begingroup$
      You are solving it with the circumference and its angles, I can not do that.
      $endgroup$
      – Mattiu
      May 3 at 23:53










    • $begingroup$
      I think you're using the circumscribed polygon concept and $ OA = OB = OC $ are the radius of the circle and therefore are equal, but I can not use that, the idea is to solve it with the concepts I mentioned, without any circumference concept.
      $endgroup$
      – Mattiu
      May 4 at 0:23










    • $begingroup$
      While I understand your frustration of "I cannot use X", you need to be much clearer in specifying what is allowed or not allowed. Am I allowed to assume that a regular polygon has a center which satisfies OA=OB=OC? If no, then 1) What is your definition of a regular polygon, and 2) Why can't I use that definition to show that such an O exists?
      $endgroup$
      – Calvin Lin
      May 4 at 0:26










    • $begingroup$
      Thanks for your good help, I did not know that by DEFINITION that was true?
      $endgroup$
      – Mattiu
      May 4 at 0:29











    • $begingroup$
      So the definition of regular polygon, is given by the circumference?
      $endgroup$
      – Mattiu
      May 4 at 0:30
















    • $begingroup$
      You are solving it with the circumference and its angles, I can not do that.
      $endgroup$
      – Mattiu
      May 3 at 23:53










    • $begingroup$
      I think you're using the circumscribed polygon concept and $ OA = OB = OC $ are the radius of the circle and therefore are equal, but I can not use that, the idea is to solve it with the concepts I mentioned, without any circumference concept.
      $endgroup$
      – Mattiu
      May 4 at 0:23










    • $begingroup$
      While I understand your frustration of "I cannot use X", you need to be much clearer in specifying what is allowed or not allowed. Am I allowed to assume that a regular polygon has a center which satisfies OA=OB=OC? If no, then 1) What is your definition of a regular polygon, and 2) Why can't I use that definition to show that such an O exists?
      $endgroup$
      – Calvin Lin
      May 4 at 0:26










    • $begingroup$
      Thanks for your good help, I did not know that by DEFINITION that was true?
      $endgroup$
      – Mattiu
      May 4 at 0:29











    • $begingroup$
      So the definition of regular polygon, is given by the circumference?
      $endgroup$
      – Mattiu
      May 4 at 0:30















    $begingroup$
    You are solving it with the circumference and its angles, I can not do that.
    $endgroup$
    – Mattiu
    May 3 at 23:53




    $begingroup$
    You are solving it with the circumference and its angles, I can not do that.
    $endgroup$
    – Mattiu
    May 3 at 23:53












    $begingroup$
    I think you're using the circumscribed polygon concept and $ OA = OB = OC $ are the radius of the circle and therefore are equal, but I can not use that, the idea is to solve it with the concepts I mentioned, without any circumference concept.
    $endgroup$
    – Mattiu
    May 4 at 0:23




    $begingroup$
    I think you're using the circumscribed polygon concept and $ OA = OB = OC $ are the radius of the circle and therefore are equal, but I can not use that, the idea is to solve it with the concepts I mentioned, without any circumference concept.
    $endgroup$
    – Mattiu
    May 4 at 0:23












    $begingroup$
    While I understand your frustration of "I cannot use X", you need to be much clearer in specifying what is allowed or not allowed. Am I allowed to assume that a regular polygon has a center which satisfies OA=OB=OC? If no, then 1) What is your definition of a regular polygon, and 2) Why can't I use that definition to show that such an O exists?
    $endgroup$
    – Calvin Lin
    May 4 at 0:26




    $begingroup$
    While I understand your frustration of "I cannot use X", you need to be much clearer in specifying what is allowed or not allowed. Am I allowed to assume that a regular polygon has a center which satisfies OA=OB=OC? If no, then 1) What is your definition of a regular polygon, and 2) Why can't I use that definition to show that such an O exists?
    $endgroup$
    – Calvin Lin
    May 4 at 0:26












    $begingroup$
    Thanks for your good help, I did not know that by DEFINITION that was true?
    $endgroup$
    – Mattiu
    May 4 at 0:29





    $begingroup$
    Thanks for your good help, I did not know that by DEFINITION that was true?
    $endgroup$
    – Mattiu
    May 4 at 0:29













    $begingroup$
    So the definition of regular polygon, is given by the circumference?
    $endgroup$
    – Mattiu
    May 4 at 0:30




    $begingroup$
    So the definition of regular polygon, is given by the circumference?
    $endgroup$
    – Mattiu
    May 4 at 0:30











    1












    $begingroup$

    Let the regular polygon be $P_0P_1P_2cdots P_n-1$ where $P_i$'s are vertices in order. The polygon has $n$ sides where $nge 4$ to be interesting.



    Let each interior angle be $theta$:



    $$theta = 180^circ-frac180^circcdot2n$$



    Pick $P_0$ as the vertex to draw diagonals from.



    Consider the diagonal $P_0P_2$. The triangle cut off $triangle P_0P_1P_2$ is isosceles with $P_0P_1 = P_1P_2$. The base angles are



    $$angle P_1P_0P_2 = angle P_1P_2P_0 = frac180^circ - theta2 = frac180^circn$$




    Now here's an inductive assumption: The $i$th triangle formed by $triangle P_0P_iP_i+1$ has the following angles:



    $$beginalign*
    angle P_iP_0P_i+1 &= frac180^circn\
    angle P_iP_i+1P_0 &= frac180^circ cdot in
    endalign*$$




    For the next (i.e. the $(i+1)$th) triangle $triangle P_0P_i+1P_i+2$, reflect $P_i$ by diagonal $P_0P_i+1$ to obtain $P_i'$. $P_i'$ may be outside or inside or on the edge of the polygon, but the cases are similar.



    Examples of $i=1$ and $i=5$ in a regular nonagon:



    Example of vertex reflection with a nonagon n = 9



    In both cases, the proof strategy is to:



    1. Consider the polygon interior angle $angle P_iP_i+1P_i+2$ and three angles sharing the same vertex: $angle P_iP_i+1P_0$, $angle P_0P_i+1P_i'$ and $angle P_i'P_i+1P_i+2$;

    2. Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;

    3. Consider the isosceles triangle $triangle P_i'P_i+1P_i+2$, and solve its base angles $angle P_i+1P_i'P_i+2$ and $angle P_i'P_i+2P_i+1$;

    4. Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;

    5. Prove the induction statement for $i+1$.


    If $P_i'$ is inside the polygon, e.g. $i=1$ above, consider the triangles at $P_i+1$: $triangle P_0P_iP_i+1$, $triangle P_0P_i'P_i+1$ and $triangle P_i'P_i+1P_i+2$.



    $$beginalign*
    angle P_iP_i+1P_i+2 &= angle P_iP_i+1P_0 + angle P_0P_i+1P_i' + angle P_i'P_i+1P_i+2\
    180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in + angle P_i'P_i+1P_i+2\
    angle P_i'P_i+1P_i+2 &= 180^circ - frac180^circ (2i+2)n
    endalign*$$



    $P_i+1P_i+2 = P_i+1P_i'$ for being the sides of the regular polygon, so $triangle P_i'P_i+1P_i+2$ is isosceles. Consider its base angles:



    $$beginalign*
    angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
    &= frac180^circ(i+1)n\
    &= angle P_i'P_i+1P_0 + angle P_i'P_0P_i+1
    endalign*$$



    And so $P_0P_i'P_i+2$ is a straight line, so



    $$beginalign*
    angle P_i+1P_0P_i+2 &= angle P_i+1P_0P_i'\
    &= frac180^circn\
    angle P_i+1P_i+2P_0 &= angle P_i+1P_i+2P_i'\
    &= frac180^circ(i+1)n
    endalign*$$




    If $P_i'$ is outside the polygon, e.g. $i=5$ above, consider at $P_i+1$,



    $$beginalign*
    angle P_iP_i+1P_i+2 &= angle P_i P_i+1 P_0 + angle P_0 P_i+1 P_i' - angle P_i'P_i+1P_i+2\
    180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in - angle P_i'P_i+1P_i+2\
    angle P_i'P_i+1P_i+2 &= -left[180^circ - frac180^circ (2i+2)nright]
    endalign*$$



    $triangle P_i'P_i+1P_i+2$ is again isosceles with $P_i+1P_i+2 = P_i+1P_i'$. Consider its base angles:



    $$beginalign*
    angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
    &= 180^circ - frac180^circ(i+1)n\
    &= angle P_0P_i'P_i+1
    endalign*$$



    So in this case $P_0P_i+2P_i'$ is a straight line, and so



    $$beginalign*
    angle P_i+1P_0P_i+2 &= P_i+1P_0P_i'\
    &= frac180^circn\
    angle P_i+1P_i+2P_0 &= 180^circ - P_i+1P_i+2P_i'\
    &= frac180^circ(i+1)n\
    endalign*$$




    By induction, all $angle P_iP_0P_i+1$ are equal to $frac180^circn$ for $i = 1, 2, ldots , n-2$.






    share|cite|improve this answer











    $endgroup$

















      1












      $begingroup$

      Let the regular polygon be $P_0P_1P_2cdots P_n-1$ where $P_i$'s are vertices in order. The polygon has $n$ sides where $nge 4$ to be interesting.



      Let each interior angle be $theta$:



      $$theta = 180^circ-frac180^circcdot2n$$



      Pick $P_0$ as the vertex to draw diagonals from.



      Consider the diagonal $P_0P_2$. The triangle cut off $triangle P_0P_1P_2$ is isosceles with $P_0P_1 = P_1P_2$. The base angles are



      $$angle P_1P_0P_2 = angle P_1P_2P_0 = frac180^circ - theta2 = frac180^circn$$




      Now here's an inductive assumption: The $i$th triangle formed by $triangle P_0P_iP_i+1$ has the following angles:



      $$beginalign*
      angle P_iP_0P_i+1 &= frac180^circn\
      angle P_iP_i+1P_0 &= frac180^circ cdot in
      endalign*$$




      For the next (i.e. the $(i+1)$th) triangle $triangle P_0P_i+1P_i+2$, reflect $P_i$ by diagonal $P_0P_i+1$ to obtain $P_i'$. $P_i'$ may be outside or inside or on the edge of the polygon, but the cases are similar.



      Examples of $i=1$ and $i=5$ in a regular nonagon:



      Example of vertex reflection with a nonagon n = 9



      In both cases, the proof strategy is to:



      1. Consider the polygon interior angle $angle P_iP_i+1P_i+2$ and three angles sharing the same vertex: $angle P_iP_i+1P_0$, $angle P_0P_i+1P_i'$ and $angle P_i'P_i+1P_i+2$;

      2. Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;

      3. Consider the isosceles triangle $triangle P_i'P_i+1P_i+2$, and solve its base angles $angle P_i+1P_i'P_i+2$ and $angle P_i'P_i+2P_i+1$;

      4. Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;

      5. Prove the induction statement for $i+1$.


      If $P_i'$ is inside the polygon, e.g. $i=1$ above, consider the triangles at $P_i+1$: $triangle P_0P_iP_i+1$, $triangle P_0P_i'P_i+1$ and $triangle P_i'P_i+1P_i+2$.



      $$beginalign*
      angle P_iP_i+1P_i+2 &= angle P_iP_i+1P_0 + angle P_0P_i+1P_i' + angle P_i'P_i+1P_i+2\
      180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in + angle P_i'P_i+1P_i+2\
      angle P_i'P_i+1P_i+2 &= 180^circ - frac180^circ (2i+2)n
      endalign*$$



      $P_i+1P_i+2 = P_i+1P_i'$ for being the sides of the regular polygon, so $triangle P_i'P_i+1P_i+2$ is isosceles. Consider its base angles:



      $$beginalign*
      angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
      &= frac180^circ(i+1)n\
      &= angle P_i'P_i+1P_0 + angle P_i'P_0P_i+1
      endalign*$$



      And so $P_0P_i'P_i+2$ is a straight line, so



      $$beginalign*
      angle P_i+1P_0P_i+2 &= angle P_i+1P_0P_i'\
      &= frac180^circn\
      angle P_i+1P_i+2P_0 &= angle P_i+1P_i+2P_i'\
      &= frac180^circ(i+1)n
      endalign*$$




      If $P_i'$ is outside the polygon, e.g. $i=5$ above, consider at $P_i+1$,



      $$beginalign*
      angle P_iP_i+1P_i+2 &= angle P_i P_i+1 P_0 + angle P_0 P_i+1 P_i' - angle P_i'P_i+1P_i+2\
      180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in - angle P_i'P_i+1P_i+2\
      angle P_i'P_i+1P_i+2 &= -left[180^circ - frac180^circ (2i+2)nright]
      endalign*$$



      $triangle P_i'P_i+1P_i+2$ is again isosceles with $P_i+1P_i+2 = P_i+1P_i'$. Consider its base angles:



      $$beginalign*
      angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
      &= 180^circ - frac180^circ(i+1)n\
      &= angle P_0P_i'P_i+1
      endalign*$$



      So in this case $P_0P_i+2P_i'$ is a straight line, and so



      $$beginalign*
      angle P_i+1P_0P_i+2 &= P_i+1P_0P_i'\
      &= frac180^circn\
      angle P_i+1P_i+2P_0 &= 180^circ - P_i+1P_i+2P_i'\
      &= frac180^circ(i+1)n\
      endalign*$$




      By induction, all $angle P_iP_0P_i+1$ are equal to $frac180^circn$ for $i = 1, 2, ldots , n-2$.






      share|cite|improve this answer











      $endgroup$















        1












        1








        1





        $begingroup$

        Let the regular polygon be $P_0P_1P_2cdots P_n-1$ where $P_i$'s are vertices in order. The polygon has $n$ sides where $nge 4$ to be interesting.



        Let each interior angle be $theta$:



        $$theta = 180^circ-frac180^circcdot2n$$



        Pick $P_0$ as the vertex to draw diagonals from.



        Consider the diagonal $P_0P_2$. The triangle cut off $triangle P_0P_1P_2$ is isosceles with $P_0P_1 = P_1P_2$. The base angles are



        $$angle P_1P_0P_2 = angle P_1P_2P_0 = frac180^circ - theta2 = frac180^circn$$




        Now here's an inductive assumption: The $i$th triangle formed by $triangle P_0P_iP_i+1$ has the following angles:



        $$beginalign*
        angle P_iP_0P_i+1 &= frac180^circn\
        angle P_iP_i+1P_0 &= frac180^circ cdot in
        endalign*$$




        For the next (i.e. the $(i+1)$th) triangle $triangle P_0P_i+1P_i+2$, reflect $P_i$ by diagonal $P_0P_i+1$ to obtain $P_i'$. $P_i'$ may be outside or inside or on the edge of the polygon, but the cases are similar.



        Examples of $i=1$ and $i=5$ in a regular nonagon:



        Example of vertex reflection with a nonagon n = 9



        In both cases, the proof strategy is to:



        1. Consider the polygon interior angle $angle P_iP_i+1P_i+2$ and three angles sharing the same vertex: $angle P_iP_i+1P_0$, $angle P_0P_i+1P_i'$ and $angle P_i'P_i+1P_i+2$;

        2. Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;

        3. Consider the isosceles triangle $triangle P_i'P_i+1P_i+2$, and solve its base angles $angle P_i+1P_i'P_i+2$ and $angle P_i'P_i+2P_i+1$;

        4. Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;

        5. Prove the induction statement for $i+1$.


        If $P_i'$ is inside the polygon, e.g. $i=1$ above, consider the triangles at $P_i+1$: $triangle P_0P_iP_i+1$, $triangle P_0P_i'P_i+1$ and $triangle P_i'P_i+1P_i+2$.



        $$beginalign*
        angle P_iP_i+1P_i+2 &= angle P_iP_i+1P_0 + angle P_0P_i+1P_i' + angle P_i'P_i+1P_i+2\
        180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in + angle P_i'P_i+1P_i+2\
        angle P_i'P_i+1P_i+2 &= 180^circ - frac180^circ (2i+2)n
        endalign*$$



        $P_i+1P_i+2 = P_i+1P_i'$ for being the sides of the regular polygon, so $triangle P_i'P_i+1P_i+2$ is isosceles. Consider its base angles:



        $$beginalign*
        angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
        &= frac180^circ(i+1)n\
        &= angle P_i'P_i+1P_0 + angle P_i'P_0P_i+1
        endalign*$$



        And so $P_0P_i'P_i+2$ is a straight line, so



        $$beginalign*
        angle P_i+1P_0P_i+2 &= angle P_i+1P_0P_i'\
        &= frac180^circn\
        angle P_i+1P_i+2P_0 &= angle P_i+1P_i+2P_i'\
        &= frac180^circ(i+1)n
        endalign*$$




        If $P_i'$ is outside the polygon, e.g. $i=5$ above, consider at $P_i+1$,



        $$beginalign*
        angle P_iP_i+1P_i+2 &= angle P_i P_i+1 P_0 + angle P_0 P_i+1 P_i' - angle P_i'P_i+1P_i+2\
        180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in - angle P_i'P_i+1P_i+2\
        angle P_i'P_i+1P_i+2 &= -left[180^circ - frac180^circ (2i+2)nright]
        endalign*$$



        $triangle P_i'P_i+1P_i+2$ is again isosceles with $P_i+1P_i+2 = P_i+1P_i'$. Consider its base angles:



        $$beginalign*
        angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
        &= 180^circ - frac180^circ(i+1)n\
        &= angle P_0P_i'P_i+1
        endalign*$$



        So in this case $P_0P_i+2P_i'$ is a straight line, and so



        $$beginalign*
        angle P_i+1P_0P_i+2 &= P_i+1P_0P_i'\
        &= frac180^circn\
        angle P_i+1P_i+2P_0 &= 180^circ - P_i+1P_i+2P_i'\
        &= frac180^circ(i+1)n\
        endalign*$$




        By induction, all $angle P_iP_0P_i+1$ are equal to $frac180^circn$ for $i = 1, 2, ldots , n-2$.






        share|cite|improve this answer











        $endgroup$



        Let the regular polygon be $P_0P_1P_2cdots P_n-1$ where $P_i$'s are vertices in order. The polygon has $n$ sides where $nge 4$ to be interesting.



        Let each interior angle be $theta$:



        $$theta = 180^circ-frac180^circcdot2n$$



        Pick $P_0$ as the vertex to draw diagonals from.



        Consider the diagonal $P_0P_2$. The triangle cut off $triangle P_0P_1P_2$ is isosceles with $P_0P_1 = P_1P_2$. The base angles are



        $$angle P_1P_0P_2 = angle P_1P_2P_0 = frac180^circ - theta2 = frac180^circn$$




        Now here's an inductive assumption: The $i$th triangle formed by $triangle P_0P_iP_i+1$ has the following angles:



        $$beginalign*
        angle P_iP_0P_i+1 &= frac180^circn\
        angle P_iP_i+1P_0 &= frac180^circ cdot in
        endalign*$$




        For the next (i.e. the $(i+1)$th) triangle $triangle P_0P_i+1P_i+2$, reflect $P_i$ by diagonal $P_0P_i+1$ to obtain $P_i'$. $P_i'$ may be outside or inside or on the edge of the polygon, but the cases are similar.



        Examples of $i=1$ and $i=5$ in a regular nonagon:



        Example of vertex reflection with a nonagon n = 9



        In both cases, the proof strategy is to:



        1. Consider the polygon interior angle $angle P_iP_i+1P_i+2$ and three angles sharing the same vertex: $angle P_iP_i+1P_0$, $angle P_0P_i+1P_i'$ and $angle P_i'P_i+1P_i+2$;

        2. Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;

        3. Consider the isosceles triangle $triangle P_i'P_i+1P_i+2$, and solve its base angles $angle P_i+1P_i'P_i+2$ and $angle P_i'P_i+2P_i+1$;

        4. Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;

        5. Prove the induction statement for $i+1$.


        If $P_i'$ is inside the polygon, e.g. $i=1$ above, consider the triangles at $P_i+1$: $triangle P_0P_iP_i+1$, $triangle P_0P_i'P_i+1$ and $triangle P_i'P_i+1P_i+2$.



        $$beginalign*
        angle P_iP_i+1P_i+2 &= angle P_iP_i+1P_0 + angle P_0P_i+1P_i' + angle P_i'P_i+1P_i+2\
        180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in + angle P_i'P_i+1P_i+2\
        angle P_i'P_i+1P_i+2 &= 180^circ - frac180^circ (2i+2)n
        endalign*$$



        $P_i+1P_i+2 = P_i+1P_i'$ for being the sides of the regular polygon, so $triangle P_i'P_i+1P_i+2$ is isosceles. Consider its base angles:



        $$beginalign*
        angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
        &= frac180^circ(i+1)n\
        &= angle P_i'P_i+1P_0 + angle P_i'P_0P_i+1
        endalign*$$



        And so $P_0P_i'P_i+2$ is a straight line, so



        $$beginalign*
        angle P_i+1P_0P_i+2 &= angle P_i+1P_0P_i'\
        &= frac180^circn\
        angle P_i+1P_i+2P_0 &= angle P_i+1P_i+2P_i'\
        &= frac180^circ(i+1)n
        endalign*$$




        If $P_i'$ is outside the polygon, e.g. $i=5$ above, consider at $P_i+1$,



        $$beginalign*
        angle P_iP_i+1P_i+2 &= angle P_i P_i+1 P_0 + angle P_0 P_i+1 P_i' - angle P_i'P_i+1P_i+2\
        180^circ - frac180^circcdot2n &= frac180^circ cdot in + frac180^circ cdot in - angle P_i'P_i+1P_i+2\
        angle P_i'P_i+1P_i+2 &= -left[180^circ - frac180^circ (2i+2)nright]
        endalign*$$



        $triangle P_i'P_i+1P_i+2$ is again isosceles with $P_i+1P_i+2 = P_i+1P_i'$. Consider its base angles:



        $$beginalign*
        angle P_i+1P_i'P_i+2 &= frac180^circ - angle P_i'P_i+1P_i+22\
        &= 180^circ - frac180^circ(i+1)n\
        &= angle P_0P_i'P_i+1
        endalign*$$



        So in this case $P_0P_i+2P_i'$ is a straight line, and so



        $$beginalign*
        angle P_i+1P_0P_i+2 &= P_i+1P_0P_i'\
        &= frac180^circn\
        angle P_i+1P_i+2P_0 &= 180^circ - P_i+1P_i+2P_i'\
        &= frac180^circ(i+1)n\
        endalign*$$




        By induction, all $angle P_iP_0P_i+1$ are equal to $frac180^circn$ for $i = 1, 2, ldots , n-2$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited May 5 at 1:55

























        answered May 4 at 1:42









        peterwhypeterwhy

        12.7k21229




        12.7k21229





















            0












            $begingroup$

            Since the polygon is regular, it means that all the angles of interest (made up by the lines drawn from a single point) lie on a same-length segment of the circumscribed circle (equal sides of the regular polygon) and hence must be the same. However, I'm not sure if this answer doesn't satisfy your 'circumference' requirement (please clarify if it doesn't).






            share|cite|improve this answer









            $endgroup$












            • $begingroup$
              I cant inscribe the polygon in a circumference to prove it
              $endgroup$
              – Mattiu
              May 3 at 23:55















            0












            $begingroup$

            Since the polygon is regular, it means that all the angles of interest (made up by the lines drawn from a single point) lie on a same-length segment of the circumscribed circle (equal sides of the regular polygon) and hence must be the same. However, I'm not sure if this answer doesn't satisfy your 'circumference' requirement (please clarify if it doesn't).






            share|cite|improve this answer









            $endgroup$












            • $begingroup$
              I cant inscribe the polygon in a circumference to prove it
              $endgroup$
              – Mattiu
              May 3 at 23:55













            0












            0








            0





            $begingroup$

            Since the polygon is regular, it means that all the angles of interest (made up by the lines drawn from a single point) lie on a same-length segment of the circumscribed circle (equal sides of the regular polygon) and hence must be the same. However, I'm not sure if this answer doesn't satisfy your 'circumference' requirement (please clarify if it doesn't).






            share|cite|improve this answer









            $endgroup$



            Since the polygon is regular, it means that all the angles of interest (made up by the lines drawn from a single point) lie on a same-length segment of the circumscribed circle (equal sides of the regular polygon) and hence must be the same. However, I'm not sure if this answer doesn't satisfy your 'circumference' requirement (please clarify if it doesn't).







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered May 3 at 23:48









            dnqxtdnqxt

            1,05825




            1,05825











            • $begingroup$
              I cant inscribe the polygon in a circumference to prove it
              $endgroup$
              – Mattiu
              May 3 at 23:55
















            • $begingroup$
              I cant inscribe the polygon in a circumference to prove it
              $endgroup$
              – Mattiu
              May 3 at 23:55















            $begingroup$
            I cant inscribe the polygon in a circumference to prove it
            $endgroup$
            – Mattiu
            May 3 at 23:55




            $begingroup$
            I cant inscribe the polygon in a circumference to prove it
            $endgroup$
            – Mattiu
            May 3 at 23:55

















            draft saved

            draft discarded
















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3212864%2fif-all-diagonals-are-drawn-in-a-regular-polygon-from-a-vertex-the-angles-formed%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            How to write a 12-bar blues melodyI-IV-V blues progressionHow to play the bridges in a standard blues progressionHow does Gdim7 fit in C# minor?question on a certain chord progressionMusicology of Melody12 bar blues, spread rhythm: alternative to 6th chord to avoid finger stretchChord progressions/ Root key/ MelodiesHow to put chords (POP-EDM) under a given lead vocal melody (starting from a good knowledge in music theory)Are there “rules” for improvising with the minor pentatonic scale over 12-bar shuffle?Confusion about blues scale and chords

            What if the end-user didn't have the required library?What is setup.py?What is a clean, pythonic way to have multiple constructors in Python?What does Ruby have that Python doesn't, and vice versa?What is the reason for having '//' in Python?How do I create a namespace package in Python?How to package shared objects that python modules depend on?setuptools vs. distutils: why is distutils still a thing?Navigation in Windows 10 vs code not going to virtualenv library when the same library is installed at user levelPython create package for local usePackaging a project that uses multiple python versionsWhy is permission denied on pip install except for when “--user” is included at end of command?

            Why did Thanos need his ship to help him in the battle scene?Which actor plays Thanos in the Avengers mid-credits scene?Are there economic implications portrayed in comics where the buildings and cities are ruined almost daily?Old X-Men comic where team travels to alien world with a ring-like sun that needs recharging?Why does Ego need help sleeping?Is there an objective answer to who “the strongest Avenger” is?How did Banner get unstuck?Why did Thanos get hit?How did Thanos (or anyone) know the Infinity Stones would give him this power?Did Thanos leave Eitri alive for his after-sales service?In Avengers 1, why does Thanos need Loki?