Circumpolar Equation Derivation












0












$begingroup$


Edit: Another algebraic solution from Astronomy.stackexchange



I am trying to understand how the circumpolar star equation works. Although it is astronomy, this part is pretty much just geometry. The equation is this



$delta + l geq frac{pi}{2}$



The setup is for an observer at latitude $l$, stars whose declination $delta$ fit this equation are circumpolar. What I cannot get past is how to get from the star's lowest altitude $a$ to there. *Declination is measured from the equator and altitude is measured from the horizon for those who don't know." I know that the angle of the cone made by the rotating star is within the $frac{pi}{2}$ limitation. I just can't express it in an algebraic way.



This shows what is meant by circumpolar stars.
Circumpolar stars



This shows the sort of rotation undergone by the celestial sphere due to the observer's latitude. NCP and SCP are North and South Celestial Poles.
Horizon coordinates



In the second picture, it is easy to prove that the altitude $a$ is equal to longitude $l$ and that $c = frac{pi}{2} - l$. What I need to know is how to go about proving that a star of declination $delta$ will always have an altitude $a geq 0$.



Edit: Included pictures in line instead of as a link.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Declination is measured from the equator going up to 90 at the north pole and -90 at the south. It's the exact same thing as latitude, but for the celestial sphere.
    $endgroup$
    – abyssmu
    Jan 25 at 14:11










  • $begingroup$
    In the image for horizon coordinates, what are NCP and SCP?
    $endgroup$
    – Lee David Chung Lin
    Jan 25 at 17:04










  • $begingroup$
    They are the North and South Celestial Poles. They are projections of the N/S poles of Earth onto the celestial sphere.
    $endgroup$
    – abyssmu
    Jan 25 at 20:23
















0












$begingroup$


Edit: Another algebraic solution from Astronomy.stackexchange



I am trying to understand how the circumpolar star equation works. Although it is astronomy, this part is pretty much just geometry. The equation is this



$delta + l geq frac{pi}{2}$



The setup is for an observer at latitude $l$, stars whose declination $delta$ fit this equation are circumpolar. What I cannot get past is how to get from the star's lowest altitude $a$ to there. *Declination is measured from the equator and altitude is measured from the horizon for those who don't know." I know that the angle of the cone made by the rotating star is within the $frac{pi}{2}$ limitation. I just can't express it in an algebraic way.



This shows what is meant by circumpolar stars.
Circumpolar stars



This shows the sort of rotation undergone by the celestial sphere due to the observer's latitude. NCP and SCP are North and South Celestial Poles.
Horizon coordinates



In the second picture, it is easy to prove that the altitude $a$ is equal to longitude $l$ and that $c = frac{pi}{2} - l$. What I need to know is how to go about proving that a star of declination $delta$ will always have an altitude $a geq 0$.



Edit: Included pictures in line instead of as a link.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Declination is measured from the equator going up to 90 at the north pole and -90 at the south. It's the exact same thing as latitude, but for the celestial sphere.
    $endgroup$
    – abyssmu
    Jan 25 at 14:11










  • $begingroup$
    In the image for horizon coordinates, what are NCP and SCP?
    $endgroup$
    – Lee David Chung Lin
    Jan 25 at 17:04










  • $begingroup$
    They are the North and South Celestial Poles. They are projections of the N/S poles of Earth onto the celestial sphere.
    $endgroup$
    – abyssmu
    Jan 25 at 20:23














0












0








0





$begingroup$


Edit: Another algebraic solution from Astronomy.stackexchange



I am trying to understand how the circumpolar star equation works. Although it is astronomy, this part is pretty much just geometry. The equation is this



$delta + l geq frac{pi}{2}$



The setup is for an observer at latitude $l$, stars whose declination $delta$ fit this equation are circumpolar. What I cannot get past is how to get from the star's lowest altitude $a$ to there. *Declination is measured from the equator and altitude is measured from the horizon for those who don't know." I know that the angle of the cone made by the rotating star is within the $frac{pi}{2}$ limitation. I just can't express it in an algebraic way.



This shows what is meant by circumpolar stars.
Circumpolar stars



This shows the sort of rotation undergone by the celestial sphere due to the observer's latitude. NCP and SCP are North and South Celestial Poles.
Horizon coordinates



In the second picture, it is easy to prove that the altitude $a$ is equal to longitude $l$ and that $c = frac{pi}{2} - l$. What I need to know is how to go about proving that a star of declination $delta$ will always have an altitude $a geq 0$.



Edit: Included pictures in line instead of as a link.










share|cite|improve this question











$endgroup$




Edit: Another algebraic solution from Astronomy.stackexchange



I am trying to understand how the circumpolar star equation works. Although it is astronomy, this part is pretty much just geometry. The equation is this



$delta + l geq frac{pi}{2}$



The setup is for an observer at latitude $l$, stars whose declination $delta$ fit this equation are circumpolar. What I cannot get past is how to get from the star's lowest altitude $a$ to there. *Declination is measured from the equator and altitude is measured from the horizon for those who don't know." I know that the angle of the cone made by the rotating star is within the $frac{pi}{2}$ limitation. I just can't express it in an algebraic way.



This shows what is meant by circumpolar stars.
Circumpolar stars



This shows the sort of rotation undergone by the celestial sphere due to the observer's latitude. NCP and SCP are North and South Celestial Poles.
Horizon coordinates



In the second picture, it is easy to prove that the altitude $a$ is equal to longitude $l$ and that $c = frac{pi}{2} - l$. What I need to know is how to go about proving that a star of declination $delta$ will always have an altitude $a geq 0$.



Edit: Included pictures in line instead of as a link.







geometry mathematical-astronomy






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 25 at 21:26









Aretino

25.3k21445




25.3k21445










asked Jan 25 at 9:17









abyssmuabyssmu

425




425












  • $begingroup$
    Declination is measured from the equator going up to 90 at the north pole and -90 at the south. It's the exact same thing as latitude, but for the celestial sphere.
    $endgroup$
    – abyssmu
    Jan 25 at 14:11










  • $begingroup$
    In the image for horizon coordinates, what are NCP and SCP?
    $endgroup$
    – Lee David Chung Lin
    Jan 25 at 17:04










  • $begingroup$
    They are the North and South Celestial Poles. They are projections of the N/S poles of Earth onto the celestial sphere.
    $endgroup$
    – abyssmu
    Jan 25 at 20:23


















  • $begingroup$
    Declination is measured from the equator going up to 90 at the north pole and -90 at the south. It's the exact same thing as latitude, but for the celestial sphere.
    $endgroup$
    – abyssmu
    Jan 25 at 14:11










  • $begingroup$
    In the image for horizon coordinates, what are NCP and SCP?
    $endgroup$
    – Lee David Chung Lin
    Jan 25 at 17:04










  • $begingroup$
    They are the North and South Celestial Poles. They are projections of the N/S poles of Earth onto the celestial sphere.
    $endgroup$
    – abyssmu
    Jan 25 at 20:23
















$begingroup$
Declination is measured from the equator going up to 90 at the north pole and -90 at the south. It's the exact same thing as latitude, but for the celestial sphere.
$endgroup$
– abyssmu
Jan 25 at 14:11




$begingroup$
Declination is measured from the equator going up to 90 at the north pole and -90 at the south. It's the exact same thing as latitude, but for the celestial sphere.
$endgroup$
– abyssmu
Jan 25 at 14:11












$begingroup$
In the image for horizon coordinates, what are NCP and SCP?
$endgroup$
– Lee David Chung Lin
Jan 25 at 17:04




$begingroup$
In the image for horizon coordinates, what are NCP and SCP?
$endgroup$
– Lee David Chung Lin
Jan 25 at 17:04












$begingroup$
They are the North and South Celestial Poles. They are projections of the N/S poles of Earth onto the celestial sphere.
$endgroup$
– abyssmu
Jan 25 at 20:23




$begingroup$
They are the North and South Celestial Poles. They are projections of the N/S poles of Earth onto the celestial sphere.
$endgroup$
– abyssmu
Jan 25 at 20:23










2 Answers
2






active

oldest

votes


















1












$begingroup$

See picture below: a star is circumpolar if it lies within the grey cone of half-width $L$, the same as the latitude. Hence declination of such a star must be greater than $pi/2-L$.



enter image description here






share|cite|improve this answer









$endgroup$













  • $begingroup$
    This is a very elegant solution. I like it. I did manage to find a solution a little while ago, albeit not as clean as this, but it is more so algebraic instead of geometric. I will post the solution as an answer as well. Thank you!
    $endgroup$
    – abyssmu
    Jan 25 at 20:28



















1












$begingroup$

For a star to be circumpolar, the star must, at the very least, come above the horizon.



$0 leq a leq frac{pi}{2}$



In the celestial sphere coordinate system, $c$ can be found to be



$c = frac{pi}{2} - delta$



In the horizon coordinate system, $c$ can be found to be



$c = l - a_{min}$



Therefore



$l - a_{min} = frac{pi}{2} - delta$
$\$
$l + delta = frac{pi}{2} + a_{min}$



$a_{min}$ can be set to 0 because it is the lower bound for circumpolarity.



$l + delta = frac{pi}{2}$



$delta$ must be in the cone made by the star's rotation about its declination angle. Therefore



$frac{pi}{2} - l leq delta$






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%2f3086906%2fcircumpolar-equation-derivation%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









    1












    $begingroup$

    See picture below: a star is circumpolar if it lies within the grey cone of half-width $L$, the same as the latitude. Hence declination of such a star must be greater than $pi/2-L$.



    enter image description here






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      This is a very elegant solution. I like it. I did manage to find a solution a little while ago, albeit not as clean as this, but it is more so algebraic instead of geometric. I will post the solution as an answer as well. Thank you!
      $endgroup$
      – abyssmu
      Jan 25 at 20:28
















    1












    $begingroup$

    See picture below: a star is circumpolar if it lies within the grey cone of half-width $L$, the same as the latitude. Hence declination of such a star must be greater than $pi/2-L$.



    enter image description here






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      This is a very elegant solution. I like it. I did manage to find a solution a little while ago, albeit not as clean as this, but it is more so algebraic instead of geometric. I will post the solution as an answer as well. Thank you!
      $endgroup$
      – abyssmu
      Jan 25 at 20:28














    1












    1








    1





    $begingroup$

    See picture below: a star is circumpolar if it lies within the grey cone of half-width $L$, the same as the latitude. Hence declination of such a star must be greater than $pi/2-L$.



    enter image description here






    share|cite|improve this answer









    $endgroup$



    See picture below: a star is circumpolar if it lies within the grey cone of half-width $L$, the same as the latitude. Hence declination of such a star must be greater than $pi/2-L$.



    enter image description here







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Jan 25 at 17:09









    AretinoAretino

    25.3k21445




    25.3k21445












    • $begingroup$
      This is a very elegant solution. I like it. I did manage to find a solution a little while ago, albeit not as clean as this, but it is more so algebraic instead of geometric. I will post the solution as an answer as well. Thank you!
      $endgroup$
      – abyssmu
      Jan 25 at 20:28


















    • $begingroup$
      This is a very elegant solution. I like it. I did manage to find a solution a little while ago, albeit not as clean as this, but it is more so algebraic instead of geometric. I will post the solution as an answer as well. Thank you!
      $endgroup$
      – abyssmu
      Jan 25 at 20:28
















    $begingroup$
    This is a very elegant solution. I like it. I did manage to find a solution a little while ago, albeit not as clean as this, but it is more so algebraic instead of geometric. I will post the solution as an answer as well. Thank you!
    $endgroup$
    – abyssmu
    Jan 25 at 20:28




    $begingroup$
    This is a very elegant solution. I like it. I did manage to find a solution a little while ago, albeit not as clean as this, but it is more so algebraic instead of geometric. I will post the solution as an answer as well. Thank you!
    $endgroup$
    – abyssmu
    Jan 25 at 20:28











    1












    $begingroup$

    For a star to be circumpolar, the star must, at the very least, come above the horizon.



    $0 leq a leq frac{pi}{2}$



    In the celestial sphere coordinate system, $c$ can be found to be



    $c = frac{pi}{2} - delta$



    In the horizon coordinate system, $c$ can be found to be



    $c = l - a_{min}$



    Therefore



    $l - a_{min} = frac{pi}{2} - delta$
    $\$
    $l + delta = frac{pi}{2} + a_{min}$



    $a_{min}$ can be set to 0 because it is the lower bound for circumpolarity.



    $l + delta = frac{pi}{2}$



    $delta$ must be in the cone made by the star's rotation about its declination angle. Therefore



    $frac{pi}{2} - l leq delta$






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      For a star to be circumpolar, the star must, at the very least, come above the horizon.



      $0 leq a leq frac{pi}{2}$



      In the celestial sphere coordinate system, $c$ can be found to be



      $c = frac{pi}{2} - delta$



      In the horizon coordinate system, $c$ can be found to be



      $c = l - a_{min}$



      Therefore



      $l - a_{min} = frac{pi}{2} - delta$
      $\$
      $l + delta = frac{pi}{2} + a_{min}$



      $a_{min}$ can be set to 0 because it is the lower bound for circumpolarity.



      $l + delta = frac{pi}{2}$



      $delta$ must be in the cone made by the star's rotation about its declination angle. Therefore



      $frac{pi}{2} - l leq delta$






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        For a star to be circumpolar, the star must, at the very least, come above the horizon.



        $0 leq a leq frac{pi}{2}$



        In the celestial sphere coordinate system, $c$ can be found to be



        $c = frac{pi}{2} - delta$



        In the horizon coordinate system, $c$ can be found to be



        $c = l - a_{min}$



        Therefore



        $l - a_{min} = frac{pi}{2} - delta$
        $\$
        $l + delta = frac{pi}{2} + a_{min}$



        $a_{min}$ can be set to 0 because it is the lower bound for circumpolarity.



        $l + delta = frac{pi}{2}$



        $delta$ must be in the cone made by the star's rotation about its declination angle. Therefore



        $frac{pi}{2} - l leq delta$






        share|cite|improve this answer









        $endgroup$



        For a star to be circumpolar, the star must, at the very least, come above the horizon.



        $0 leq a leq frac{pi}{2}$



        In the celestial sphere coordinate system, $c$ can be found to be



        $c = frac{pi}{2} - delta$



        In the horizon coordinate system, $c$ can be found to be



        $c = l - a_{min}$



        Therefore



        $l - a_{min} = frac{pi}{2} - delta$
        $\$
        $l + delta = frac{pi}{2} + a_{min}$



        $a_{min}$ can be set to 0 because it is the lower bound for circumpolarity.



        $l + delta = frac{pi}{2}$



        $delta$ must be in the cone made by the star's rotation about its declination angle. Therefore



        $frac{pi}{2} - l leq delta$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 25 at 20:33









        abyssmuabyssmu

        425




        425






























            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%2f3086906%2fcircumpolar-equation-derivation%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