geometry - find the path a light ray must take to reach a destination with one bounce off a mirror












0












$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 ?



finding the point of reflection










share|cite|improve this question









$endgroup$

















    0












    $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 ?



    finding the point of reflection










    share|cite|improve this question









    $endgroup$















      0












      0








      0





      $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 ?



      finding the point of reflection










      share|cite|improve this question









      $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 ?



      finding the point of reflection







      geometry reflection






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Jan 29 at 17:09









      orion elenzilorion elenzil

      1153




      1153






















          3 Answers
          3






          active

          oldest

          votes


















          1












          $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’}.
          $$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            this is beautiful. thank you so much.
            $endgroup$
            – orion elenzil
            Jan 29 at 18:38



















          3












          $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.






          share|cite|improve this answer









          $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





















          1












          $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}$.






          share|cite|improve this answer









          $endgroup$














            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
            });


            }
            });














            draft saved

            draft discarded


















            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









            1












            $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’}.
            $$






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              this is beautiful. thank you so much.
              $endgroup$
              – orion elenzil
              Jan 29 at 18:38
















            1












            $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’}.
            $$






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              this is beautiful. thank you so much.
              $endgroup$
              – orion elenzil
              Jan 29 at 18:38














            1












            1








            1





            $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’}.
            $$






            share|cite|improve this answer











            $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’}.
            $$







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            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


















            • $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











            3












            $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.






            share|cite|improve this answer









            $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


















            3












            $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.






            share|cite|improve this answer









            $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
















            3












            3








            3





            $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.






            share|cite|improve this answer









            $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.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            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




















            • $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













            1












            $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}$.






            share|cite|improve this answer









            $endgroup$


















              1












              $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}$.






              share|cite|improve this answer









              $endgroup$
















                1












                1








                1





                $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}$.






                share|cite|improve this answer









                $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}$.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Jan 29 at 17:20









                rogerlrogerl

                18k22848




                18k22848






























                    draft saved

                    draft discarded




















































                    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.




                    draft saved


                    draft discarded














                    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





















































                    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







                    Popular posts from this blog

                    MongoDB - Not Authorized To Execute Command

                    How to fix TextFormField cause rebuild widget in Flutter

                    in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith