Proving $|CH| = 2|OM|$ of $triangle ABC$ of which $O$ is the circumcenter and $H$ is the orthocenter.
$begingroup$
Let $ABC$ be a triangle as shown in the figure below, where $O$ is its circumcenter and $H$ is its orthocenter. $AB$ is the opposite side of the climax point $C$, and $OM$ is perpendicular to $AB$.
How to prove that $|CH| = 2|OM|$?
$G$ is the centroid of the triangle. As the circumcenter, centroid and orthocenter (respectively $O$, $G$, and $H$) of the circle is collinear, we can get two specific triangle $CGH$ and $OMG$.
Showing both the triangle similar to each other by their respective angle, we can get the proportion of their 2 different length. If we consider the point $G$, then we can get $|CG|:|GM| = 2:1$. Thus we can easily prove this.
However, we can reverse the proof showing that $|CH|$ is equal to $2|OM|$ (It is included in our textbook as a corollary or something other). If we go with this process, it will lead to something contradictory.
Because of claiming the $G$ as centroid of the triangle, we have already used the above condition which needs to be proved.
So, is there any other method to prove that $|CH|=2|OM|$?
proof-verification euclidean-geometry triangle plane-geometry
$endgroup$
add a comment |
$begingroup$
Let $ABC$ be a triangle as shown in the figure below, where $O$ is its circumcenter and $H$ is its orthocenter. $AB$ is the opposite side of the climax point $C$, and $OM$ is perpendicular to $AB$.
How to prove that $|CH| = 2|OM|$?
$G$ is the centroid of the triangle. As the circumcenter, centroid and orthocenter (respectively $O$, $G$, and $H$) of the circle is collinear, we can get two specific triangle $CGH$ and $OMG$.
Showing both the triangle similar to each other by their respective angle, we can get the proportion of their 2 different length. If we consider the point $G$, then we can get $|CG|:|GM| = 2:1$. Thus we can easily prove this.
However, we can reverse the proof showing that $|CH|$ is equal to $2|OM|$ (It is included in our textbook as a corollary or something other). If we go with this process, it will lead to something contradictory.
Because of claiming the $G$ as centroid of the triangle, we have already used the above condition which needs to be proved.
So, is there any other method to prove that $|CH|=2|OM|$?
proof-verification euclidean-geometry triangle plane-geometry
$endgroup$
$begingroup$
If $CH=2OM$ was proved while proving another equality, then you already have an independent proof of that.
$endgroup$
– Aretino
Jan 22 at 14:14
$begingroup$
I think, I have been futile to clearify my text. While proving another equality, I just used CH = 2OM as a preknowledge, not was proved in that proof. So I wanted a distinctive proof of above condition which has been proposed.
$endgroup$
– Anirban Niloy
Jan 22 at 14:22
add a comment |
$begingroup$
Let $ABC$ be a triangle as shown in the figure below, where $O$ is its circumcenter and $H$ is its orthocenter. $AB$ is the opposite side of the climax point $C$, and $OM$ is perpendicular to $AB$.
How to prove that $|CH| = 2|OM|$?
$G$ is the centroid of the triangle. As the circumcenter, centroid and orthocenter (respectively $O$, $G$, and $H$) of the circle is collinear, we can get two specific triangle $CGH$ and $OMG$.
Showing both the triangle similar to each other by their respective angle, we can get the proportion of their 2 different length. If we consider the point $G$, then we can get $|CG|:|GM| = 2:1$. Thus we can easily prove this.
However, we can reverse the proof showing that $|CH|$ is equal to $2|OM|$ (It is included in our textbook as a corollary or something other). If we go with this process, it will lead to something contradictory.
Because of claiming the $G$ as centroid of the triangle, we have already used the above condition which needs to be proved.
So, is there any other method to prove that $|CH|=2|OM|$?
proof-verification euclidean-geometry triangle plane-geometry
$endgroup$
Let $ABC$ be a triangle as shown in the figure below, where $O$ is its circumcenter and $H$ is its orthocenter. $AB$ is the opposite side of the climax point $C$, and $OM$ is perpendicular to $AB$.
How to prove that $|CH| = 2|OM|$?
$G$ is the centroid of the triangle. As the circumcenter, centroid and orthocenter (respectively $O$, $G$, and $H$) of the circle is collinear, we can get two specific triangle $CGH$ and $OMG$.
Showing both the triangle similar to each other by their respective angle, we can get the proportion of their 2 different length. If we consider the point $G$, then we can get $|CG|:|GM| = 2:1$. Thus we can easily prove this.
However, we can reverse the proof showing that $|CH|$ is equal to $2|OM|$ (It is included in our textbook as a corollary or something other). If we go with this process, it will lead to something contradictory.
Because of claiming the $G$ as centroid of the triangle, we have already used the above condition which needs to be proved.
So, is there any other method to prove that $|CH|=2|OM|$?
proof-verification euclidean-geometry triangle plane-geometry
proof-verification euclidean-geometry triangle plane-geometry
edited Feb 11 at 17:40
Anirban Niloy
asked Jan 22 at 11:12


Anirban NiloyAnirban Niloy
8291218
8291218
$begingroup$
If $CH=2OM$ was proved while proving another equality, then you already have an independent proof of that.
$endgroup$
– Aretino
Jan 22 at 14:14
$begingroup$
I think, I have been futile to clearify my text. While proving another equality, I just used CH = 2OM as a preknowledge, not was proved in that proof. So I wanted a distinctive proof of above condition which has been proposed.
$endgroup$
– Anirban Niloy
Jan 22 at 14:22
add a comment |
$begingroup$
If $CH=2OM$ was proved while proving another equality, then you already have an independent proof of that.
$endgroup$
– Aretino
Jan 22 at 14:14
$begingroup$
I think, I have been futile to clearify my text. While proving another equality, I just used CH = 2OM as a preknowledge, not was proved in that proof. So I wanted a distinctive proof of above condition which has been proposed.
$endgroup$
– Anirban Niloy
Jan 22 at 14:22
$begingroup$
If $CH=2OM$ was proved while proving another equality, then you already have an independent proof of that.
$endgroup$
– Aretino
Jan 22 at 14:14
$begingroup$
If $CH=2OM$ was proved while proving another equality, then you already have an independent proof of that.
$endgroup$
– Aretino
Jan 22 at 14:14
$begingroup$
I think, I have been futile to clearify my text. While proving another equality, I just used CH = 2OM as a preknowledge, not was proved in that proof. So I wanted a distinctive proof of above condition which has been proposed.
$endgroup$
– Anirban Niloy
Jan 22 at 14:22
$begingroup$
I think, I have been futile to clearify my text. While proving another equality, I just used CH = 2OM as a preknowledge, not was proved in that proof. So I wanted a distinctive proof of above condition which has been proposed.
$endgroup$
– Anirban Niloy
Jan 22 at 14:22
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The most ellegant proof (at least in my opinion) is vector based:
Vectors $vec{CH}$ and $vec{OM}$ are parallel as well as vectors $vec{AH}$ and $vec{ON}$ and therefore:
$$vec{OM}=alphavec{CH}$$
$$vec{ON}=betavec{AH}$$
...for some real values of $alpha,beta$.
Segment MN connects midpoints of sides $AB$ and $BC$ and therefore:
$$vec{MN}=frac12vec{AC}=frac12(vec{AH}+vec{HC})=frac12vec{AH}-frac12vec{CH}tag{1}$$
On the other side it is obvious that:
$$vec{MN}=vec{MO}+vec{ON}=-vec{OM}+vec{ON}=-alphavec{CH}+betavec{AH}tag{2}$$
From (1) and (2) you get that:
$$frac12vec{AH}-frac12vec{CH}=-alphavec{CH}+betavec{AH}$$
$$(frac12-beta)vec{AH}+(alpha-frac12)vec{CH}=0tag{3}$$
Vectors $vec{AH}$ and $vec{CH}$ are not parallel! If you multiply these vectors with some real factors different from zero, you still get vectors that are not parallel (vectors are just stretched). Sum of two vectors that are not parallel cannot be zero. So (3) can be valid only if both scalars are equal to zero:
$$frac12 - beta =0, alpha-frac12=0$$
...which simply means that $alpha=beta=frac12$. Consequentially:
$$vec{OM}=frac12vec{CH}$$
$$OM=frac12 CH$$
$endgroup$
$begingroup$
Outstanding solution, Oldboy. But my question is that which term is better for AH and CH vector? Collinearity or obliqueness? I didn't understand and I need more clarification about what you said that if we multiply (3) vectors with some real factors different from zero, we still get vectors that aren't collinear. If you get time, please explain that.
$endgroup$
– Anirban Niloy
Jan 22 at 14:43
1
$begingroup$
I think that you are right. I have used "collinear" while in fact I meant "parallel". I'm going to correct that. Basically, if you have two vectors that are not parallel their sum cannot be zero! Multiply these two vectors with some scalars, it won't change their orientation in space. Non-parallel vectors will still be non-parallel and their sum cannot be zero.
$endgroup$
– Oldboy
Jan 22 at 14:54
add a comment |
$begingroup$
Do you know Hamilton theorem? It says $$vec{OH}= vec{OA}+vec{OB}+vec{OC} $$
So $$vec{CH}=vec{OH}- vec{OC}= vec{OA}+vec{OB} ={1over 2}vec{OM} $$
$endgroup$
$begingroup$
No, I didn't know about it. You helped me to learn a new thing which is more appreciated. If possible, I will try to read about the personal details of Hamilton theorem.
$endgroup$
– Anirban Niloy
Feb 5 at 1:38
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%2f3083023%2fproving-ch-2om-of-triangle-abc-of-which-o-is-the-circumcenter-and%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$
The most ellegant proof (at least in my opinion) is vector based:
Vectors $vec{CH}$ and $vec{OM}$ are parallel as well as vectors $vec{AH}$ and $vec{ON}$ and therefore:
$$vec{OM}=alphavec{CH}$$
$$vec{ON}=betavec{AH}$$
...for some real values of $alpha,beta$.
Segment MN connects midpoints of sides $AB$ and $BC$ and therefore:
$$vec{MN}=frac12vec{AC}=frac12(vec{AH}+vec{HC})=frac12vec{AH}-frac12vec{CH}tag{1}$$
On the other side it is obvious that:
$$vec{MN}=vec{MO}+vec{ON}=-vec{OM}+vec{ON}=-alphavec{CH}+betavec{AH}tag{2}$$
From (1) and (2) you get that:
$$frac12vec{AH}-frac12vec{CH}=-alphavec{CH}+betavec{AH}$$
$$(frac12-beta)vec{AH}+(alpha-frac12)vec{CH}=0tag{3}$$
Vectors $vec{AH}$ and $vec{CH}$ are not parallel! If you multiply these vectors with some real factors different from zero, you still get vectors that are not parallel (vectors are just stretched). Sum of two vectors that are not parallel cannot be zero. So (3) can be valid only if both scalars are equal to zero:
$$frac12 - beta =0, alpha-frac12=0$$
...which simply means that $alpha=beta=frac12$. Consequentially:
$$vec{OM}=frac12vec{CH}$$
$$OM=frac12 CH$$
$endgroup$
$begingroup$
Outstanding solution, Oldboy. But my question is that which term is better for AH and CH vector? Collinearity or obliqueness? I didn't understand and I need more clarification about what you said that if we multiply (3) vectors with some real factors different from zero, we still get vectors that aren't collinear. If you get time, please explain that.
$endgroup$
– Anirban Niloy
Jan 22 at 14:43
1
$begingroup$
I think that you are right. I have used "collinear" while in fact I meant "parallel". I'm going to correct that. Basically, if you have two vectors that are not parallel their sum cannot be zero! Multiply these two vectors with some scalars, it won't change their orientation in space. Non-parallel vectors will still be non-parallel and their sum cannot be zero.
$endgroup$
– Oldboy
Jan 22 at 14:54
add a comment |
$begingroup$
The most ellegant proof (at least in my opinion) is vector based:
Vectors $vec{CH}$ and $vec{OM}$ are parallel as well as vectors $vec{AH}$ and $vec{ON}$ and therefore:
$$vec{OM}=alphavec{CH}$$
$$vec{ON}=betavec{AH}$$
...for some real values of $alpha,beta$.
Segment MN connects midpoints of sides $AB$ and $BC$ and therefore:
$$vec{MN}=frac12vec{AC}=frac12(vec{AH}+vec{HC})=frac12vec{AH}-frac12vec{CH}tag{1}$$
On the other side it is obvious that:
$$vec{MN}=vec{MO}+vec{ON}=-vec{OM}+vec{ON}=-alphavec{CH}+betavec{AH}tag{2}$$
From (1) and (2) you get that:
$$frac12vec{AH}-frac12vec{CH}=-alphavec{CH}+betavec{AH}$$
$$(frac12-beta)vec{AH}+(alpha-frac12)vec{CH}=0tag{3}$$
Vectors $vec{AH}$ and $vec{CH}$ are not parallel! If you multiply these vectors with some real factors different from zero, you still get vectors that are not parallel (vectors are just stretched). Sum of two vectors that are not parallel cannot be zero. So (3) can be valid only if both scalars are equal to zero:
$$frac12 - beta =0, alpha-frac12=0$$
...which simply means that $alpha=beta=frac12$. Consequentially:
$$vec{OM}=frac12vec{CH}$$
$$OM=frac12 CH$$
$endgroup$
$begingroup$
Outstanding solution, Oldboy. But my question is that which term is better for AH and CH vector? Collinearity or obliqueness? I didn't understand and I need more clarification about what you said that if we multiply (3) vectors with some real factors different from zero, we still get vectors that aren't collinear. If you get time, please explain that.
$endgroup$
– Anirban Niloy
Jan 22 at 14:43
1
$begingroup$
I think that you are right. I have used "collinear" while in fact I meant "parallel". I'm going to correct that. Basically, if you have two vectors that are not parallel their sum cannot be zero! Multiply these two vectors with some scalars, it won't change their orientation in space. Non-parallel vectors will still be non-parallel and their sum cannot be zero.
$endgroup$
– Oldboy
Jan 22 at 14:54
add a comment |
$begingroup$
The most ellegant proof (at least in my opinion) is vector based:
Vectors $vec{CH}$ and $vec{OM}$ are parallel as well as vectors $vec{AH}$ and $vec{ON}$ and therefore:
$$vec{OM}=alphavec{CH}$$
$$vec{ON}=betavec{AH}$$
...for some real values of $alpha,beta$.
Segment MN connects midpoints of sides $AB$ and $BC$ and therefore:
$$vec{MN}=frac12vec{AC}=frac12(vec{AH}+vec{HC})=frac12vec{AH}-frac12vec{CH}tag{1}$$
On the other side it is obvious that:
$$vec{MN}=vec{MO}+vec{ON}=-vec{OM}+vec{ON}=-alphavec{CH}+betavec{AH}tag{2}$$
From (1) and (2) you get that:
$$frac12vec{AH}-frac12vec{CH}=-alphavec{CH}+betavec{AH}$$
$$(frac12-beta)vec{AH}+(alpha-frac12)vec{CH}=0tag{3}$$
Vectors $vec{AH}$ and $vec{CH}$ are not parallel! If you multiply these vectors with some real factors different from zero, you still get vectors that are not parallel (vectors are just stretched). Sum of two vectors that are not parallel cannot be zero. So (3) can be valid only if both scalars are equal to zero:
$$frac12 - beta =0, alpha-frac12=0$$
...which simply means that $alpha=beta=frac12$. Consequentially:
$$vec{OM}=frac12vec{CH}$$
$$OM=frac12 CH$$
$endgroup$
The most ellegant proof (at least in my opinion) is vector based:
Vectors $vec{CH}$ and $vec{OM}$ are parallel as well as vectors $vec{AH}$ and $vec{ON}$ and therefore:
$$vec{OM}=alphavec{CH}$$
$$vec{ON}=betavec{AH}$$
...for some real values of $alpha,beta$.
Segment MN connects midpoints of sides $AB$ and $BC$ and therefore:
$$vec{MN}=frac12vec{AC}=frac12(vec{AH}+vec{HC})=frac12vec{AH}-frac12vec{CH}tag{1}$$
On the other side it is obvious that:
$$vec{MN}=vec{MO}+vec{ON}=-vec{OM}+vec{ON}=-alphavec{CH}+betavec{AH}tag{2}$$
From (1) and (2) you get that:
$$frac12vec{AH}-frac12vec{CH}=-alphavec{CH}+betavec{AH}$$
$$(frac12-beta)vec{AH}+(alpha-frac12)vec{CH}=0tag{3}$$
Vectors $vec{AH}$ and $vec{CH}$ are not parallel! If you multiply these vectors with some real factors different from zero, you still get vectors that are not parallel (vectors are just stretched). Sum of two vectors that are not parallel cannot be zero. So (3) can be valid only if both scalars are equal to zero:
$$frac12 - beta =0, alpha-frac12=0$$
...which simply means that $alpha=beta=frac12$. Consequentially:
$$vec{OM}=frac12vec{CH}$$
$$OM=frac12 CH$$
edited Jan 22 at 14:55
answered Jan 22 at 13:50


OldboyOldboy
8,62711036
8,62711036
$begingroup$
Outstanding solution, Oldboy. But my question is that which term is better for AH and CH vector? Collinearity or obliqueness? I didn't understand and I need more clarification about what you said that if we multiply (3) vectors with some real factors different from zero, we still get vectors that aren't collinear. If you get time, please explain that.
$endgroup$
– Anirban Niloy
Jan 22 at 14:43
1
$begingroup$
I think that you are right. I have used "collinear" while in fact I meant "parallel". I'm going to correct that. Basically, if you have two vectors that are not parallel their sum cannot be zero! Multiply these two vectors with some scalars, it won't change their orientation in space. Non-parallel vectors will still be non-parallel and their sum cannot be zero.
$endgroup$
– Oldboy
Jan 22 at 14:54
add a comment |
$begingroup$
Outstanding solution, Oldboy. But my question is that which term is better for AH and CH vector? Collinearity or obliqueness? I didn't understand and I need more clarification about what you said that if we multiply (3) vectors with some real factors different from zero, we still get vectors that aren't collinear. If you get time, please explain that.
$endgroup$
– Anirban Niloy
Jan 22 at 14:43
1
$begingroup$
I think that you are right. I have used "collinear" while in fact I meant "parallel". I'm going to correct that. Basically, if you have two vectors that are not parallel their sum cannot be zero! Multiply these two vectors with some scalars, it won't change their orientation in space. Non-parallel vectors will still be non-parallel and their sum cannot be zero.
$endgroup$
– Oldboy
Jan 22 at 14:54
$begingroup$
Outstanding solution, Oldboy. But my question is that which term is better for AH and CH vector? Collinearity or obliqueness? I didn't understand and I need more clarification about what you said that if we multiply (3) vectors with some real factors different from zero, we still get vectors that aren't collinear. If you get time, please explain that.
$endgroup$
– Anirban Niloy
Jan 22 at 14:43
$begingroup$
Outstanding solution, Oldboy. But my question is that which term is better for AH and CH vector? Collinearity or obliqueness? I didn't understand and I need more clarification about what you said that if we multiply (3) vectors with some real factors different from zero, we still get vectors that aren't collinear. If you get time, please explain that.
$endgroup$
– Anirban Niloy
Jan 22 at 14:43
1
1
$begingroup$
I think that you are right. I have used "collinear" while in fact I meant "parallel". I'm going to correct that. Basically, if you have two vectors that are not parallel their sum cannot be zero! Multiply these two vectors with some scalars, it won't change their orientation in space. Non-parallel vectors will still be non-parallel and their sum cannot be zero.
$endgroup$
– Oldboy
Jan 22 at 14:54
$begingroup$
I think that you are right. I have used "collinear" while in fact I meant "parallel". I'm going to correct that. Basically, if you have two vectors that are not parallel their sum cannot be zero! Multiply these two vectors with some scalars, it won't change their orientation in space. Non-parallel vectors will still be non-parallel and their sum cannot be zero.
$endgroup$
– Oldboy
Jan 22 at 14:54
add a comment |
$begingroup$
Do you know Hamilton theorem? It says $$vec{OH}= vec{OA}+vec{OB}+vec{OC} $$
So $$vec{CH}=vec{OH}- vec{OC}= vec{OA}+vec{OB} ={1over 2}vec{OM} $$
$endgroup$
$begingroup$
No, I didn't know about it. You helped me to learn a new thing which is more appreciated. If possible, I will try to read about the personal details of Hamilton theorem.
$endgroup$
– Anirban Niloy
Feb 5 at 1:38
add a comment |
$begingroup$
Do you know Hamilton theorem? It says $$vec{OH}= vec{OA}+vec{OB}+vec{OC} $$
So $$vec{CH}=vec{OH}- vec{OC}= vec{OA}+vec{OB} ={1over 2}vec{OM} $$
$endgroup$
$begingroup$
No, I didn't know about it. You helped me to learn a new thing which is more appreciated. If possible, I will try to read about the personal details of Hamilton theorem.
$endgroup$
– Anirban Niloy
Feb 5 at 1:38
add a comment |
$begingroup$
Do you know Hamilton theorem? It says $$vec{OH}= vec{OA}+vec{OB}+vec{OC} $$
So $$vec{CH}=vec{OH}- vec{OC}= vec{OA}+vec{OB} ={1over 2}vec{OM} $$
$endgroup$
Do you know Hamilton theorem? It says $$vec{OH}= vec{OA}+vec{OB}+vec{OC} $$
So $$vec{CH}=vec{OH}- vec{OC}= vec{OA}+vec{OB} ={1over 2}vec{OM} $$
answered Feb 4 at 16:58


Maria MazurMaria Mazur
46.4k1160119
46.4k1160119
$begingroup$
No, I didn't know about it. You helped me to learn a new thing which is more appreciated. If possible, I will try to read about the personal details of Hamilton theorem.
$endgroup$
– Anirban Niloy
Feb 5 at 1:38
add a comment |
$begingroup$
No, I didn't know about it. You helped me to learn a new thing which is more appreciated. If possible, I will try to read about the personal details of Hamilton theorem.
$endgroup$
– Anirban Niloy
Feb 5 at 1:38
$begingroup$
No, I didn't know about it. You helped me to learn a new thing which is more appreciated. If possible, I will try to read about the personal details of Hamilton theorem.
$endgroup$
– Anirban Niloy
Feb 5 at 1:38
$begingroup$
No, I didn't know about it. You helped me to learn a new thing which is more appreciated. If possible, I will try to read about the personal details of Hamilton theorem.
$endgroup$
– Anirban Niloy
Feb 5 at 1:38
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%2f3083023%2fproving-ch-2om-of-triangle-abc-of-which-o-is-the-circumcenter-and%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$
If $CH=2OM$ was proved while proving another equality, then you already have an independent proof of that.
$endgroup$
– Aretino
Jan 22 at 14:14
$begingroup$
I think, I have been futile to clearify my text. While proving another equality, I just used CH = 2OM as a preknowledge, not was proved in that proof. So I wanted a distinctive proof of above condition which has been proposed.
$endgroup$
– Anirban Niloy
Jan 22 at 14:22