Synthetic solution to this geometry problem?
up vote
6
down vote
favorite
Consider the following diagram. In the isosceles triangle $triangle ABC$ with $AB=AC$, it is given that $BC=2$. Two points $M,N$ lie on $AB,AC$ respectively so that $AM=NC$. Prove: $MN$ is at least $1$. (Source: 1990 High School Olympiad held in Xi'an, China)
I've already solved this problem by doing some coordinate geometry, setting $AM=NC=t$, finding $MN$ as a function of $t$, then minimising that function. But this is quite tedious, which led me to wonder what the synthetic geometry solution, which I couldn't find, is. (Btw, "synthetic" means without the use of coordinate geometry, and hopefully with as little algebra as possible as well.)
geometry contest-math euclidean-geometry
add a comment |
up vote
6
down vote
favorite
Consider the following diagram. In the isosceles triangle $triangle ABC$ with $AB=AC$, it is given that $BC=2$. Two points $M,N$ lie on $AB,AC$ respectively so that $AM=NC$. Prove: $MN$ is at least $1$. (Source: 1990 High School Olympiad held in Xi'an, China)
I've already solved this problem by doing some coordinate geometry, setting $AM=NC=t$, finding $MN$ as a function of $t$, then minimising that function. But this is quite tedious, which led me to wonder what the synthetic geometry solution, which I couldn't find, is. (Btw, "synthetic" means without the use of coordinate geometry, and hopefully with as little algebra as possible as well.)
geometry contest-math euclidean-geometry
add a comment |
up vote
6
down vote
favorite
up vote
6
down vote
favorite
Consider the following diagram. In the isosceles triangle $triangle ABC$ with $AB=AC$, it is given that $BC=2$. Two points $M,N$ lie on $AB,AC$ respectively so that $AM=NC$. Prove: $MN$ is at least $1$. (Source: 1990 High School Olympiad held in Xi'an, China)
I've already solved this problem by doing some coordinate geometry, setting $AM=NC=t$, finding $MN$ as a function of $t$, then minimising that function. But this is quite tedious, which led me to wonder what the synthetic geometry solution, which I couldn't find, is. (Btw, "synthetic" means without the use of coordinate geometry, and hopefully with as little algebra as possible as well.)
geometry contest-math euclidean-geometry
Consider the following diagram. In the isosceles triangle $triangle ABC$ with $AB=AC$, it is given that $BC=2$. Two points $M,N$ lie on $AB,AC$ respectively so that $AM=NC$. Prove: $MN$ is at least $1$. (Source: 1990 High School Olympiad held in Xi'an, China)
I've already solved this problem by doing some coordinate geometry, setting $AM=NC=t$, finding $MN$ as a function of $t$, then minimising that function. But this is quite tedious, which led me to wonder what the synthetic geometry solution, which I couldn't find, is. (Btw, "synthetic" means without the use of coordinate geometry, and hopefully with as little algebra as possible as well.)
geometry contest-math euclidean-geometry
geometry contest-math euclidean-geometry
asked Dec 5 at 1:06
YiFan
1,9181317
1,9181317
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
up vote
5
down vote
accepted
Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.
$$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$
How did you draw the diagram?
– Anubhab Ghosal
Dec 5 at 8:12
@AnubhabGhosal: I use GeoGebra.
– Blue
Dec 5 at 8:15
How do you mark the angles in geogebra?
– Anubhab Ghosal
Dec 5 at 8:16
1
@AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
– Blue
Dec 5 at 8:20
1
Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
– Anubhab Ghosal
Dec 5 at 9:37
add a comment |
up vote
3
down vote
A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.
New contributor
add a comment |
up vote
2
down vote
Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
Therefore, $MNgeq PQ=1$.
New contributor
Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
– amI
Dec 5 at 11:28
@aml, I do not understand your concern.
– Anubhab Ghosal
Dec 5 at 14:51
No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
– amI
Dec 5 at 22:01
@aml, that is right, but how do you prove that PQ bisects MN without any construction?
– Anubhab Ghosal
yesterday
Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
– amI
18 hours ago
add a comment |
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
5
down vote
accepted
Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.
$$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$
How did you draw the diagram?
– Anubhab Ghosal
Dec 5 at 8:12
@AnubhabGhosal: I use GeoGebra.
– Blue
Dec 5 at 8:15
How do you mark the angles in geogebra?
– Anubhab Ghosal
Dec 5 at 8:16
1
@AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
– Blue
Dec 5 at 8:20
1
Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
– Anubhab Ghosal
Dec 5 at 9:37
add a comment |
up vote
5
down vote
accepted
Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.
$$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$
How did you draw the diagram?
– Anubhab Ghosal
Dec 5 at 8:12
@AnubhabGhosal: I use GeoGebra.
– Blue
Dec 5 at 8:15
How do you mark the angles in geogebra?
– Anubhab Ghosal
Dec 5 at 8:16
1
@AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
– Blue
Dec 5 at 8:20
1
Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
– Anubhab Ghosal
Dec 5 at 9:37
add a comment |
up vote
5
down vote
accepted
up vote
5
down vote
accepted
Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.
$$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$
Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.
$$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$
answered Dec 5 at 4:33
Blue
47.2k870148
47.2k870148
How did you draw the diagram?
– Anubhab Ghosal
Dec 5 at 8:12
@AnubhabGhosal: I use GeoGebra.
– Blue
Dec 5 at 8:15
How do you mark the angles in geogebra?
– Anubhab Ghosal
Dec 5 at 8:16
1
@AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
– Blue
Dec 5 at 8:20
1
Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
– Anubhab Ghosal
Dec 5 at 9:37
add a comment |
How did you draw the diagram?
– Anubhab Ghosal
Dec 5 at 8:12
@AnubhabGhosal: I use GeoGebra.
– Blue
Dec 5 at 8:15
How do you mark the angles in geogebra?
– Anubhab Ghosal
Dec 5 at 8:16
1
@AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
– Blue
Dec 5 at 8:20
1
Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
– Anubhab Ghosal
Dec 5 at 9:37
How did you draw the diagram?
– Anubhab Ghosal
Dec 5 at 8:12
How did you draw the diagram?
– Anubhab Ghosal
Dec 5 at 8:12
@AnubhabGhosal: I use GeoGebra.
– Blue
Dec 5 at 8:15
@AnubhabGhosal: I use GeoGebra.
– Blue
Dec 5 at 8:15
How do you mark the angles in geogebra?
– Anubhab Ghosal
Dec 5 at 8:16
How do you mark the angles in geogebra?
– Anubhab Ghosal
Dec 5 at 8:16
1
1
@AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
– Blue
Dec 5 at 8:20
@AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
– Blue
Dec 5 at 8:20
1
1
Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
– Anubhab Ghosal
Dec 5 at 9:37
Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
– Anubhab Ghosal
Dec 5 at 9:37
add a comment |
up vote
3
down vote
A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.
New contributor
add a comment |
up vote
3
down vote
A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.
New contributor
add a comment |
up vote
3
down vote
up vote
3
down vote
A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.
New contributor
A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.
New contributor
New contributor
answered Dec 5 at 7:39
tobi_s
1412
1412
New contributor
New contributor
add a comment |
add a comment |
up vote
2
down vote
Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
Therefore, $MNgeq PQ=1$.
New contributor
Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
– amI
Dec 5 at 11:28
@aml, I do not understand your concern.
– Anubhab Ghosal
Dec 5 at 14:51
No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
– amI
Dec 5 at 22:01
@aml, that is right, but how do you prove that PQ bisects MN without any construction?
– Anubhab Ghosal
yesterday
Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
– amI
18 hours ago
add a comment |
up vote
2
down vote
Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
Therefore, $MNgeq PQ=1$.
New contributor
Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
– amI
Dec 5 at 11:28
@aml, I do not understand your concern.
– Anubhab Ghosal
Dec 5 at 14:51
No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
– amI
Dec 5 at 22:01
@aml, that is right, but how do you prove that PQ bisects MN without any construction?
– Anubhab Ghosal
yesterday
Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
– amI
18 hours ago
add a comment |
up vote
2
down vote
up vote
2
down vote
Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
Therefore, $MNgeq PQ=1$.
New contributor
Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
Therefore, $MNgeq PQ=1$.
New contributor
edited Dec 5 at 4:43
New contributor
answered Dec 5 at 4:02
Anubhab Ghosal
4329
4329
New contributor
New contributor
Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
– amI
Dec 5 at 11:28
@aml, I do not understand your concern.
– Anubhab Ghosal
Dec 5 at 14:51
No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
– amI
Dec 5 at 22:01
@aml, that is right, but how do you prove that PQ bisects MN without any construction?
– Anubhab Ghosal
yesterday
Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
– amI
18 hours ago
add a comment |
Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
– amI
Dec 5 at 11:28
@aml, I do not understand your concern.
– Anubhab Ghosal
Dec 5 at 14:51
No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
– amI
Dec 5 at 22:01
@aml, that is right, but how do you prove that PQ bisects MN without any construction?
– Anubhab Ghosal
yesterday
Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
– amI
18 hours ago
Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
– amI
Dec 5 at 11:28
Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
– amI
Dec 5 at 11:28
@aml, I do not understand your concern.
– Anubhab Ghosal
Dec 5 at 14:51
@aml, I do not understand your concern.
– Anubhab Ghosal
Dec 5 at 14:51
No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
– amI
Dec 5 at 22:01
No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
– amI
Dec 5 at 22:01
@aml, that is right, but how do you prove that PQ bisects MN without any construction?
– Anubhab Ghosal
yesterday
@aml, that is right, but how do you prove that PQ bisects MN without any construction?
– Anubhab Ghosal
yesterday
Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
– amI
18 hours ago
Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
– amI
18 hours ago
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3026447%2fsynthetic-solution-to-this-geometry-problem%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