Mid-point of AB segment












2












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










share|cite|improve this question









$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
















2












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










share|cite|improve this question









$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














2












2








2





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










share|cite|improve this question









$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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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


















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










2 Answers
2






active

oldest

votes


















3












$begingroup$

Diagram



(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







share|cite|improve this answer











$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



















1












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



enter image description here



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.






share|cite|improve this answer









$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













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
});


}
});














draft saved

draft discarded


















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









3












$begingroup$

Diagram



(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







share|cite|improve this answer











$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
















3












$begingroup$

Diagram



(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







share|cite|improve this answer











$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














3












3








3





$begingroup$

Diagram



(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







share|cite|improve this answer











$endgroup$



Diagram



(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








share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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


















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











1












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



enter image description here



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.






share|cite|improve this answer









$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


















1












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



enter image description here



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.






share|cite|improve this answer









$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
















1












1








1





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



enter image description here



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.






share|cite|improve this answer









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



enter image description here



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.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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




















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




















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


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

But avoid



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

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


Use MathJax to format equations. MathJax reference.


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




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3026660%2fmid-point-of-ab-segment%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

ComboBox Display Member on multiple fields

Is it possible to collect Nectar points via Trainline?