Prove that locus of vertex is $(a+b)(x^2+y^2)+2h(xbeta + alpha y) + (a-b)(xalpha - ybeta)=0$
$begingroup$
The base of a triangle passes through a fixed point $(alpha ,beta )$. Let the perpendicular bisectors of the sides be the lines $ax^2+2hxy+by^2=0$. It is to prove that the locus of the vertex is :
$$(a+b)(x^2+y^2)+2h(xbeta + alpha y) + (a-b)(xalpha - ybeta)=0$$
Clearly, the origin is the circumcentre of the triangle. So , it is easy to take polar coordinates and define,
$$x:=cos theta , y:=sin theta$$
$$alpha :=cos phi , beta :=sin phi$$
$$tan psi = frac {a-b}{2h}$$
This greatly simplifies the desired expression to,
$$(a+b)+2hsec psi sin {(theta + phi + psi)}=0$$
Yet this simplification is useless, unless I have a relation between the point through the base and the vertex. Any suggestions are welcome.
analytic-geometry polar-coordinates
$endgroup$
add a comment |
$begingroup$
The base of a triangle passes through a fixed point $(alpha ,beta )$. Let the perpendicular bisectors of the sides be the lines $ax^2+2hxy+by^2=0$. It is to prove that the locus of the vertex is :
$$(a+b)(x^2+y^2)+2h(xbeta + alpha y) + (a-b)(xalpha - ybeta)=0$$
Clearly, the origin is the circumcentre of the triangle. So , it is easy to take polar coordinates and define,
$$x:=cos theta , y:=sin theta$$
$$alpha :=cos phi , beta :=sin phi$$
$$tan psi = frac {a-b}{2h}$$
This greatly simplifies the desired expression to,
$$(a+b)+2hsec psi sin {(theta + phi + psi)}=0$$
Yet this simplification is useless, unless I have a relation between the point through the base and the vertex. Any suggestions are welcome.
analytic-geometry polar-coordinates
$endgroup$
$begingroup$
You seem to assume circumradius $=1$, is that so?
$endgroup$
– Aretino
Nov 27 '18 at 15:32
$begingroup$
@Aretino, yes , just for the sake of simplicity.
$endgroup$
– Awe Kumar Jha
Nov 27 '18 at 15:33
add a comment |
$begingroup$
The base of a triangle passes through a fixed point $(alpha ,beta )$. Let the perpendicular bisectors of the sides be the lines $ax^2+2hxy+by^2=0$. It is to prove that the locus of the vertex is :
$$(a+b)(x^2+y^2)+2h(xbeta + alpha y) + (a-b)(xalpha - ybeta)=0$$
Clearly, the origin is the circumcentre of the triangle. So , it is easy to take polar coordinates and define,
$$x:=cos theta , y:=sin theta$$
$$alpha :=cos phi , beta :=sin phi$$
$$tan psi = frac {a-b}{2h}$$
This greatly simplifies the desired expression to,
$$(a+b)+2hsec psi sin {(theta + phi + psi)}=0$$
Yet this simplification is useless, unless I have a relation between the point through the base and the vertex. Any suggestions are welcome.
analytic-geometry polar-coordinates
$endgroup$
The base of a triangle passes through a fixed point $(alpha ,beta )$. Let the perpendicular bisectors of the sides be the lines $ax^2+2hxy+by^2=0$. It is to prove that the locus of the vertex is :
$$(a+b)(x^2+y^2)+2h(xbeta + alpha y) + (a-b)(xalpha - ybeta)=0$$
Clearly, the origin is the circumcentre of the triangle. So , it is easy to take polar coordinates and define,
$$x:=cos theta , y:=sin theta$$
$$alpha :=cos phi , beta :=sin phi$$
$$tan psi = frac {a-b}{2h}$$
This greatly simplifies the desired expression to,
$$(a+b)+2hsec psi sin {(theta + phi + psi)}=0$$
Yet this simplification is useless, unless I have a relation between the point through the base and the vertex. Any suggestions are welcome.
analytic-geometry polar-coordinates
analytic-geometry polar-coordinates
edited Nov 27 '18 at 15:13
Awe Kumar Jha
asked Nov 27 '18 at 13:59
Awe Kumar JhaAwe Kumar Jha
41313
41313
$begingroup$
You seem to assume circumradius $=1$, is that so?
$endgroup$
– Aretino
Nov 27 '18 at 15:32
$begingroup$
@Aretino, yes , just for the sake of simplicity.
$endgroup$
– Awe Kumar Jha
Nov 27 '18 at 15:33
add a comment |
$begingroup$
You seem to assume circumradius $=1$, is that so?
$endgroup$
– Aretino
Nov 27 '18 at 15:32
$begingroup$
@Aretino, yes , just for the sake of simplicity.
$endgroup$
– Awe Kumar Jha
Nov 27 '18 at 15:33
$begingroup$
You seem to assume circumradius $=1$, is that so?
$endgroup$
– Aretino
Nov 27 '18 at 15:32
$begingroup$
You seem to assume circumradius $=1$, is that so?
$endgroup$
– Aretino
Nov 27 '18 at 15:32
$begingroup$
@Aretino, yes , just for the sake of simplicity.
$endgroup$
– Awe Kumar Jha
Nov 27 '18 at 15:33
$begingroup$
@Aretino, yes , just for the sake of simplicity.
$endgroup$
– Awe Kumar Jha
Nov 27 '18 at 15:33
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I'll describe here a construction of the triangle: you could possibly use it to obtain the equation of the locus.
Let $AB$ be the base of the triangle (containing point $P=(alpha,beta)$) and $C$ its third vertex. Notice that the angle $psi$ between the perpendicular bisectors of $AC$ and $BC$ (red and blue dashed lines in the diagram) is the same as $angle ACB$ and also the same as $angle AOQ$, where $OQ$ is the perpendicular bisector of base $AB$ and $O$ the circumcenter of triangle $ABC$.
To construct the triangle, choose then line $OQ$ at will and draw $OQ'$ such that $angle QOQ'=psi$. Drop from $P$ the perpendicular to line $OQ$, which will meet line $OQ'$ at $A$. Reflect then $A$ about $OQ$ to get $B$, and reflect either $A$ or $B$ about one of the perpendicular bisectors to get $C$.
As line $OQ$ varies, point $C$ varies too and its locus is indeed a circle (purple circle below).
$endgroup$
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%2f3015803%2fprove-that-locus-of-vertex-is-abx2y22hx-beta-alpha-y-a-bx-al%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I'll describe here a construction of the triangle: you could possibly use it to obtain the equation of the locus.
Let $AB$ be the base of the triangle (containing point $P=(alpha,beta)$) and $C$ its third vertex. Notice that the angle $psi$ between the perpendicular bisectors of $AC$ and $BC$ (red and blue dashed lines in the diagram) is the same as $angle ACB$ and also the same as $angle AOQ$, where $OQ$ is the perpendicular bisector of base $AB$ and $O$ the circumcenter of triangle $ABC$.
To construct the triangle, choose then line $OQ$ at will and draw $OQ'$ such that $angle QOQ'=psi$. Drop from $P$ the perpendicular to line $OQ$, which will meet line $OQ'$ at $A$. Reflect then $A$ about $OQ$ to get $B$, and reflect either $A$ or $B$ about one of the perpendicular bisectors to get $C$.
As line $OQ$ varies, point $C$ varies too and its locus is indeed a circle (purple circle below).
$endgroup$
add a comment |
$begingroup$
I'll describe here a construction of the triangle: you could possibly use it to obtain the equation of the locus.
Let $AB$ be the base of the triangle (containing point $P=(alpha,beta)$) and $C$ its third vertex. Notice that the angle $psi$ between the perpendicular bisectors of $AC$ and $BC$ (red and blue dashed lines in the diagram) is the same as $angle ACB$ and also the same as $angle AOQ$, where $OQ$ is the perpendicular bisector of base $AB$ and $O$ the circumcenter of triangle $ABC$.
To construct the triangle, choose then line $OQ$ at will and draw $OQ'$ such that $angle QOQ'=psi$. Drop from $P$ the perpendicular to line $OQ$, which will meet line $OQ'$ at $A$. Reflect then $A$ about $OQ$ to get $B$, and reflect either $A$ or $B$ about one of the perpendicular bisectors to get $C$.
As line $OQ$ varies, point $C$ varies too and its locus is indeed a circle (purple circle below).
$endgroup$
add a comment |
$begingroup$
I'll describe here a construction of the triangle: you could possibly use it to obtain the equation of the locus.
Let $AB$ be the base of the triangle (containing point $P=(alpha,beta)$) and $C$ its third vertex. Notice that the angle $psi$ between the perpendicular bisectors of $AC$ and $BC$ (red and blue dashed lines in the diagram) is the same as $angle ACB$ and also the same as $angle AOQ$, where $OQ$ is the perpendicular bisector of base $AB$ and $O$ the circumcenter of triangle $ABC$.
To construct the triangle, choose then line $OQ$ at will and draw $OQ'$ such that $angle QOQ'=psi$. Drop from $P$ the perpendicular to line $OQ$, which will meet line $OQ'$ at $A$. Reflect then $A$ about $OQ$ to get $B$, and reflect either $A$ or $B$ about one of the perpendicular bisectors to get $C$.
As line $OQ$ varies, point $C$ varies too and its locus is indeed a circle (purple circle below).
$endgroup$
I'll describe here a construction of the triangle: you could possibly use it to obtain the equation of the locus.
Let $AB$ be the base of the triangle (containing point $P=(alpha,beta)$) and $C$ its third vertex. Notice that the angle $psi$ between the perpendicular bisectors of $AC$ and $BC$ (red and blue dashed lines in the diagram) is the same as $angle ACB$ and also the same as $angle AOQ$, where $OQ$ is the perpendicular bisector of base $AB$ and $O$ the circumcenter of triangle $ABC$.
To construct the triangle, choose then line $OQ$ at will and draw $OQ'$ such that $angle QOQ'=psi$. Drop from $P$ the perpendicular to line $OQ$, which will meet line $OQ'$ at $A$. Reflect then $A$ about $OQ$ to get $B$, and reflect either $A$ or $B$ about one of the perpendicular bisectors to get $C$.
As line $OQ$ varies, point $C$ varies too and its locus is indeed a circle (purple circle below).
edited Nov 29 '18 at 14:24
answered Nov 28 '18 at 17:01
AretinoAretino
23.1k21443
23.1k21443
add a comment |
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%2f3015803%2fprove-that-locus-of-vertex-is-abx2y22hx-beta-alpha-y-a-bx-al%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$
You seem to assume circumradius $=1$, is that so?
$endgroup$
– Aretino
Nov 27 '18 at 15:32
$begingroup$
@Aretino, yes , just for the sake of simplicity.
$endgroup$
– Awe Kumar Jha
Nov 27 '18 at 15:33