Mid-point of AB segment
$begingroup$
Let X,Y be the end points of the diameter of a circumference
$mathit{C}$, and let N be the mid-point of one of the arcs XY of
$mathit{C}$. Let A,B be two points in the segment XY. The lines NA
and NB cut $mathit{C}$ in the points C and D, respectively. The
tangents to $mathit{C}$ in C and D intersect at P. Let M the point of
intersection between the segments XY and NP. Prove that M is the
mid-point of the segment AB.
I found this exercise on a geometry book (olympiad book without theory, just exercises. I'm learning this type of geometry for the first time) but I do not have any idea on how to tackle it. What theorems could I use to solve this? Any help/hints will be very appreciated.
geometry euclidean-geometry
$endgroup$
add a comment |
$begingroup$
Let X,Y be the end points of the diameter of a circumference
$mathit{C}$, and let N be the mid-point of one of the arcs XY of
$mathit{C}$. Let A,B be two points in the segment XY. The lines NA
and NB cut $mathit{C}$ in the points C and D, respectively. The
tangents to $mathit{C}$ in C and D intersect at P. Let M the point of
intersection between the segments XY and NP. Prove that M is the
mid-point of the segment AB.
I found this exercise on a geometry book (olympiad book without theory, just exercises. I'm learning this type of geometry for the first time) but I do not have any idea on how to tackle it. What theorems could I use to solve this? Any help/hints will be very appreciated.
geometry euclidean-geometry
$endgroup$
$begingroup$
The problem was fun to solve. Thanks. What book did you find it in?
$endgroup$
– Anubhab Ghosal
Dec 5 '18 at 9:34
$begingroup$
Unfortunately it's in spanish. It's called "Cuadernos de olimpiada:Geometría" by Radmila Bulajich Manfrino
$endgroup$
– mobzopi
Dec 6 '18 at 1:08
$begingroup$
Complex geometry provides a straightforward solution. Despite the fact that you have already accepted an excellent answer from Anubhabh, I decided to post a completely different one. Someone could find it inspiring and useful in similar situations.
$endgroup$
– Oldboy
Dec 6 '18 at 8:06
add a comment |
$begingroup$
Let X,Y be the end points of the diameter of a circumference
$mathit{C}$, and let N be the mid-point of one of the arcs XY of
$mathit{C}$. Let A,B be two points in the segment XY. The lines NA
and NB cut $mathit{C}$ in the points C and D, respectively. The
tangents to $mathit{C}$ in C and D intersect at P. Let M the point of
intersection between the segments XY and NP. Prove that M is the
mid-point of the segment AB.
I found this exercise on a geometry book (olympiad book without theory, just exercises. I'm learning this type of geometry for the first time) but I do not have any idea on how to tackle it. What theorems could I use to solve this? Any help/hints will be very appreciated.
geometry euclidean-geometry
$endgroup$
Let X,Y be the end points of the diameter of a circumference
$mathit{C}$, and let N be the mid-point of one of the arcs XY of
$mathit{C}$. Let A,B be two points in the segment XY. The lines NA
and NB cut $mathit{C}$ in the points C and D, respectively. The
tangents to $mathit{C}$ in C and D intersect at P. Let M the point of
intersection between the segments XY and NP. Prove that M is the
mid-point of the segment AB.
I found this exercise on a geometry book (olympiad book without theory, just exercises. I'm learning this type of geometry for the first time) but I do not have any idea on how to tackle it. What theorems could I use to solve this? Any help/hints will be very appreciated.
geometry euclidean-geometry
geometry euclidean-geometry
asked Dec 5 '18 at 5:10
mobzopimobzopi
645411
645411
$begingroup$
The problem was fun to solve. Thanks. What book did you find it in?
$endgroup$
– Anubhab Ghosal
Dec 5 '18 at 9:34
$begingroup$
Unfortunately it's in spanish. It's called "Cuadernos de olimpiada:Geometría" by Radmila Bulajich Manfrino
$endgroup$
– mobzopi
Dec 6 '18 at 1:08
$begingroup$
Complex geometry provides a straightforward solution. Despite the fact that you have already accepted an excellent answer from Anubhabh, I decided to post a completely different one. Someone could find it inspiring and useful in similar situations.
$endgroup$
– Oldboy
Dec 6 '18 at 8:06
add a comment |
$begingroup$
The problem was fun to solve. Thanks. What book did you find it in?
$endgroup$
– Anubhab Ghosal
Dec 5 '18 at 9:34
$begingroup$
Unfortunately it's in spanish. It's called "Cuadernos de olimpiada:Geometría" by Radmila Bulajich Manfrino
$endgroup$
– mobzopi
Dec 6 '18 at 1:08
$begingroup$
Complex geometry provides a straightforward solution. Despite the fact that you have already accepted an excellent answer from Anubhabh, I decided to post a completely different one. Someone could find it inspiring and useful in similar situations.
$endgroup$
– Oldboy
Dec 6 '18 at 8:06
$begingroup$
The problem was fun to solve. Thanks. What book did you find it in?
$endgroup$
– Anubhab Ghosal
Dec 5 '18 at 9:34
$begingroup$
The problem was fun to solve. Thanks. What book did you find it in?
$endgroup$
– Anubhab Ghosal
Dec 5 '18 at 9:34
$begingroup$
Unfortunately it's in spanish. It's called "Cuadernos de olimpiada:Geometría" by Radmila Bulajich Manfrino
$endgroup$
– mobzopi
Dec 6 '18 at 1:08
$begingroup$
Unfortunately it's in spanish. It's called "Cuadernos de olimpiada:Geometría" by Radmila Bulajich Manfrino
$endgroup$
– mobzopi
Dec 6 '18 at 1:08
$begingroup$
Complex geometry provides a straightforward solution. Despite the fact that you have already accepted an excellent answer from Anubhabh, I decided to post a completely different one. Someone could find it inspiring and useful in similar situations.
$endgroup$
– Oldboy
Dec 6 '18 at 8:06
$begingroup$
Complex geometry provides a straightforward solution. Despite the fact that you have already accepted an excellent answer from Anubhabh, I decided to post a completely different one. Someone could find it inspiring and useful in similar situations.
$endgroup$
– Oldboy
Dec 6 '18 at 8:06
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
(Please refer to the diagram.) First, we shall prove that $ABDC$ is cyclic. Let $O$ be the center of the original circle. Then, $NOperp XY$. Therefore, $$NA.NC=NA.AC+NA^2=XA.YA+NO^2+OA^2=(XO-AO)(YO+AO)+NO^2+OA^2=XO^2+NO^2$$ We do the same thing for B and obtain $NB.ND=NA.NC$. Therefore, $ADBC$ is cyclic as claimed.
Let $angle ANM=theta_1$, $angle BNM=theta_2$, $angle NAM=theta_3$, $angle NBM=theta_4$. By cyclicity of $ABDC$, $angle CDN=theta_3$. As PC is tangent to the circle, $ext. angle PCN=theta_3$. Similarly for the angles marked $theta_4$.
Applying sine rule to $triangle PCN$ and $triangle PDN$, we have, $$frac{PC}{sin theta_1}=frac{PN}{sin theta_3}text { and }frac{PD}{sin theta_2}=frac{PN}{sin theta_4}text .$$
As $PC=PD$, $$frac{sin theta_1}{sin theta_2}=frac{sin theta_3}{sin theta_4}text .$$
Applying sine rule to $triangle AMN$ and $triangle BMN$ , we have, $$frac{AM}{sin theta_1}=frac{MN}{sin theta_3}text { and } frac{BM}{sin theta_2}=frac{MN}{sin theta_4}text .$$
$$therefore frac{AM}{BM}=frac{sintheta_1.sintheta_3}{sintheta_2.sintheta_4}=1$$
$blacksquare$
Also see:
Power of Point,
Sine Rule
$endgroup$
$begingroup$
Bravo, a really good proof.
$endgroup$
– Oldboy
Dec 5 '18 at 22:41
1
$begingroup$
Please check my completely different proof.
$endgroup$
– Oldboy
Dec 6 '18 at 8:05
1
$begingroup$
Thanks. Your complex bash is more straightforward as there is only 1 circle involved.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:24
$begingroup$
Yes, you have a single circle, but also intersections of chords and tangents and all that pushed me to use complex geometry.
$endgroup$
– Oldboy
Dec 6 '18 at 8:59
1
$begingroup$
Fixed it. Thanks.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 9:42
|
show 1 more comment
$begingroup$
This problem can be solved in a completely straightforward don't-make-me-think way by using complex geometry (which is a frequent subject in IMO and other competitions). The most important formulas can be found HERE.
WLOG, we can assume that our circle is a unit circle in a complex plane:
Each point in the drawing is represented with a complex number. A capital letter (say $R$) is a point, the corresponding small letter ($r$) is its complex coordinate (usual convention in complex geometry).
We'll pick points $C$ and $D$ freely on the unit circle. These two points satisfy the following relation:
$$bar{c}=frac1c, bar{d}=frac1dtag{1}$$
The point $A$ represents the intersection of chords $NC$ and $XY$. The point of intersection is given with the following (well-known) formula (also found in the "cheat sheet" mentioned above):
$$a=frac{nc(x+y)-xy(n+c)}{nc-xy}$$
Notice that $n=1$, $x=i$, $y=-i$, $x+y=0$, $xy=1$. This gives:
$$a=frac{1+c}{1-c}$$
In a similar fashion:
$$b=frac{1+d}{1-d}$$
Denote the midpoint of AB with M:
$$m=frac{a+b}2=frac{1-cd}{(1-c)(1-d)}tag{2}$$
Point P is defined by the intersection of tangents $CP$ and $CD$. Again, by a well-known formula:
$$p=frac{2cd}{c+d}tag{3}$$
Let us prove that points $N,M,P$ are collinear and we are done! In complex geometry, this is true iff:
$$frac{n-m}{bar{n}-bar{m}}=frac{n-p}{bar{n}-bar{p}}$$
Obviously $n=bar{n}=1$. So we have to prove that:
$$frac{1-m}{1-bar{m}}=frac{1-p}{1-bar{p}}tag{4}$$
From (2):
$$bar{m}=frac{1-bar{c}bar{d}}{(1-bar{c})(1-bar{d})}=frac{1-frac1cfrac1d}{(1-frac1c)(1-frac1d)}=frac{cd-1}{(c-1))(d-1)}$$
$$frac{1-m}{1-bar{m}}=frac{1-frac{1-cd}{(1-c)(1-d)}}{1-frac{cd-1}{(c-1))(d-1)}}=frac{c+d-2cd}{c+d-2}tag{5}$$
From (3):
$$bar{p}=frac{2bar{c}bar{d}}{bar{c}+bar{d}}=frac{2frac1cfrac1d}{frac1c+frac1d}=frac{2}{c+d}$$
$$frac{1-p}{1-bar{p}}=frac{1-frac{2cd}{c+d}}{1-frac{2}{c+d}}=frac{c+d-2cd}{c+d-2}tag{6}$$
By comparing (5) and (6) we see that (4) is true and therefore points $N,M,P$ must be collinear.
Done.
$endgroup$
$begingroup$
Are you a IMO competitor?
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:29
$begingroup$
No, I'm way too old for it :)
$endgroup$
– Oldboy
Dec 6 '18 at 8:54
$begingroup$
I assume you are a trainer, then.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:56
1
$begingroup$
@AnubhabGhosal No, I just love math and learned a bit of it over decades. I trained my son until he reached the level to start training me. :)
$endgroup$
– Oldboy
Dec 6 '18 at 9:01
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
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%2f3026660%2fmid-point-of-ab-segment%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
(Please refer to the diagram.) First, we shall prove that $ABDC$ is cyclic. Let $O$ be the center of the original circle. Then, $NOperp XY$. Therefore, $$NA.NC=NA.AC+NA^2=XA.YA+NO^2+OA^2=(XO-AO)(YO+AO)+NO^2+OA^2=XO^2+NO^2$$ We do the same thing for B and obtain $NB.ND=NA.NC$. Therefore, $ADBC$ is cyclic as claimed.
Let $angle ANM=theta_1$, $angle BNM=theta_2$, $angle NAM=theta_3$, $angle NBM=theta_4$. By cyclicity of $ABDC$, $angle CDN=theta_3$. As PC is tangent to the circle, $ext. angle PCN=theta_3$. Similarly for the angles marked $theta_4$.
Applying sine rule to $triangle PCN$ and $triangle PDN$, we have, $$frac{PC}{sin theta_1}=frac{PN}{sin theta_3}text { and }frac{PD}{sin theta_2}=frac{PN}{sin theta_4}text .$$
As $PC=PD$, $$frac{sin theta_1}{sin theta_2}=frac{sin theta_3}{sin theta_4}text .$$
Applying sine rule to $triangle AMN$ and $triangle BMN$ , we have, $$frac{AM}{sin theta_1}=frac{MN}{sin theta_3}text { and } frac{BM}{sin theta_2}=frac{MN}{sin theta_4}text .$$
$$therefore frac{AM}{BM}=frac{sintheta_1.sintheta_3}{sintheta_2.sintheta_4}=1$$
$blacksquare$
Also see:
Power of Point,
Sine Rule
$endgroup$
$begingroup$
Bravo, a really good proof.
$endgroup$
– Oldboy
Dec 5 '18 at 22:41
1
$begingroup$
Please check my completely different proof.
$endgroup$
– Oldboy
Dec 6 '18 at 8:05
1
$begingroup$
Thanks. Your complex bash is more straightforward as there is only 1 circle involved.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:24
$begingroup$
Yes, you have a single circle, but also intersections of chords and tangents and all that pushed me to use complex geometry.
$endgroup$
– Oldboy
Dec 6 '18 at 8:59
1
$begingroup$
Fixed it. Thanks.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 9:42
|
show 1 more comment
$begingroup$
(Please refer to the diagram.) First, we shall prove that $ABDC$ is cyclic. Let $O$ be the center of the original circle. Then, $NOperp XY$. Therefore, $$NA.NC=NA.AC+NA^2=XA.YA+NO^2+OA^2=(XO-AO)(YO+AO)+NO^2+OA^2=XO^2+NO^2$$ We do the same thing for B and obtain $NB.ND=NA.NC$. Therefore, $ADBC$ is cyclic as claimed.
Let $angle ANM=theta_1$, $angle BNM=theta_2$, $angle NAM=theta_3$, $angle NBM=theta_4$. By cyclicity of $ABDC$, $angle CDN=theta_3$. As PC is tangent to the circle, $ext. angle PCN=theta_3$. Similarly for the angles marked $theta_4$.
Applying sine rule to $triangle PCN$ and $triangle PDN$, we have, $$frac{PC}{sin theta_1}=frac{PN}{sin theta_3}text { and }frac{PD}{sin theta_2}=frac{PN}{sin theta_4}text .$$
As $PC=PD$, $$frac{sin theta_1}{sin theta_2}=frac{sin theta_3}{sin theta_4}text .$$
Applying sine rule to $triangle AMN$ and $triangle BMN$ , we have, $$frac{AM}{sin theta_1}=frac{MN}{sin theta_3}text { and } frac{BM}{sin theta_2}=frac{MN}{sin theta_4}text .$$
$$therefore frac{AM}{BM}=frac{sintheta_1.sintheta_3}{sintheta_2.sintheta_4}=1$$
$blacksquare$
Also see:
Power of Point,
Sine Rule
$endgroup$
$begingroup$
Bravo, a really good proof.
$endgroup$
– Oldboy
Dec 5 '18 at 22:41
1
$begingroup$
Please check my completely different proof.
$endgroup$
– Oldboy
Dec 6 '18 at 8:05
1
$begingroup$
Thanks. Your complex bash is more straightforward as there is only 1 circle involved.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:24
$begingroup$
Yes, you have a single circle, but also intersections of chords and tangents and all that pushed me to use complex geometry.
$endgroup$
– Oldboy
Dec 6 '18 at 8:59
1
$begingroup$
Fixed it. Thanks.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 9:42
|
show 1 more comment
$begingroup$
(Please refer to the diagram.) First, we shall prove that $ABDC$ is cyclic. Let $O$ be the center of the original circle. Then, $NOperp XY$. Therefore, $$NA.NC=NA.AC+NA^2=XA.YA+NO^2+OA^2=(XO-AO)(YO+AO)+NO^2+OA^2=XO^2+NO^2$$ We do the same thing for B and obtain $NB.ND=NA.NC$. Therefore, $ADBC$ is cyclic as claimed.
Let $angle ANM=theta_1$, $angle BNM=theta_2$, $angle NAM=theta_3$, $angle NBM=theta_4$. By cyclicity of $ABDC$, $angle CDN=theta_3$. As PC is tangent to the circle, $ext. angle PCN=theta_3$. Similarly for the angles marked $theta_4$.
Applying sine rule to $triangle PCN$ and $triangle PDN$, we have, $$frac{PC}{sin theta_1}=frac{PN}{sin theta_3}text { and }frac{PD}{sin theta_2}=frac{PN}{sin theta_4}text .$$
As $PC=PD$, $$frac{sin theta_1}{sin theta_2}=frac{sin theta_3}{sin theta_4}text .$$
Applying sine rule to $triangle AMN$ and $triangle BMN$ , we have, $$frac{AM}{sin theta_1}=frac{MN}{sin theta_3}text { and } frac{BM}{sin theta_2}=frac{MN}{sin theta_4}text .$$
$$therefore frac{AM}{BM}=frac{sintheta_1.sintheta_3}{sintheta_2.sintheta_4}=1$$
$blacksquare$
Also see:
Power of Point,
Sine Rule
$endgroup$
(Please refer to the diagram.) First, we shall prove that $ABDC$ is cyclic. Let $O$ be the center of the original circle. Then, $NOperp XY$. Therefore, $$NA.NC=NA.AC+NA^2=XA.YA+NO^2+OA^2=(XO-AO)(YO+AO)+NO^2+OA^2=XO^2+NO^2$$ We do the same thing for B and obtain $NB.ND=NA.NC$. Therefore, $ADBC$ is cyclic as claimed.
Let $angle ANM=theta_1$, $angle BNM=theta_2$, $angle NAM=theta_3$, $angle NBM=theta_4$. By cyclicity of $ABDC$, $angle CDN=theta_3$. As PC is tangent to the circle, $ext. angle PCN=theta_3$. Similarly for the angles marked $theta_4$.
Applying sine rule to $triangle PCN$ and $triangle PDN$, we have, $$frac{PC}{sin theta_1}=frac{PN}{sin theta_3}text { and }frac{PD}{sin theta_2}=frac{PN}{sin theta_4}text .$$
As $PC=PD$, $$frac{sin theta_1}{sin theta_2}=frac{sin theta_3}{sin theta_4}text .$$
Applying sine rule to $triangle AMN$ and $triangle BMN$ , we have, $$frac{AM}{sin theta_1}=frac{MN}{sin theta_3}text { and } frac{BM}{sin theta_2}=frac{MN}{sin theta_4}text .$$
$$therefore frac{AM}{BM}=frac{sintheta_1.sintheta_3}{sintheta_2.sintheta_4}=1$$
$blacksquare$
Also see:
Power of Point,
Sine Rule
edited Dec 31 '18 at 7:50
answered Dec 5 '18 at 9:32
Anubhab GhosalAnubhab Ghosal
1,22319
1,22319
$begingroup$
Bravo, a really good proof.
$endgroup$
– Oldboy
Dec 5 '18 at 22:41
1
$begingroup$
Please check my completely different proof.
$endgroup$
– Oldboy
Dec 6 '18 at 8:05
1
$begingroup$
Thanks. Your complex bash is more straightforward as there is only 1 circle involved.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:24
$begingroup$
Yes, you have a single circle, but also intersections of chords and tangents and all that pushed me to use complex geometry.
$endgroup$
– Oldboy
Dec 6 '18 at 8:59
1
$begingroup$
Fixed it. Thanks.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 9:42
|
show 1 more comment
$begingroup$
Bravo, a really good proof.
$endgroup$
– Oldboy
Dec 5 '18 at 22:41
1
$begingroup$
Please check my completely different proof.
$endgroup$
– Oldboy
Dec 6 '18 at 8:05
1
$begingroup$
Thanks. Your complex bash is more straightforward as there is only 1 circle involved.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:24
$begingroup$
Yes, you have a single circle, but also intersections of chords and tangents and all that pushed me to use complex geometry.
$endgroup$
– Oldboy
Dec 6 '18 at 8:59
1
$begingroup$
Fixed it. Thanks.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 9:42
$begingroup$
Bravo, a really good proof.
$endgroup$
– Oldboy
Dec 5 '18 at 22:41
$begingroup$
Bravo, a really good proof.
$endgroup$
– Oldboy
Dec 5 '18 at 22:41
1
1
$begingroup$
Please check my completely different proof.
$endgroup$
– Oldboy
Dec 6 '18 at 8:05
$begingroup$
Please check my completely different proof.
$endgroup$
– Oldboy
Dec 6 '18 at 8:05
1
1
$begingroup$
Thanks. Your complex bash is more straightforward as there is only 1 circle involved.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:24
$begingroup$
Thanks. Your complex bash is more straightforward as there is only 1 circle involved.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:24
$begingroup$
Yes, you have a single circle, but also intersections of chords and tangents and all that pushed me to use complex geometry.
$endgroup$
– Oldboy
Dec 6 '18 at 8:59
$begingroup$
Yes, you have a single circle, but also intersections of chords and tangents and all that pushed me to use complex geometry.
$endgroup$
– Oldboy
Dec 6 '18 at 8:59
1
1
$begingroup$
Fixed it. Thanks.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 9:42
$begingroup$
Fixed it. Thanks.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 9:42
|
show 1 more comment
$begingroup$
This problem can be solved in a completely straightforward don't-make-me-think way by using complex geometry (which is a frequent subject in IMO and other competitions). The most important formulas can be found HERE.
WLOG, we can assume that our circle is a unit circle in a complex plane:
Each point in the drawing is represented with a complex number. A capital letter (say $R$) is a point, the corresponding small letter ($r$) is its complex coordinate (usual convention in complex geometry).
We'll pick points $C$ and $D$ freely on the unit circle. These two points satisfy the following relation:
$$bar{c}=frac1c, bar{d}=frac1dtag{1}$$
The point $A$ represents the intersection of chords $NC$ and $XY$. The point of intersection is given with the following (well-known) formula (also found in the "cheat sheet" mentioned above):
$$a=frac{nc(x+y)-xy(n+c)}{nc-xy}$$
Notice that $n=1$, $x=i$, $y=-i$, $x+y=0$, $xy=1$. This gives:
$$a=frac{1+c}{1-c}$$
In a similar fashion:
$$b=frac{1+d}{1-d}$$
Denote the midpoint of AB with M:
$$m=frac{a+b}2=frac{1-cd}{(1-c)(1-d)}tag{2}$$
Point P is defined by the intersection of tangents $CP$ and $CD$. Again, by a well-known formula:
$$p=frac{2cd}{c+d}tag{3}$$
Let us prove that points $N,M,P$ are collinear and we are done! In complex geometry, this is true iff:
$$frac{n-m}{bar{n}-bar{m}}=frac{n-p}{bar{n}-bar{p}}$$
Obviously $n=bar{n}=1$. So we have to prove that:
$$frac{1-m}{1-bar{m}}=frac{1-p}{1-bar{p}}tag{4}$$
From (2):
$$bar{m}=frac{1-bar{c}bar{d}}{(1-bar{c})(1-bar{d})}=frac{1-frac1cfrac1d}{(1-frac1c)(1-frac1d)}=frac{cd-1}{(c-1))(d-1)}$$
$$frac{1-m}{1-bar{m}}=frac{1-frac{1-cd}{(1-c)(1-d)}}{1-frac{cd-1}{(c-1))(d-1)}}=frac{c+d-2cd}{c+d-2}tag{5}$$
From (3):
$$bar{p}=frac{2bar{c}bar{d}}{bar{c}+bar{d}}=frac{2frac1cfrac1d}{frac1c+frac1d}=frac{2}{c+d}$$
$$frac{1-p}{1-bar{p}}=frac{1-frac{2cd}{c+d}}{1-frac{2}{c+d}}=frac{c+d-2cd}{c+d-2}tag{6}$$
By comparing (5) and (6) we see that (4) is true and therefore points $N,M,P$ must be collinear.
Done.
$endgroup$
$begingroup$
Are you a IMO competitor?
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:29
$begingroup$
No, I'm way too old for it :)
$endgroup$
– Oldboy
Dec 6 '18 at 8:54
$begingroup$
I assume you are a trainer, then.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:56
1
$begingroup$
@AnubhabGhosal No, I just love math and learned a bit of it over decades. I trained my son until he reached the level to start training me. :)
$endgroup$
– Oldboy
Dec 6 '18 at 9:01
add a comment |
$begingroup$
This problem can be solved in a completely straightforward don't-make-me-think way by using complex geometry (which is a frequent subject in IMO and other competitions). The most important formulas can be found HERE.
WLOG, we can assume that our circle is a unit circle in a complex plane:
Each point in the drawing is represented with a complex number. A capital letter (say $R$) is a point, the corresponding small letter ($r$) is its complex coordinate (usual convention in complex geometry).
We'll pick points $C$ and $D$ freely on the unit circle. These two points satisfy the following relation:
$$bar{c}=frac1c, bar{d}=frac1dtag{1}$$
The point $A$ represents the intersection of chords $NC$ and $XY$. The point of intersection is given with the following (well-known) formula (also found in the "cheat sheet" mentioned above):
$$a=frac{nc(x+y)-xy(n+c)}{nc-xy}$$
Notice that $n=1$, $x=i$, $y=-i$, $x+y=0$, $xy=1$. This gives:
$$a=frac{1+c}{1-c}$$
In a similar fashion:
$$b=frac{1+d}{1-d}$$
Denote the midpoint of AB with M:
$$m=frac{a+b}2=frac{1-cd}{(1-c)(1-d)}tag{2}$$
Point P is defined by the intersection of tangents $CP$ and $CD$. Again, by a well-known formula:
$$p=frac{2cd}{c+d}tag{3}$$
Let us prove that points $N,M,P$ are collinear and we are done! In complex geometry, this is true iff:
$$frac{n-m}{bar{n}-bar{m}}=frac{n-p}{bar{n}-bar{p}}$$
Obviously $n=bar{n}=1$. So we have to prove that:
$$frac{1-m}{1-bar{m}}=frac{1-p}{1-bar{p}}tag{4}$$
From (2):
$$bar{m}=frac{1-bar{c}bar{d}}{(1-bar{c})(1-bar{d})}=frac{1-frac1cfrac1d}{(1-frac1c)(1-frac1d)}=frac{cd-1}{(c-1))(d-1)}$$
$$frac{1-m}{1-bar{m}}=frac{1-frac{1-cd}{(1-c)(1-d)}}{1-frac{cd-1}{(c-1))(d-1)}}=frac{c+d-2cd}{c+d-2}tag{5}$$
From (3):
$$bar{p}=frac{2bar{c}bar{d}}{bar{c}+bar{d}}=frac{2frac1cfrac1d}{frac1c+frac1d}=frac{2}{c+d}$$
$$frac{1-p}{1-bar{p}}=frac{1-frac{2cd}{c+d}}{1-frac{2}{c+d}}=frac{c+d-2cd}{c+d-2}tag{6}$$
By comparing (5) and (6) we see that (4) is true and therefore points $N,M,P$ must be collinear.
Done.
$endgroup$
$begingroup$
Are you a IMO competitor?
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:29
$begingroup$
No, I'm way too old for it :)
$endgroup$
– Oldboy
Dec 6 '18 at 8:54
$begingroup$
I assume you are a trainer, then.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:56
1
$begingroup$
@AnubhabGhosal No, I just love math and learned a bit of it over decades. I trained my son until he reached the level to start training me. :)
$endgroup$
– Oldboy
Dec 6 '18 at 9:01
add a comment |
$begingroup$
This problem can be solved in a completely straightforward don't-make-me-think way by using complex geometry (which is a frequent subject in IMO and other competitions). The most important formulas can be found HERE.
WLOG, we can assume that our circle is a unit circle in a complex plane:
Each point in the drawing is represented with a complex number. A capital letter (say $R$) is a point, the corresponding small letter ($r$) is its complex coordinate (usual convention in complex geometry).
We'll pick points $C$ and $D$ freely on the unit circle. These two points satisfy the following relation:
$$bar{c}=frac1c, bar{d}=frac1dtag{1}$$
The point $A$ represents the intersection of chords $NC$ and $XY$. The point of intersection is given with the following (well-known) formula (also found in the "cheat sheet" mentioned above):
$$a=frac{nc(x+y)-xy(n+c)}{nc-xy}$$
Notice that $n=1$, $x=i$, $y=-i$, $x+y=0$, $xy=1$. This gives:
$$a=frac{1+c}{1-c}$$
In a similar fashion:
$$b=frac{1+d}{1-d}$$
Denote the midpoint of AB with M:
$$m=frac{a+b}2=frac{1-cd}{(1-c)(1-d)}tag{2}$$
Point P is defined by the intersection of tangents $CP$ and $CD$. Again, by a well-known formula:
$$p=frac{2cd}{c+d}tag{3}$$
Let us prove that points $N,M,P$ are collinear and we are done! In complex geometry, this is true iff:
$$frac{n-m}{bar{n}-bar{m}}=frac{n-p}{bar{n}-bar{p}}$$
Obviously $n=bar{n}=1$. So we have to prove that:
$$frac{1-m}{1-bar{m}}=frac{1-p}{1-bar{p}}tag{4}$$
From (2):
$$bar{m}=frac{1-bar{c}bar{d}}{(1-bar{c})(1-bar{d})}=frac{1-frac1cfrac1d}{(1-frac1c)(1-frac1d)}=frac{cd-1}{(c-1))(d-1)}$$
$$frac{1-m}{1-bar{m}}=frac{1-frac{1-cd}{(1-c)(1-d)}}{1-frac{cd-1}{(c-1))(d-1)}}=frac{c+d-2cd}{c+d-2}tag{5}$$
From (3):
$$bar{p}=frac{2bar{c}bar{d}}{bar{c}+bar{d}}=frac{2frac1cfrac1d}{frac1c+frac1d}=frac{2}{c+d}$$
$$frac{1-p}{1-bar{p}}=frac{1-frac{2cd}{c+d}}{1-frac{2}{c+d}}=frac{c+d-2cd}{c+d-2}tag{6}$$
By comparing (5) and (6) we see that (4) is true and therefore points $N,M,P$ must be collinear.
Done.
$endgroup$
This problem can be solved in a completely straightforward don't-make-me-think way by using complex geometry (which is a frequent subject in IMO and other competitions). The most important formulas can be found HERE.
WLOG, we can assume that our circle is a unit circle in a complex plane:
Each point in the drawing is represented with a complex number. A capital letter (say $R$) is a point, the corresponding small letter ($r$) is its complex coordinate (usual convention in complex geometry).
We'll pick points $C$ and $D$ freely on the unit circle. These two points satisfy the following relation:
$$bar{c}=frac1c, bar{d}=frac1dtag{1}$$
The point $A$ represents the intersection of chords $NC$ and $XY$. The point of intersection is given with the following (well-known) formula (also found in the "cheat sheet" mentioned above):
$$a=frac{nc(x+y)-xy(n+c)}{nc-xy}$$
Notice that $n=1$, $x=i$, $y=-i$, $x+y=0$, $xy=1$. This gives:
$$a=frac{1+c}{1-c}$$
In a similar fashion:
$$b=frac{1+d}{1-d}$$
Denote the midpoint of AB with M:
$$m=frac{a+b}2=frac{1-cd}{(1-c)(1-d)}tag{2}$$
Point P is defined by the intersection of tangents $CP$ and $CD$. Again, by a well-known formula:
$$p=frac{2cd}{c+d}tag{3}$$
Let us prove that points $N,M,P$ are collinear and we are done! In complex geometry, this is true iff:
$$frac{n-m}{bar{n}-bar{m}}=frac{n-p}{bar{n}-bar{p}}$$
Obviously $n=bar{n}=1$. So we have to prove that:
$$frac{1-m}{1-bar{m}}=frac{1-p}{1-bar{p}}tag{4}$$
From (2):
$$bar{m}=frac{1-bar{c}bar{d}}{(1-bar{c})(1-bar{d})}=frac{1-frac1cfrac1d}{(1-frac1c)(1-frac1d)}=frac{cd-1}{(c-1))(d-1)}$$
$$frac{1-m}{1-bar{m}}=frac{1-frac{1-cd}{(1-c)(1-d)}}{1-frac{cd-1}{(c-1))(d-1)}}=frac{c+d-2cd}{c+d-2}tag{5}$$
From (3):
$$bar{p}=frac{2bar{c}bar{d}}{bar{c}+bar{d}}=frac{2frac1cfrac1d}{frac1c+frac1d}=frac{2}{c+d}$$
$$frac{1-p}{1-bar{p}}=frac{1-frac{2cd}{c+d}}{1-frac{2}{c+d}}=frac{c+d-2cd}{c+d-2}tag{6}$$
By comparing (5) and (6) we see that (4) is true and therefore points $N,M,P$ must be collinear.
Done.
answered Dec 6 '18 at 8:05
OldboyOldboy
8,59011036
8,59011036
$begingroup$
Are you a IMO competitor?
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:29
$begingroup$
No, I'm way too old for it :)
$endgroup$
– Oldboy
Dec 6 '18 at 8:54
$begingroup$
I assume you are a trainer, then.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:56
1
$begingroup$
@AnubhabGhosal No, I just love math and learned a bit of it over decades. I trained my son until he reached the level to start training me. :)
$endgroup$
– Oldboy
Dec 6 '18 at 9:01
add a comment |
$begingroup$
Are you a IMO competitor?
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:29
$begingroup$
No, I'm way too old for it :)
$endgroup$
– Oldboy
Dec 6 '18 at 8:54
$begingroup$
I assume you are a trainer, then.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:56
1
$begingroup$
@AnubhabGhosal No, I just love math and learned a bit of it over decades. I trained my son until he reached the level to start training me. :)
$endgroup$
– Oldboy
Dec 6 '18 at 9:01
$begingroup$
Are you a IMO competitor?
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:29
$begingroup$
Are you a IMO competitor?
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:29
$begingroup$
No, I'm way too old for it :)
$endgroup$
– Oldboy
Dec 6 '18 at 8:54
$begingroup$
No, I'm way too old for it :)
$endgroup$
– Oldboy
Dec 6 '18 at 8:54
$begingroup$
I assume you are a trainer, then.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:56
$begingroup$
I assume you are a trainer, then.
$endgroup$
– Anubhab Ghosal
Dec 6 '18 at 8:56
1
1
$begingroup$
@AnubhabGhosal No, I just love math and learned a bit of it over decades. I trained my son until he reached the level to start training me. :)
$endgroup$
– Oldboy
Dec 6 '18 at 9:01
$begingroup$
@AnubhabGhosal No, I just love math and learned a bit of it over decades. I trained my son until he reached the level to start training me. :)
$endgroup$
– Oldboy
Dec 6 '18 at 9:01
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%2f3026660%2fmid-point-of-ab-segment%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$
The problem was fun to solve. Thanks. What book did you find it in?
$endgroup$
– Anubhab Ghosal
Dec 5 '18 at 9:34
$begingroup$
Unfortunately it's in spanish. It's called "Cuadernos de olimpiada:Geometría" by Radmila Bulajich Manfrino
$endgroup$
– mobzopi
Dec 6 '18 at 1:08
$begingroup$
Complex geometry provides a straightforward solution. Despite the fact that you have already accepted an excellent answer from Anubhabh, I decided to post a completely different one. Someone could find it inspiring and useful in similar situations.
$endgroup$
– Oldboy
Dec 6 '18 at 8:06