Sangaku: Show line segment is perpendicular to diameter of container circle
up vote
11
down vote
favorite
"From a 1803 Sangaku found in Gumma Prefecture. The base of an isosceles triangle sits on a diameter of the large circle. This diameter also bisects the circle on the left, which is inscribed so that it just touches the inside of the container circle and one vertex of the triangle. The top circle is inscribed so that it touches the outsides of both the left circle and the triangle, as well as the inside of the container circle. A line segment connects the center of the top circle and the intersection point between the left circle and the triangle. Show that this line segment is perpendicular to the drawn diameter of the container circle. (T. Rothman)"
Source: http://hermay.org/jconstant/wasan/sangaku/index.html
Enjoy!
EDIT
Note 1: The radius of the smaller circle touching the left vertex of the triangle is not necessarily half the radius of the enclosing circle. There IS variability in the base of the triangle.
Note 2: Two of the vertices of triangle necessarily are on the enclosing circle.
geometry euclidean-geometry triangle circle sangaku
|
show 1 more comment
up vote
11
down vote
favorite
"From a 1803 Sangaku found in Gumma Prefecture. The base of an isosceles triangle sits on a diameter of the large circle. This diameter also bisects the circle on the left, which is inscribed so that it just touches the inside of the container circle and one vertex of the triangle. The top circle is inscribed so that it touches the outsides of both the left circle and the triangle, as well as the inside of the container circle. A line segment connects the center of the top circle and the intersection point between the left circle and the triangle. Show that this line segment is perpendicular to the drawn diameter of the container circle. (T. Rothman)"
Source: http://hermay.org/jconstant/wasan/sangaku/index.html
Enjoy!
EDIT
Note 1: The radius of the smaller circle touching the left vertex of the triangle is not necessarily half the radius of the enclosing circle. There IS variability in the base of the triangle.
Note 2: Two of the vertices of triangle necessarily are on the enclosing circle.
geometry euclidean-geometry triangle circle sangaku
I presume you don't want the use of coordinates here?
– J. M. is not a mathematician
Dec 22 '11 at 2:35
@J.M. - No coordinates. Synthetic proofs only.
– dsg
Dec 22 '11 at 3:19
Another presumption: The apex of the triangle lies on the circle. (The picture suggests this, but the description doesn't say so.) Otherwise, take the extreme case of a triangle with zero height and base equal to the big circle's radius; the top circle would be tangent to the diameter at a point somewhat to the right of center, so that the line joining the top circle's center the point of intersection (the big circle's center) would NOT be perpendicular to the diameter.
– Blue
Dec 22 '11 at 5:00
@Day: The triangle is isosceles. I was assuming that, regarding the apex lying on the circle, the text is authoritative and the diagram is misleading, since otherwise the problem would be rather trivial.
– joriki
Dec 22 '11 at 5:03
@joriki: But, then, what about my zero-height triangle counter-example? (And, regarding being trivial with the apex on the circle: is it? I agree that it would be if we knew that the the base took up exactly half of the diameter --as it seems in the diagram-- but we aren't guaranteed that ... and I'd think the triangle would've been described as equilateral in that case. The variability of the base seems to be what makes this problem interesting.)
– Blue
Dec 22 '11 at 5:14
|
show 1 more comment
up vote
11
down vote
favorite
up vote
11
down vote
favorite
"From a 1803 Sangaku found in Gumma Prefecture. The base of an isosceles triangle sits on a diameter of the large circle. This diameter also bisects the circle on the left, which is inscribed so that it just touches the inside of the container circle and one vertex of the triangle. The top circle is inscribed so that it touches the outsides of both the left circle and the triangle, as well as the inside of the container circle. A line segment connects the center of the top circle and the intersection point between the left circle and the triangle. Show that this line segment is perpendicular to the drawn diameter of the container circle. (T. Rothman)"
Source: http://hermay.org/jconstant/wasan/sangaku/index.html
Enjoy!
EDIT
Note 1: The radius of the smaller circle touching the left vertex of the triangle is not necessarily half the radius of the enclosing circle. There IS variability in the base of the triangle.
Note 2: Two of the vertices of triangle necessarily are on the enclosing circle.
geometry euclidean-geometry triangle circle sangaku
"From a 1803 Sangaku found in Gumma Prefecture. The base of an isosceles triangle sits on a diameter of the large circle. This diameter also bisects the circle on the left, which is inscribed so that it just touches the inside of the container circle and one vertex of the triangle. The top circle is inscribed so that it touches the outsides of both the left circle and the triangle, as well as the inside of the container circle. A line segment connects the center of the top circle and the intersection point between the left circle and the triangle. Show that this line segment is perpendicular to the drawn diameter of the container circle. (T. Rothman)"
Source: http://hermay.org/jconstant/wasan/sangaku/index.html
Enjoy!
EDIT
Note 1: The radius of the smaller circle touching the left vertex of the triangle is not necessarily half the radius of the enclosing circle. There IS variability in the base of the triangle.
Note 2: Two of the vertices of triangle necessarily are on the enclosing circle.
geometry euclidean-geometry triangle circle sangaku
geometry euclidean-geometry triangle circle sangaku
edited Nov 22 at 21:01
Jean-Claude Arbaut
14.7k63363
14.7k63363
asked Dec 22 '11 at 1:52
dsg
6311618
6311618
I presume you don't want the use of coordinates here?
– J. M. is not a mathematician
Dec 22 '11 at 2:35
@J.M. - No coordinates. Synthetic proofs only.
– dsg
Dec 22 '11 at 3:19
Another presumption: The apex of the triangle lies on the circle. (The picture suggests this, but the description doesn't say so.) Otherwise, take the extreme case of a triangle with zero height and base equal to the big circle's radius; the top circle would be tangent to the diameter at a point somewhat to the right of center, so that the line joining the top circle's center the point of intersection (the big circle's center) would NOT be perpendicular to the diameter.
– Blue
Dec 22 '11 at 5:00
@Day: The triangle is isosceles. I was assuming that, regarding the apex lying on the circle, the text is authoritative and the diagram is misleading, since otherwise the problem would be rather trivial.
– joriki
Dec 22 '11 at 5:03
@joriki: But, then, what about my zero-height triangle counter-example? (And, regarding being trivial with the apex on the circle: is it? I agree that it would be if we knew that the the base took up exactly half of the diameter --as it seems in the diagram-- but we aren't guaranteed that ... and I'd think the triangle would've been described as equilateral in that case. The variability of the base seems to be what makes this problem interesting.)
– Blue
Dec 22 '11 at 5:14
|
show 1 more comment
I presume you don't want the use of coordinates here?
– J. M. is not a mathematician
Dec 22 '11 at 2:35
@J.M. - No coordinates. Synthetic proofs only.
– dsg
Dec 22 '11 at 3:19
Another presumption: The apex of the triangle lies on the circle. (The picture suggests this, but the description doesn't say so.) Otherwise, take the extreme case of a triangle with zero height and base equal to the big circle's radius; the top circle would be tangent to the diameter at a point somewhat to the right of center, so that the line joining the top circle's center the point of intersection (the big circle's center) would NOT be perpendicular to the diameter.
– Blue
Dec 22 '11 at 5:00
@Day: The triangle is isosceles. I was assuming that, regarding the apex lying on the circle, the text is authoritative and the diagram is misleading, since otherwise the problem would be rather trivial.
– joriki
Dec 22 '11 at 5:03
@joriki: But, then, what about my zero-height triangle counter-example? (And, regarding being trivial with the apex on the circle: is it? I agree that it would be if we knew that the the base took up exactly half of the diameter --as it seems in the diagram-- but we aren't guaranteed that ... and I'd think the triangle would've been described as equilateral in that case. The variability of the base seems to be what makes this problem interesting.)
– Blue
Dec 22 '11 at 5:14
I presume you don't want the use of coordinates here?
– J. M. is not a mathematician
Dec 22 '11 at 2:35
I presume you don't want the use of coordinates here?
– J. M. is not a mathematician
Dec 22 '11 at 2:35
@J.M. - No coordinates. Synthetic proofs only.
– dsg
Dec 22 '11 at 3:19
@J.M. - No coordinates. Synthetic proofs only.
– dsg
Dec 22 '11 at 3:19
Another presumption: The apex of the triangle lies on the circle. (The picture suggests this, but the description doesn't say so.) Otherwise, take the extreme case of a triangle with zero height and base equal to the big circle's radius; the top circle would be tangent to the diameter at a point somewhat to the right of center, so that the line joining the top circle's center the point of intersection (the big circle's center) would NOT be perpendicular to the diameter.
– Blue
Dec 22 '11 at 5:00
Another presumption: The apex of the triangle lies on the circle. (The picture suggests this, but the description doesn't say so.) Otherwise, take the extreme case of a triangle with zero height and base equal to the big circle's radius; the top circle would be tangent to the diameter at a point somewhat to the right of center, so that the line joining the top circle's center the point of intersection (the big circle's center) would NOT be perpendicular to the diameter.
– Blue
Dec 22 '11 at 5:00
@Day: The triangle is isosceles. I was assuming that, regarding the apex lying on the circle, the text is authoritative and the diagram is misleading, since otherwise the problem would be rather trivial.
– joriki
Dec 22 '11 at 5:03
@Day: The triangle is isosceles. I was assuming that, regarding the apex lying on the circle, the text is authoritative and the diagram is misleading, since otherwise the problem would be rather trivial.
– joriki
Dec 22 '11 at 5:03
@joriki: But, then, what about my zero-height triangle counter-example? (And, regarding being trivial with the apex on the circle: is it? I agree that it would be if we knew that the the base took up exactly half of the diameter --as it seems in the diagram-- but we aren't guaranteed that ... and I'd think the triangle would've been described as equilateral in that case. The variability of the base seems to be what makes this problem interesting.)
– Blue
Dec 22 '11 at 5:14
@joriki: But, then, what about my zero-height triangle counter-example? (And, regarding being trivial with the apex on the circle: is it? I agree that it would be if we knew that the the base took up exactly half of the diameter --as it seems in the diagram-- but we aren't guaranteed that ... and I'd think the triangle would've been described as equilateral in that case. The variability of the base seems to be what makes this problem interesting.)
– Blue
Dec 22 '11 at 5:14
|
show 1 more comment
2 Answers
2
active
oldest
votes
up vote
1
down vote
accepted
For those who do not like inversion... =P
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$ and having centre $J$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $D$ be the circle tangent to $B$ and $MR$ with centre $N$ such that $PQ perp MN$ and $N$,$R$ are on the same side of $PQ$
Let $Z$ be the point where $D$ is tangent to $MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Let $x = overline{MN}$
Let $y$ be the radius of $D$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Since $triangle MNZ sim triangle RMK$, $frac{x}{y} = overline{MN} / overline{NZ} = overline{RM} / overline{MK} = sqrt{1+r} / frac{1+r}{2} = frac{2}{sqrt{1+r}}$
Thus $(1+r)x^2 = 4y^2$
Also $(y+frac{1-r}{2})^2 = overline{NJ}^2 = overline{MN}^2 + overline{MJ}^2 = (frac{1-r}{2})^2 + x^2$
Thus $(1+r)y^2 + (1+r)(1-r)y = (1+r)x^2 = 4y^2$
Since $ynot=0$, $(3-r)y = 1-r^2$
$overline{OQ} = y + overline{ON}$
$Leftrightarrow (1-y)^2 = overline{ON}^2 = overline{MN}^2 + overline{MO}^2 = x^2 + r^2$
$Leftrightarrow (1+r)(1-2y+y^2) = 4y^2 + (1+r)r^2$
$Leftrightarrow (3-r)y^2 + (2+2r)y - (1+r)(1-r^2) = 0$
$Leftrightarrow (1-r^2)y + (2+2r)y = (1+r)(1-r^2)$
$Leftrightarrow (1+r)(3-r)y = (1+r)(1-r^2)$ which is clearly true
Thus $D$ is tangent to $A$
Since $C$ is uniquely defined and $D$ is an identically defined circle, $N$ is the centre of $C$
Therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
add a comment |
up vote
2
down vote
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Invert at $M$, mapping $P$ to $Q$
Then $A$ maps to $A$, $B$ maps to the line $T$ that is tangent to $B$ at $Q$, $MR$ maps to $MR$, and thus $C$ maps to the circle $D$ that is tangent to $A$, $T$, $MR$ and outside $A$ and on the same side of $T$ as $M$ and completely on the other side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $N$ be the point such that $PQ perp MN$ and $overline{MN} = 2overline{MR}$ and $N$, $R$ are on the opposite side of $PQ$
Let $X$ be the intersection of $NO$ and $A$ between $N$ and $O$
Let $Y$ be the point on $T$ such that $NY perp T$
Let $Z$ be the point on $MR$ such that $NZ perp MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Thus $overline{NO}^2 = overline{MN}^2 + r^2 = 4 overline{MR}^2 + r^2 = 4+4r+r^2 = (2+r)^2$
Thus $overline{NX} = (2+r)-1 = overline{MQ}$
Also it is clear that $overline{NY} = overline{MQ}$
Also since $triangle MNZ sim triangle RMK$, $overline{NZ} = 2 overline{MK} = overline{MQ}$
Since $D$ is uniquely defined and $N$ is the centre of an identically defined circle, $N$ is the centre of $D$
Since the centres of $C$ and $D$ are collinear with $M$, the centre of $C$ lies on $MN$, therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
Note that the same solution applies to both cases where $C$ is on either side of $PQ$, with very minor changes. Inversion seems to simplify most of these kind of questions. Quite a few can be found online.
What do you mean by "$N$, $B$ are on the opposite side of $PQ$"? The circle $B$ is on both sides of $PQ$.
– Rahul
Dec 29 '11 at 12:16
@Rahul: It should read "$N$,$R$ are on the opposite side of $PQ$". I have corrected the error in my solution. Thanks!
– user21820
Dec 29 '11 at 12:44
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',
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%2f93353%2fsangaku-show-line-segment-is-perpendicular-to-diameter-of-container-circle%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
up vote
1
down vote
accepted
For those who do not like inversion... =P
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$ and having centre $J$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $D$ be the circle tangent to $B$ and $MR$ with centre $N$ such that $PQ perp MN$ and $N$,$R$ are on the same side of $PQ$
Let $Z$ be the point where $D$ is tangent to $MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Let $x = overline{MN}$
Let $y$ be the radius of $D$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Since $triangle MNZ sim triangle RMK$, $frac{x}{y} = overline{MN} / overline{NZ} = overline{RM} / overline{MK} = sqrt{1+r} / frac{1+r}{2} = frac{2}{sqrt{1+r}}$
Thus $(1+r)x^2 = 4y^2$
Also $(y+frac{1-r}{2})^2 = overline{NJ}^2 = overline{MN}^2 + overline{MJ}^2 = (frac{1-r}{2})^2 + x^2$
Thus $(1+r)y^2 + (1+r)(1-r)y = (1+r)x^2 = 4y^2$
Since $ynot=0$, $(3-r)y = 1-r^2$
$overline{OQ} = y + overline{ON}$
$Leftrightarrow (1-y)^2 = overline{ON}^2 = overline{MN}^2 + overline{MO}^2 = x^2 + r^2$
$Leftrightarrow (1+r)(1-2y+y^2) = 4y^2 + (1+r)r^2$
$Leftrightarrow (3-r)y^2 + (2+2r)y - (1+r)(1-r^2) = 0$
$Leftrightarrow (1-r^2)y + (2+2r)y = (1+r)(1-r^2)$
$Leftrightarrow (1+r)(3-r)y = (1+r)(1-r^2)$ which is clearly true
Thus $D$ is tangent to $A$
Since $C$ is uniquely defined and $D$ is an identically defined circle, $N$ is the centre of $C$
Therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
add a comment |
up vote
1
down vote
accepted
For those who do not like inversion... =P
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$ and having centre $J$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $D$ be the circle tangent to $B$ and $MR$ with centre $N$ such that $PQ perp MN$ and $N$,$R$ are on the same side of $PQ$
Let $Z$ be the point where $D$ is tangent to $MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Let $x = overline{MN}$
Let $y$ be the radius of $D$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Since $triangle MNZ sim triangle RMK$, $frac{x}{y} = overline{MN} / overline{NZ} = overline{RM} / overline{MK} = sqrt{1+r} / frac{1+r}{2} = frac{2}{sqrt{1+r}}$
Thus $(1+r)x^2 = 4y^2$
Also $(y+frac{1-r}{2})^2 = overline{NJ}^2 = overline{MN}^2 + overline{MJ}^2 = (frac{1-r}{2})^2 + x^2$
Thus $(1+r)y^2 + (1+r)(1-r)y = (1+r)x^2 = 4y^2$
Since $ynot=0$, $(3-r)y = 1-r^2$
$overline{OQ} = y + overline{ON}$
$Leftrightarrow (1-y)^2 = overline{ON}^2 = overline{MN}^2 + overline{MO}^2 = x^2 + r^2$
$Leftrightarrow (1+r)(1-2y+y^2) = 4y^2 + (1+r)r^2$
$Leftrightarrow (3-r)y^2 + (2+2r)y - (1+r)(1-r^2) = 0$
$Leftrightarrow (1-r^2)y + (2+2r)y = (1+r)(1-r^2)$
$Leftrightarrow (1+r)(3-r)y = (1+r)(1-r^2)$ which is clearly true
Thus $D$ is tangent to $A$
Since $C$ is uniquely defined and $D$ is an identically defined circle, $N$ is the centre of $C$
Therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
add a comment |
up vote
1
down vote
accepted
up vote
1
down vote
accepted
For those who do not like inversion... =P
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$ and having centre $J$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $D$ be the circle tangent to $B$ and $MR$ with centre $N$ such that $PQ perp MN$ and $N$,$R$ are on the same side of $PQ$
Let $Z$ be the point where $D$ is tangent to $MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Let $x = overline{MN}$
Let $y$ be the radius of $D$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Since $triangle MNZ sim triangle RMK$, $frac{x}{y} = overline{MN} / overline{NZ} = overline{RM} / overline{MK} = sqrt{1+r} / frac{1+r}{2} = frac{2}{sqrt{1+r}}$
Thus $(1+r)x^2 = 4y^2$
Also $(y+frac{1-r}{2})^2 = overline{NJ}^2 = overline{MN}^2 + overline{MJ}^2 = (frac{1-r}{2})^2 + x^2$
Thus $(1+r)y^2 + (1+r)(1-r)y = (1+r)x^2 = 4y^2$
Since $ynot=0$, $(3-r)y = 1-r^2$
$overline{OQ} = y + overline{ON}$
$Leftrightarrow (1-y)^2 = overline{ON}^2 = overline{MN}^2 + overline{MO}^2 = x^2 + r^2$
$Leftrightarrow (1+r)(1-2y+y^2) = 4y^2 + (1+r)r^2$
$Leftrightarrow (3-r)y^2 + (2+2r)y - (1+r)(1-r^2) = 0$
$Leftrightarrow (1-r^2)y + (2+2r)y = (1+r)(1-r^2)$
$Leftrightarrow (1+r)(3-r)y = (1+r)(1-r^2)$ which is clearly true
Thus $D$ is tangent to $A$
Since $C$ is uniquely defined and $D$ is an identically defined circle, $N$ is the centre of $C$
Therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
For those who do not like inversion... =P
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$ and having centre $J$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $D$ be the circle tangent to $B$ and $MR$ with centre $N$ such that $PQ perp MN$ and $N$,$R$ are on the same side of $PQ$
Let $Z$ be the point where $D$ is tangent to $MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Let $x = overline{MN}$
Let $y$ be the radius of $D$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Since $triangle MNZ sim triangle RMK$, $frac{x}{y} = overline{MN} / overline{NZ} = overline{RM} / overline{MK} = sqrt{1+r} / frac{1+r}{2} = frac{2}{sqrt{1+r}}$
Thus $(1+r)x^2 = 4y^2$
Also $(y+frac{1-r}{2})^2 = overline{NJ}^2 = overline{MN}^2 + overline{MJ}^2 = (frac{1-r}{2})^2 + x^2$
Thus $(1+r)y^2 + (1+r)(1-r)y = (1+r)x^2 = 4y^2$
Since $ynot=0$, $(3-r)y = 1-r^2$
$overline{OQ} = y + overline{ON}$
$Leftrightarrow (1-y)^2 = overline{ON}^2 = overline{MN}^2 + overline{MO}^2 = x^2 + r^2$
$Leftrightarrow (1+r)(1-2y+y^2) = 4y^2 + (1+r)r^2$
$Leftrightarrow (3-r)y^2 + (2+2r)y - (1+r)(1-r^2) = 0$
$Leftrightarrow (1-r^2)y + (2+2r)y = (1+r)(1-r^2)$
$Leftrightarrow (1+r)(3-r)y = (1+r)(1-r^2)$ which is clearly true
Thus $D$ is tangent to $A$
Since $C$ is uniquely defined and $D$ is an identically defined circle, $N$ is the centre of $C$
Therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
answered Dec 29 '11 at 12:40
user21820
38.2k541151
38.2k541151
add a comment |
add a comment |
up vote
2
down vote
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Invert at $M$, mapping $P$ to $Q$
Then $A$ maps to $A$, $B$ maps to the line $T$ that is tangent to $B$ at $Q$, $MR$ maps to $MR$, and thus $C$ maps to the circle $D$ that is tangent to $A$, $T$, $MR$ and outside $A$ and on the same side of $T$ as $M$ and completely on the other side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $N$ be the point such that $PQ perp MN$ and $overline{MN} = 2overline{MR}$ and $N$, $R$ are on the opposite side of $PQ$
Let $X$ be the intersection of $NO$ and $A$ between $N$ and $O$
Let $Y$ be the point on $T$ such that $NY perp T$
Let $Z$ be the point on $MR$ such that $NZ perp MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Thus $overline{NO}^2 = overline{MN}^2 + r^2 = 4 overline{MR}^2 + r^2 = 4+4r+r^2 = (2+r)^2$
Thus $overline{NX} = (2+r)-1 = overline{MQ}$
Also it is clear that $overline{NY} = overline{MQ}$
Also since $triangle MNZ sim triangle RMK$, $overline{NZ} = 2 overline{MK} = overline{MQ}$
Since $D$ is uniquely defined and $N$ is the centre of an identically defined circle, $N$ is the centre of $D$
Since the centres of $C$ and $D$ are collinear with $M$, the centre of $C$ lies on $MN$, therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
Note that the same solution applies to both cases where $C$ is on either side of $PQ$, with very minor changes. Inversion seems to simplify most of these kind of questions. Quite a few can be found online.
What do you mean by "$N$, $B$ are on the opposite side of $PQ$"? The circle $B$ is on both sides of $PQ$.
– Rahul
Dec 29 '11 at 12:16
@Rahul: It should read "$N$,$R$ are on the opposite side of $PQ$". I have corrected the error in my solution. Thanks!
– user21820
Dec 29 '11 at 12:44
add a comment |
up vote
2
down vote
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Invert at $M$, mapping $P$ to $Q$
Then $A$ maps to $A$, $B$ maps to the line $T$ that is tangent to $B$ at $Q$, $MR$ maps to $MR$, and thus $C$ maps to the circle $D$ that is tangent to $A$, $T$, $MR$ and outside $A$ and on the same side of $T$ as $M$ and completely on the other side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $N$ be the point such that $PQ perp MN$ and $overline{MN} = 2overline{MR}$ and $N$, $R$ are on the opposite side of $PQ$
Let $X$ be the intersection of $NO$ and $A$ between $N$ and $O$
Let $Y$ be the point on $T$ such that $NY perp T$
Let $Z$ be the point on $MR$ such that $NZ perp MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Thus $overline{NO}^2 = overline{MN}^2 + r^2 = 4 overline{MR}^2 + r^2 = 4+4r+r^2 = (2+r)^2$
Thus $overline{NX} = (2+r)-1 = overline{MQ}$
Also it is clear that $overline{NY} = overline{MQ}$
Also since $triangle MNZ sim triangle RMK$, $overline{NZ} = 2 overline{MK} = overline{MQ}$
Since $D$ is uniquely defined and $N$ is the centre of an identically defined circle, $N$ is the centre of $D$
Since the centres of $C$ and $D$ are collinear with $M$, the centre of $C$ lies on $MN$, therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
Note that the same solution applies to both cases where $C$ is on either side of $PQ$, with very minor changes. Inversion seems to simplify most of these kind of questions. Quite a few can be found online.
What do you mean by "$N$, $B$ are on the opposite side of $PQ$"? The circle $B$ is on both sides of $PQ$.
– Rahul
Dec 29 '11 at 12:16
@Rahul: It should read "$N$,$R$ are on the opposite side of $PQ$". I have corrected the error in my solution. Thanks!
– user21820
Dec 29 '11 at 12:44
add a comment |
up vote
2
down vote
up vote
2
down vote
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Invert at $M$, mapping $P$ to $Q$
Then $A$ maps to $A$, $B$ maps to the line $T$ that is tangent to $B$ at $Q$, $MR$ maps to $MR$, and thus $C$ maps to the circle $D$ that is tangent to $A$, $T$, $MR$ and outside $A$ and on the same side of $T$ as $M$ and completely on the other side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $N$ be the point such that $PQ perp MN$ and $overline{MN} = 2overline{MR}$ and $N$, $R$ are on the opposite side of $PQ$
Let $X$ be the intersection of $NO$ and $A$ between $N$ and $O$
Let $Y$ be the point on $T$ such that $NY perp T$
Let $Z$ be the point on $MR$ such that $NZ perp MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Thus $overline{NO}^2 = overline{MN}^2 + r^2 = 4 overline{MR}^2 + r^2 = 4+4r+r^2 = (2+r)^2$
Thus $overline{NX} = (2+r)-1 = overline{MQ}$
Also it is clear that $overline{NY} = overline{MQ}$
Also since $triangle MNZ sim triangle RMK$, $overline{NZ} = 2 overline{MK} = overline{MQ}$
Since $D$ is uniquely defined and $N$ is the centre of an identically defined circle, $N$ is the centre of $D$
Since the centres of $C$ and $D$ are collinear with $M$, the centre of $C$ lies on $MN$, therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
Note that the same solution applies to both cases where $C$ is on either side of $PQ$, with very minor changes. Inversion seems to simplify most of these kind of questions. Quite a few can be found online.
Let $A$ be the big circle with centre $O$ and diameter $PQ$
Let $B$ be the circle internally tangent to $A$ at $P$ and intersecting $PQ$ again at $M$
Let $R$ be on $A$ such that $overline{MR} = overline{QR}$
Let $C$ be the circle that is tangent to $A$, $B$, $MR$ and inside $A$ and outside both $B$ and completely on the same side of $PQ$ as $R$
Invert at $M$, mapping $P$ to $Q$
Then $A$ maps to $A$, $B$ maps to the line $T$ that is tangent to $B$ at $Q$, $MR$ maps to $MR$, and thus $C$ maps to the circle $D$ that is tangent to $A$, $T$, $MR$ and outside $A$ and on the same side of $T$ as $M$ and completely on the other side of $PQ$ as $R$
Let $K$ be the point on $MQ$ such that $RK perp MQ$
Let $N$ be the point such that $PQ perp MN$ and $overline{MN} = 2overline{MR}$ and $N$, $R$ are on the opposite side of $PQ$
Let $X$ be the intersection of $NO$ and $A$ between $N$ and $O$
Let $Y$ be the point on $T$ such that $NY perp T$
Let $Z$ be the point on $MR$ such that $NZ perp MR$
Let $overrightarrow{MO} = r overrightarrow{OQ}$ and WLOG $overline{OQ} = 1$
Then $overline{MR}^2 = overline{RK}^2 + overline{MK}^2 = overline{OR}^2 - overline{OK}^2 + overline{MK}^2 = 1 - (frac{1-r}{2})^2 + (frac{1+r}{2})^2 = 1+r$
Thus $overline{NO}^2 = overline{MN}^2 + r^2 = 4 overline{MR}^2 + r^2 = 4+4r+r^2 = (2+r)^2$
Thus $overline{NX} = (2+r)-1 = overline{MQ}$
Also it is clear that $overline{NY} = overline{MQ}$
Also since $triangle MNZ sim triangle RMK$, $overline{NZ} = 2 overline{MK} = overline{MQ}$
Since $D$ is uniquely defined and $N$ is the centre of an identically defined circle, $N$ is the centre of $D$
Since the centres of $C$ and $D$ are collinear with $M$, the centre of $C$ lies on $MN$, therefore the line through both $M$ and the centre of $C$ is perpendicular to $PQ$
(QED)
Note that the same solution applies to both cases where $C$ is on either side of $PQ$, with very minor changes. Inversion seems to simplify most of these kind of questions. Quite a few can be found online.
edited Dec 29 '11 at 12:43
answered Dec 27 '11 at 12:08
user21820
38.2k541151
38.2k541151
What do you mean by "$N$, $B$ are on the opposite side of $PQ$"? The circle $B$ is on both sides of $PQ$.
– Rahul
Dec 29 '11 at 12:16
@Rahul: It should read "$N$,$R$ are on the opposite side of $PQ$". I have corrected the error in my solution. Thanks!
– user21820
Dec 29 '11 at 12:44
add a comment |
What do you mean by "$N$, $B$ are on the opposite side of $PQ$"? The circle $B$ is on both sides of $PQ$.
– Rahul
Dec 29 '11 at 12:16
@Rahul: It should read "$N$,$R$ are on the opposite side of $PQ$". I have corrected the error in my solution. Thanks!
– user21820
Dec 29 '11 at 12:44
What do you mean by "$N$, $B$ are on the opposite side of $PQ$"? The circle $B$ is on both sides of $PQ$.
– Rahul
Dec 29 '11 at 12:16
What do you mean by "$N$, $B$ are on the opposite side of $PQ$"? The circle $B$ is on both sides of $PQ$.
– Rahul
Dec 29 '11 at 12:16
@Rahul: It should read "$N$,$R$ are on the opposite side of $PQ$". I have corrected the error in my solution. Thanks!
– user21820
Dec 29 '11 at 12:44
@Rahul: It should read "$N$,$R$ are on the opposite side of $PQ$". I have corrected the error in my solution. Thanks!
– user21820
Dec 29 '11 at 12:44
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f93353%2fsangaku-show-line-segment-is-perpendicular-to-diameter-of-container-circle%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
I presume you don't want the use of coordinates here?
– J. M. is not a mathematician
Dec 22 '11 at 2:35
@J.M. - No coordinates. Synthetic proofs only.
– dsg
Dec 22 '11 at 3:19
Another presumption: The apex of the triangle lies on the circle. (The picture suggests this, but the description doesn't say so.) Otherwise, take the extreme case of a triangle with zero height and base equal to the big circle's radius; the top circle would be tangent to the diameter at a point somewhat to the right of center, so that the line joining the top circle's center the point of intersection (the big circle's center) would NOT be perpendicular to the diameter.
– Blue
Dec 22 '11 at 5:00
@Day: The triangle is isosceles. I was assuming that, regarding the apex lying on the circle, the text is authoritative and the diagram is misleading, since otherwise the problem would be rather trivial.
– joriki
Dec 22 '11 at 5:03
@joriki: But, then, what about my zero-height triangle counter-example? (And, regarding being trivial with the apex on the circle: is it? I agree that it would be if we knew that the the base took up exactly half of the diameter --as it seems in the diagram-- but we aren't guaranteed that ... and I'd think the triangle would've been described as equilateral in that case. The variability of the base seems to be what makes this problem interesting.)
– Blue
Dec 22 '11 at 5:14