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$.
$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.
geometry proof-explanation
$endgroup$
|
show 1 more comment
$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.
geometry proof-explanation
$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
|
show 1 more comment
$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.
geometry proof-explanation
$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
geometry proof-explanation
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
|
show 1 more comment
$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
|
show 1 more comment
4 Answers
4
active
oldest
votes
$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.

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$.
$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
add a comment |
$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$.
$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
|
show 2 more comments
$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:

In both cases, the proof strategy is to:
- 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$;
- Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;
- 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$;
- Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;
- 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$.
$endgroup$
add a comment |
$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).
$endgroup$
$begingroup$
I cant inscribe the polygon in a circumference to prove it
$endgroup$
– Mattiu
May 3 at 23:55
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.

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$.
$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
add a comment |
$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.

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$.
$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
add a comment |
$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.

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$.
$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.

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$.
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
add a comment |
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
add a comment |
$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$.
$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
|
show 2 more comments
$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$.
$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
|
show 2 more comments
$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$.
$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$.
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
|
show 2 more comments
$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
|
show 2 more comments
$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:

In both cases, the proof strategy is to:
- 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$;
- Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;
- 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$;
- Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;
- 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$.
$endgroup$
add a comment |
$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:

In both cases, the proof strategy is to:
- 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$;
- Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;
- 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$;
- Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;
- 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$.
$endgroup$
add a comment |
$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:

In both cases, the proof strategy is to:
- 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$;
- Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;
- 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$;
- Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;
- 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$.
$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:

In both cases, the proof strategy is to:
- 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$;
- Use the inductive assumption to solve $angle P_i'P_i+1P_i+2$;
- 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$;
- Show that $P_0$, $P_i'$ and $P_i+2$ are collinear using the first base angle;
- 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$.
edited May 5 at 1:55
answered May 4 at 1:42
peterwhypeterwhy
12.7k21229
12.7k21229
add a comment |
add a comment |
$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).
$endgroup$
$begingroup$
I cant inscribe the polygon in a circumference to prove it
$endgroup$
– Mattiu
May 3 at 23:55
add a comment |
$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).
$endgroup$
$begingroup$
I cant inscribe the polygon in a circumference to prove it
$endgroup$
– Mattiu
May 3 at 23:55
add a comment |
$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).
$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).
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
add a comment |
$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
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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