geometry - find the path a light ray must take to reach a destination with one bounce off a mirror
$begingroup$
this seems like it should be simple, but i've run out of leads with a similar-triangles approach, and the algebraic approaches seem pretty daunting, so i'm asking for help.
i'm working on a simulation where a ray of light reaches a point by bouncing once off a planar mirror. i know the position of the source, the destination point, and a point & normal of the mirror. (or any other convenient means of describing the mirror) For simplicity i'm happy to assume the mirror is infinite in extent.
as i mentioned, a geometric solution via similar-triangles and so on has not revealed itself to me, but i'm good at missing those.
for the algebraic approach i've set up a system of equations constraining the on-mirror point to 1) lie on the line of the mirror and 2) the angle between the incoming ray and normal and the angle between the outgoing ray and the normal are equal, by asserting that those Dot-products are equal. I haven't carried that math through to its end because it looks pretty monstrous because the thing i'm trying to solve for appears in so many places including inside many radicals.
I'm not saying i can't solve this, but it looks like a lot of work and if there's a better approach i'd love some advice.
Here's my sketch of the situation. Apologies if i mis-use terminology!
Speaking of terminology, is there a word for this point ? The point of reflection ? The point of incidence ?
geometry reflection
$endgroup$
add a comment |
$begingroup$
this seems like it should be simple, but i've run out of leads with a similar-triangles approach, and the algebraic approaches seem pretty daunting, so i'm asking for help.
i'm working on a simulation where a ray of light reaches a point by bouncing once off a planar mirror. i know the position of the source, the destination point, and a point & normal of the mirror. (or any other convenient means of describing the mirror) For simplicity i'm happy to assume the mirror is infinite in extent.
as i mentioned, a geometric solution via similar-triangles and so on has not revealed itself to me, but i'm good at missing those.
for the algebraic approach i've set up a system of equations constraining the on-mirror point to 1) lie on the line of the mirror and 2) the angle between the incoming ray and normal and the angle between the outgoing ray and the normal are equal, by asserting that those Dot-products are equal. I haven't carried that math through to its end because it looks pretty monstrous because the thing i'm trying to solve for appears in so many places including inside many radicals.
I'm not saying i can't solve this, but it looks like a lot of work and if there's a better approach i'd love some advice.
Here's my sketch of the situation. Apologies if i mis-use terminology!
Speaking of terminology, is there a word for this point ? The point of reflection ? The point of incidence ?
geometry reflection
$endgroup$
add a comment |
$begingroup$
this seems like it should be simple, but i've run out of leads with a similar-triangles approach, and the algebraic approaches seem pretty daunting, so i'm asking for help.
i'm working on a simulation where a ray of light reaches a point by bouncing once off a planar mirror. i know the position of the source, the destination point, and a point & normal of the mirror. (or any other convenient means of describing the mirror) For simplicity i'm happy to assume the mirror is infinite in extent.
as i mentioned, a geometric solution via similar-triangles and so on has not revealed itself to me, but i'm good at missing those.
for the algebraic approach i've set up a system of equations constraining the on-mirror point to 1) lie on the line of the mirror and 2) the angle between the incoming ray and normal and the angle between the outgoing ray and the normal are equal, by asserting that those Dot-products are equal. I haven't carried that math through to its end because it looks pretty monstrous because the thing i'm trying to solve for appears in so many places including inside many radicals.
I'm not saying i can't solve this, but it looks like a lot of work and if there's a better approach i'd love some advice.
Here's my sketch of the situation. Apologies if i mis-use terminology!
Speaking of terminology, is there a word for this point ? The point of reflection ? The point of incidence ?
geometry reflection
$endgroup$
this seems like it should be simple, but i've run out of leads with a similar-triangles approach, and the algebraic approaches seem pretty daunting, so i'm asking for help.
i'm working on a simulation where a ray of light reaches a point by bouncing once off a planar mirror. i know the position of the source, the destination point, and a point & normal of the mirror. (or any other convenient means of describing the mirror) For simplicity i'm happy to assume the mirror is infinite in extent.
as i mentioned, a geometric solution via similar-triangles and so on has not revealed itself to me, but i'm good at missing those.
for the algebraic approach i've set up a system of equations constraining the on-mirror point to 1) lie on the line of the mirror and 2) the angle between the incoming ray and normal and the angle between the outgoing ray and the normal are equal, by asserting that those Dot-products are equal. I haven't carried that math through to its end because it looks pretty monstrous because the thing i'm trying to solve for appears in so many places including inside many radicals.
I'm not saying i can't solve this, but it looks like a lot of work and if there's a better approach i'd love some advice.
Here's my sketch of the situation. Apologies if i mis-use terminology!
Speaking of terminology, is there a word for this point ? The point of reflection ? The point of incidence ?
geometry reflection
geometry reflection
asked Jan 29 at 17:09
orion elenzilorion elenzil
1153
1153
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Let $S’$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $S$. Assuming the mirror is vast enough, the line segment $overline{SS’}$ will be the altitude from $S$ to the opposite side in the triangle $SM_1 M_2$. Similarly, let $P'$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $P$. Then triangle $SS’Q$ is similar to $PP’R$ because $angle SS'R = angle PP’R = frac{pi}{2}$ and $angle SRS’ = angle PRP'$. If one knows the coordinates of $S$ and $P$ and an equation for the line through $M_1$ and $M_2$, one can easily compute coordinates for $S’$ and $P’$.
By similarity,
$$
frac{S’R}{SS’} = frac{RP’}{PP’} = frac{S’P’ - S’R}{PP’}.
$$
Rearranging, we see that the distance from $S’$ to $R$ along the line of the mirror is given by
$$
S’R = frac{(SS’)(S’P’)}{PP’ + SS’}.
$$
$endgroup$
$begingroup$
this is beautiful. thank you so much.
$endgroup$
– orion elenzil
Jan 29 at 18:38
add a comment |
$begingroup$
Construct point $P'$, the reflection of $P$ about the plane of the mirror. The reflection point you seek is then the intersection between line $SP'$ and the plane of the mirror.
$endgroup$
$begingroup$
so simple! thank you. these are all such great answers. i'm accepting @jordan green's, as it avoids the further computational step of line intersection.
$endgroup$
– orion elenzil
Jan 29 at 18:37
add a comment |
$begingroup$
Drop perpendiculars from $S$ and $P$ to the mirror, meeting that line at $E$ and $F$. If the desired point is (as you have labeled it) $R$, then $triangle SERsim triangle PFR$ since they are right triangles sharing a common angle at $R$. Thus $frac{ET}{FT} = frac{SE}{PF}$.
$endgroup$
add a comment |
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%2f3092436%2fgeometry-find-the-path-a-light-ray-must-take-to-reach-a-destination-with-one-b%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let $S’$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $S$. Assuming the mirror is vast enough, the line segment $overline{SS’}$ will be the altitude from $S$ to the opposite side in the triangle $SM_1 M_2$. Similarly, let $P'$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $P$. Then triangle $SS’Q$ is similar to $PP’R$ because $angle SS'R = angle PP’R = frac{pi}{2}$ and $angle SRS’ = angle PRP'$. If one knows the coordinates of $S$ and $P$ and an equation for the line through $M_1$ and $M_2$, one can easily compute coordinates for $S’$ and $P’$.
By similarity,
$$
frac{S’R}{SS’} = frac{RP’}{PP’} = frac{S’P’ - S’R}{PP’}.
$$
Rearranging, we see that the distance from $S’$ to $R$ along the line of the mirror is given by
$$
S’R = frac{(SS’)(S’P’)}{PP’ + SS’}.
$$
$endgroup$
$begingroup$
this is beautiful. thank you so much.
$endgroup$
– orion elenzil
Jan 29 at 18:38
add a comment |
$begingroup$
Let $S’$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $S$. Assuming the mirror is vast enough, the line segment $overline{SS’}$ will be the altitude from $S$ to the opposite side in the triangle $SM_1 M_2$. Similarly, let $P'$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $P$. Then triangle $SS’Q$ is similar to $PP’R$ because $angle SS'R = angle PP’R = frac{pi}{2}$ and $angle SRS’ = angle PRP'$. If one knows the coordinates of $S$ and $P$ and an equation for the line through $M_1$ and $M_2$, one can easily compute coordinates for $S’$ and $P’$.
By similarity,
$$
frac{S’R}{SS’} = frac{RP’}{PP’} = frac{S’P’ - S’R}{PP’}.
$$
Rearranging, we see that the distance from $S’$ to $R$ along the line of the mirror is given by
$$
S’R = frac{(SS’)(S’P’)}{PP’ + SS’}.
$$
$endgroup$
$begingroup$
this is beautiful. thank you so much.
$endgroup$
– orion elenzil
Jan 29 at 18:38
add a comment |
$begingroup$
Let $S’$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $S$. Assuming the mirror is vast enough, the line segment $overline{SS’}$ will be the altitude from $S$ to the opposite side in the triangle $SM_1 M_2$. Similarly, let $P'$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $P$. Then triangle $SS’Q$ is similar to $PP’R$ because $angle SS'R = angle PP’R = frac{pi}{2}$ and $angle SRS’ = angle PRP'$. If one knows the coordinates of $S$ and $P$ and an equation for the line through $M_1$ and $M_2$, one can easily compute coordinates for $S’$ and $P’$.
By similarity,
$$
frac{S’R}{SS’} = frac{RP’}{PP’} = frac{S’P’ - S’R}{PP’}.
$$
Rearranging, we see that the distance from $S’$ to $R$ along the line of the mirror is given by
$$
S’R = frac{(SS’)(S’P’)}{PP’ + SS’}.
$$
$endgroup$
Let $S’$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $S$. Assuming the mirror is vast enough, the line segment $overline{SS’}$ will be the altitude from $S$ to the opposite side in the triangle $SM_1 M_2$. Similarly, let $P'$ be the point on $overline{M_1 M_2}$ that realizes the minimal distance to $P$. Then triangle $SS’Q$ is similar to $PP’R$ because $angle SS'R = angle PP’R = frac{pi}{2}$ and $angle SRS’ = angle PRP'$. If one knows the coordinates of $S$ and $P$ and an equation for the line through $M_1$ and $M_2$, one can easily compute coordinates for $S’$ and $P’$.
By similarity,
$$
frac{S’R}{SS’} = frac{RP’}{PP’} = frac{S’P’ - S’R}{PP’}.
$$
Rearranging, we see that the distance from $S’$ to $R$ along the line of the mirror is given by
$$
S’R = frac{(SS’)(S’P’)}{PP’ + SS’}.
$$
edited Jan 29 at 22:58
answered Jan 29 at 17:25
Jordan GreenJordan Green
1,146410
1,146410
$begingroup$
this is beautiful. thank you so much.
$endgroup$
– orion elenzil
Jan 29 at 18:38
add a comment |
$begingroup$
this is beautiful. thank you so much.
$endgroup$
– orion elenzil
Jan 29 at 18:38
$begingroup$
this is beautiful. thank you so much.
$endgroup$
– orion elenzil
Jan 29 at 18:38
$begingroup$
this is beautiful. thank you so much.
$endgroup$
– orion elenzil
Jan 29 at 18:38
add a comment |
$begingroup$
Construct point $P'$, the reflection of $P$ about the plane of the mirror. The reflection point you seek is then the intersection between line $SP'$ and the plane of the mirror.
$endgroup$
$begingroup$
so simple! thank you. these are all such great answers. i'm accepting @jordan green's, as it avoids the further computational step of line intersection.
$endgroup$
– orion elenzil
Jan 29 at 18:37
add a comment |
$begingroup$
Construct point $P'$, the reflection of $P$ about the plane of the mirror. The reflection point you seek is then the intersection between line $SP'$ and the plane of the mirror.
$endgroup$
$begingroup$
so simple! thank you. these are all such great answers. i'm accepting @jordan green's, as it avoids the further computational step of line intersection.
$endgroup$
– orion elenzil
Jan 29 at 18:37
add a comment |
$begingroup$
Construct point $P'$, the reflection of $P$ about the plane of the mirror. The reflection point you seek is then the intersection between line $SP'$ and the plane of the mirror.
$endgroup$
Construct point $P'$, the reflection of $P$ about the plane of the mirror. The reflection point you seek is then the intersection between line $SP'$ and the plane of the mirror.
answered Jan 29 at 18:17


AretinoAretino
25.8k31545
25.8k31545
$begingroup$
so simple! thank you. these are all such great answers. i'm accepting @jordan green's, as it avoids the further computational step of line intersection.
$endgroup$
– orion elenzil
Jan 29 at 18:37
add a comment |
$begingroup$
so simple! thank you. these are all such great answers. i'm accepting @jordan green's, as it avoids the further computational step of line intersection.
$endgroup$
– orion elenzil
Jan 29 at 18:37
$begingroup$
so simple! thank you. these are all such great answers. i'm accepting @jordan green's, as it avoids the further computational step of line intersection.
$endgroup$
– orion elenzil
Jan 29 at 18:37
$begingroup$
so simple! thank you. these are all such great answers. i'm accepting @jordan green's, as it avoids the further computational step of line intersection.
$endgroup$
– orion elenzil
Jan 29 at 18:37
add a comment |
$begingroup$
Drop perpendiculars from $S$ and $P$ to the mirror, meeting that line at $E$ and $F$. If the desired point is (as you have labeled it) $R$, then $triangle SERsim triangle PFR$ since they are right triangles sharing a common angle at $R$. Thus $frac{ET}{FT} = frac{SE}{PF}$.
$endgroup$
add a comment |
$begingroup$
Drop perpendiculars from $S$ and $P$ to the mirror, meeting that line at $E$ and $F$. If the desired point is (as you have labeled it) $R$, then $triangle SERsim triangle PFR$ since they are right triangles sharing a common angle at $R$. Thus $frac{ET}{FT} = frac{SE}{PF}$.
$endgroup$
add a comment |
$begingroup$
Drop perpendiculars from $S$ and $P$ to the mirror, meeting that line at $E$ and $F$. If the desired point is (as you have labeled it) $R$, then $triangle SERsim triangle PFR$ since they are right triangles sharing a common angle at $R$. Thus $frac{ET}{FT} = frac{SE}{PF}$.
$endgroup$
Drop perpendiculars from $S$ and $P$ to the mirror, meeting that line at $E$ and $F$. If the desired point is (as you have labeled it) $R$, then $triangle SERsim triangle PFR$ since they are right triangles sharing a common angle at $R$. Thus $frac{ET}{FT} = frac{SE}{PF}$.
answered Jan 29 at 17:20
rogerlrogerl
18k22848
18k22848
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%2f3092436%2fgeometry-find-the-path-a-light-ray-must-take-to-reach-a-destination-with-one-b%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