Prove that the outer circle of the triangle $OMN$ is always tangent to a fixed line.

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












Consider a half circle with diameter $AB$.Draw the tangent $Ax$, $By$ with half circle. Take $M$ on $Ax$, $N$ on $By$ such that $AM*BN=R^2$. Prove that the outer circle of the triangle $OMN$ is always tangent to a fixed line.



enter image description here




I will $MN$ is a fixed line and $O;R$ cut $MN$ at OH is a fixed line



I see: $MN=MA+NB$ and $MN^2=MA^2+NB^2+2MA*NB=MA^2+NB^2+2R^2$



So i So I need to prove $MA^2+NB^2$ is a fixed line but i can't. Help me







share|cite|improve this question





















  • What is outercircle?
    – greedoid
    Jul 29 at 11:14










  • What is a "fixed line"?
    – Jens
    Jul 29 at 11:15










  • Sure the "outer circle" refers to the circumcircle of the triangle. A "fixed line" refers to a line that doesn't depend on the choice of the point $M$ on the line $Ax$, etc.
    – John Hughes
    Jul 29 at 11:17






  • 1




    But then $AB$ is obviously
    – greedoid
    Jul 29 at 11:18










  • It's certainly obvious that $AB$ contains a point of the circumcircle (namely $O$). It's not obvious to me that $AB$ is the tangent to the circumcircle at $O$, independent of the choice of $M$, but I'm not that good at geometry, so it may be obvious to others.
    – John Hughes
    Jul 29 at 11:25















up vote
0
down vote

favorite












Consider a half circle with diameter $AB$.Draw the tangent $Ax$, $By$ with half circle. Take $M$ on $Ax$, $N$ on $By$ such that $AM*BN=R^2$. Prove that the outer circle of the triangle $OMN$ is always tangent to a fixed line.



enter image description here




I will $MN$ is a fixed line and $O;R$ cut $MN$ at OH is a fixed line



I see: $MN=MA+NB$ and $MN^2=MA^2+NB^2+2MA*NB=MA^2+NB^2+2R^2$



So i So I need to prove $MA^2+NB^2$ is a fixed line but i can't. Help me







share|cite|improve this question





















  • What is outercircle?
    – greedoid
    Jul 29 at 11:14










  • What is a "fixed line"?
    – Jens
    Jul 29 at 11:15










  • Sure the "outer circle" refers to the circumcircle of the triangle. A "fixed line" refers to a line that doesn't depend on the choice of the point $M$ on the line $Ax$, etc.
    – John Hughes
    Jul 29 at 11:17






  • 1




    But then $AB$ is obviously
    – greedoid
    Jul 29 at 11:18










  • It's certainly obvious that $AB$ contains a point of the circumcircle (namely $O$). It's not obvious to me that $AB$ is the tangent to the circumcircle at $O$, independent of the choice of $M$, but I'm not that good at geometry, so it may be obvious to others.
    – John Hughes
    Jul 29 at 11:25













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Consider a half circle with diameter $AB$.Draw the tangent $Ax$, $By$ with half circle. Take $M$ on $Ax$, $N$ on $By$ such that $AM*BN=R^2$. Prove that the outer circle of the triangle $OMN$ is always tangent to a fixed line.



enter image description here




I will $MN$ is a fixed line and $O;R$ cut $MN$ at OH is a fixed line



I see: $MN=MA+NB$ and $MN^2=MA^2+NB^2+2MA*NB=MA^2+NB^2+2R^2$



So i So I need to prove $MA^2+NB^2$ is a fixed line but i can't. Help me







share|cite|improve this question













Consider a half circle with diameter $AB$.Draw the tangent $Ax$, $By$ with half circle. Take $M$ on $Ax$, $N$ on $By$ such that $AM*BN=R^2$. Prove that the outer circle of the triangle $OMN$ is always tangent to a fixed line.



enter image description here




I will $MN$ is a fixed line and $O;R$ cut $MN$ at OH is a fixed line



I see: $MN=MA+NB$ and $MN^2=MA^2+NB^2+2MA*NB=MA^2+NB^2+2R^2$



So i So I need to prove $MA^2+NB^2$ is a fixed line but i can't. Help me









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 29 at 11:29









Aretino

21.7k21342




21.7k21342









asked Jul 29 at 10:56









Word Shallow

657313




657313











  • What is outercircle?
    – greedoid
    Jul 29 at 11:14










  • What is a "fixed line"?
    – Jens
    Jul 29 at 11:15










  • Sure the "outer circle" refers to the circumcircle of the triangle. A "fixed line" refers to a line that doesn't depend on the choice of the point $M$ on the line $Ax$, etc.
    – John Hughes
    Jul 29 at 11:17






  • 1




    But then $AB$ is obviously
    – greedoid
    Jul 29 at 11:18










  • It's certainly obvious that $AB$ contains a point of the circumcircle (namely $O$). It's not obvious to me that $AB$ is the tangent to the circumcircle at $O$, independent of the choice of $M$, but I'm not that good at geometry, so it may be obvious to others.
    – John Hughes
    Jul 29 at 11:25

















  • What is outercircle?
    – greedoid
    Jul 29 at 11:14










  • What is a "fixed line"?
    – Jens
    Jul 29 at 11:15










  • Sure the "outer circle" refers to the circumcircle of the triangle. A "fixed line" refers to a line that doesn't depend on the choice of the point $M$ on the line $Ax$, etc.
    – John Hughes
    Jul 29 at 11:17






  • 1




    But then $AB$ is obviously
    – greedoid
    Jul 29 at 11:18










  • It's certainly obvious that $AB$ contains a point of the circumcircle (namely $O$). It's not obvious to me that $AB$ is the tangent to the circumcircle at $O$, independent of the choice of $M$, but I'm not that good at geometry, so it may be obvious to others.
    – John Hughes
    Jul 29 at 11:25
















What is outercircle?
– greedoid
Jul 29 at 11:14




What is outercircle?
– greedoid
Jul 29 at 11:14












What is a "fixed line"?
– Jens
Jul 29 at 11:15




What is a "fixed line"?
– Jens
Jul 29 at 11:15












Sure the "outer circle" refers to the circumcircle of the triangle. A "fixed line" refers to a line that doesn't depend on the choice of the point $M$ on the line $Ax$, etc.
– John Hughes
Jul 29 at 11:17




Sure the "outer circle" refers to the circumcircle of the triangle. A "fixed line" refers to a line that doesn't depend on the choice of the point $M$ on the line $Ax$, etc.
– John Hughes
Jul 29 at 11:17




1




1




But then $AB$ is obviously
– greedoid
Jul 29 at 11:18




But then $AB$ is obviously
– greedoid
Jul 29 at 11:18












It's certainly obvious that $AB$ contains a point of the circumcircle (namely $O$). It's not obvious to me that $AB$ is the tangent to the circumcircle at $O$, independent of the choice of $M$, but I'm not that good at geometry, so it may be obvious to others.
– John Hughes
Jul 29 at 11:25





It's certainly obvious that $AB$ contains a point of the circumcircle (namely $O$). It's not obvious to me that $AB$ is the tangent to the circumcircle at $O$, independent of the choice of $M$, but I'm not that good at geometry, so it may be obvious to others.
– John Hughes
Jul 29 at 11:25











2 Answers
2






active

oldest

votes

















up vote
2
down vote



accepted










HINTS.



  1. $MON$ is a right triangle.

  2. The circumcircle of $MON$ has its center at $K$, midpoint of $MN$.

  3. Radius $OK$ is parallel to $MA$, $NB$ and thus perpendicular to $AB$.





share|cite|improve this answer





















  • Great ............+1
    – greedoid
    Jul 29 at 11:37










  • Why $OK$ is parallel to $MA$ ?
    – Word Shallow
    Jul 29 at 12:22










  • @WordShallow By the converse of intercept theorem.
    – Aretino
    Jul 29 at 13:28

















up vote
1
down vote













Suppose $HO$ is the perpendicular to $MN$ from $O$.



Notice that



$$ AM cdot BN = OAcdot OB = R^2$$
so the triangles $AOM$ and $BON$ are similar.



From here, you obtain that the angle $MON$ is 90, and moreover $MO/MN = AO/NB = BO/NB$ so all the triangles in the figure are similar. In particular, $AO=HO=BO=R$.






share|cite|improve this answer





















  • How do you know M,N,H are colinear?
    – greedoid
    Jul 29 at 11:37










  • Prove $MN$ is tangent with half circle at $H$.
    – Word Shallow
    Jul 29 at 11:52










  • How do you find that?
    – greedoid
    Jul 29 at 11:52











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2865985%2fprove-that-the-outer-circle-of-the-triangle-omn-is-always-tangent-to-a-fixed-l%23new-answer', 'question_page');

);

Post as a guest






























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
2
down vote



accepted










HINTS.



  1. $MON$ is a right triangle.

  2. The circumcircle of $MON$ has its center at $K$, midpoint of $MN$.

  3. Radius $OK$ is parallel to $MA$, $NB$ and thus perpendicular to $AB$.





share|cite|improve this answer





















  • Great ............+1
    – greedoid
    Jul 29 at 11:37










  • Why $OK$ is parallel to $MA$ ?
    – Word Shallow
    Jul 29 at 12:22










  • @WordShallow By the converse of intercept theorem.
    – Aretino
    Jul 29 at 13:28














up vote
2
down vote



accepted










HINTS.



  1. $MON$ is a right triangle.

  2. The circumcircle of $MON$ has its center at $K$, midpoint of $MN$.

  3. Radius $OK$ is parallel to $MA$, $NB$ and thus perpendicular to $AB$.





share|cite|improve this answer





















  • Great ............+1
    – greedoid
    Jul 29 at 11:37










  • Why $OK$ is parallel to $MA$ ?
    – Word Shallow
    Jul 29 at 12:22










  • @WordShallow By the converse of intercept theorem.
    – Aretino
    Jul 29 at 13:28












up vote
2
down vote



accepted







up vote
2
down vote



accepted






HINTS.



  1. $MON$ is a right triangle.

  2. The circumcircle of $MON$ has its center at $K$, midpoint of $MN$.

  3. Radius $OK$ is parallel to $MA$, $NB$ and thus perpendicular to $AB$.





share|cite|improve this answer













HINTS.



  1. $MON$ is a right triangle.

  2. The circumcircle of $MON$ has its center at $K$, midpoint of $MN$.

  3. Radius $OK$ is parallel to $MA$, $NB$ and thus perpendicular to $AB$.






share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Jul 29 at 11:26









Aretino

21.7k21342




21.7k21342











  • Great ............+1
    – greedoid
    Jul 29 at 11:37










  • Why $OK$ is parallel to $MA$ ?
    – Word Shallow
    Jul 29 at 12:22










  • @WordShallow By the converse of intercept theorem.
    – Aretino
    Jul 29 at 13:28
















  • Great ............+1
    – greedoid
    Jul 29 at 11:37










  • Why $OK$ is parallel to $MA$ ?
    – Word Shallow
    Jul 29 at 12:22










  • @WordShallow By the converse of intercept theorem.
    – Aretino
    Jul 29 at 13:28















Great ............+1
– greedoid
Jul 29 at 11:37




Great ............+1
– greedoid
Jul 29 at 11:37












Why $OK$ is parallel to $MA$ ?
– Word Shallow
Jul 29 at 12:22




Why $OK$ is parallel to $MA$ ?
– Word Shallow
Jul 29 at 12:22












@WordShallow By the converse of intercept theorem.
– Aretino
Jul 29 at 13:28




@WordShallow By the converse of intercept theorem.
– Aretino
Jul 29 at 13:28










up vote
1
down vote













Suppose $HO$ is the perpendicular to $MN$ from $O$.



Notice that



$$ AM cdot BN = OAcdot OB = R^2$$
so the triangles $AOM$ and $BON$ are similar.



From here, you obtain that the angle $MON$ is 90, and moreover $MO/MN = AO/NB = BO/NB$ so all the triangles in the figure are similar. In particular, $AO=HO=BO=R$.






share|cite|improve this answer





















  • How do you know M,N,H are colinear?
    – greedoid
    Jul 29 at 11:37










  • Prove $MN$ is tangent with half circle at $H$.
    – Word Shallow
    Jul 29 at 11:52










  • How do you find that?
    – greedoid
    Jul 29 at 11:52















up vote
1
down vote













Suppose $HO$ is the perpendicular to $MN$ from $O$.



Notice that



$$ AM cdot BN = OAcdot OB = R^2$$
so the triangles $AOM$ and $BON$ are similar.



From here, you obtain that the angle $MON$ is 90, and moreover $MO/MN = AO/NB = BO/NB$ so all the triangles in the figure are similar. In particular, $AO=HO=BO=R$.






share|cite|improve this answer





















  • How do you know M,N,H are colinear?
    – greedoid
    Jul 29 at 11:37










  • Prove $MN$ is tangent with half circle at $H$.
    – Word Shallow
    Jul 29 at 11:52










  • How do you find that?
    – greedoid
    Jul 29 at 11:52













up vote
1
down vote










up vote
1
down vote









Suppose $HO$ is the perpendicular to $MN$ from $O$.



Notice that



$$ AM cdot BN = OAcdot OB = R^2$$
so the triangles $AOM$ and $BON$ are similar.



From here, you obtain that the angle $MON$ is 90, and moreover $MO/MN = AO/NB = BO/NB$ so all the triangles in the figure are similar. In particular, $AO=HO=BO=R$.






share|cite|improve this answer













Suppose $HO$ is the perpendicular to $MN$ from $O$.



Notice that



$$ AM cdot BN = OAcdot OB = R^2$$
so the triangles $AOM$ and $BON$ are similar.



From here, you obtain that the angle $MON$ is 90, and moreover $MO/MN = AO/NB = BO/NB$ so all the triangles in the figure are similar. In particular, $AO=HO=BO=R$.







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Jul 29 at 11:22









Exodd

5,3901222




5,3901222











  • How do you know M,N,H are colinear?
    – greedoid
    Jul 29 at 11:37










  • Prove $MN$ is tangent with half circle at $H$.
    – Word Shallow
    Jul 29 at 11:52










  • How do you find that?
    – greedoid
    Jul 29 at 11:52

















  • How do you know M,N,H are colinear?
    – greedoid
    Jul 29 at 11:37










  • Prove $MN$ is tangent with half circle at $H$.
    – Word Shallow
    Jul 29 at 11:52










  • How do you find that?
    – greedoid
    Jul 29 at 11:52
















How do you know M,N,H are colinear?
– greedoid
Jul 29 at 11:37




How do you know M,N,H are colinear?
– greedoid
Jul 29 at 11:37












Prove $MN$ is tangent with half circle at $H$.
– Word Shallow
Jul 29 at 11:52




Prove $MN$ is tangent with half circle at $H$.
– Word Shallow
Jul 29 at 11:52












How do you find that?
– greedoid
Jul 29 at 11:52





How do you find that?
– greedoid
Jul 29 at 11:52













 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865985%2fprove-that-the-outer-circle-of-the-triangle-omn-is-always-tangent-to-a-fixed-l%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?