Does the quadrilateral have an inscribed circle?












3














Question: Let o1, o2 be circles inside an angle tangent to one of its sides in
points A, B and to the other in points C, D. Prove that if o1, o2 are externally
tangent, then ABCD has an inscribed circle.



What I have so far:



1.|AB| = |CD| by the strongest theorem of geometry




  1. A circle can be inscribed in a quadrilateral if and only if the addition of its opposite sides are equal ie. |AB|+|CD|=|BC|+|AD| (depends on how you label the vertices).


So we want to prove that 2|AB|=|BC|+|AD| and it must have to do with the circles being externally tangent.



I do not know how to proceed. Any help is much appreciated.










share|cite|improve this question






















  • I'm not sure you have chosen the best result from which to start. There is some symmetry in the situation which may help.
    – Mark Bennet
    Dec 12 '18 at 8:50










  • Please add a diagram.
    – Anubhab Ghosal
    Dec 12 '18 at 11:10
















3














Question: Let o1, o2 be circles inside an angle tangent to one of its sides in
points A, B and to the other in points C, D. Prove that if o1, o2 are externally
tangent, then ABCD has an inscribed circle.



What I have so far:



1.|AB| = |CD| by the strongest theorem of geometry




  1. A circle can be inscribed in a quadrilateral if and only if the addition of its opposite sides are equal ie. |AB|+|CD|=|BC|+|AD| (depends on how you label the vertices).


So we want to prove that 2|AB|=|BC|+|AD| and it must have to do with the circles being externally tangent.



I do not know how to proceed. Any help is much appreciated.










share|cite|improve this question






















  • I'm not sure you have chosen the best result from which to start. There is some symmetry in the situation which may help.
    – Mark Bennet
    Dec 12 '18 at 8:50










  • Please add a diagram.
    – Anubhab Ghosal
    Dec 12 '18 at 11:10














3












3








3


1





Question: Let o1, o2 be circles inside an angle tangent to one of its sides in
points A, B and to the other in points C, D. Prove that if o1, o2 are externally
tangent, then ABCD has an inscribed circle.



What I have so far:



1.|AB| = |CD| by the strongest theorem of geometry




  1. A circle can be inscribed in a quadrilateral if and only if the addition of its opposite sides are equal ie. |AB|+|CD|=|BC|+|AD| (depends on how you label the vertices).


So we want to prove that 2|AB|=|BC|+|AD| and it must have to do with the circles being externally tangent.



I do not know how to proceed. Any help is much appreciated.










share|cite|improve this question













Question: Let o1, o2 be circles inside an angle tangent to one of its sides in
points A, B and to the other in points C, D. Prove that if o1, o2 are externally
tangent, then ABCD has an inscribed circle.



What I have so far:



1.|AB| = |CD| by the strongest theorem of geometry




  1. A circle can be inscribed in a quadrilateral if and only if the addition of its opposite sides are equal ie. |AB|+|CD|=|BC|+|AD| (depends on how you label the vertices).


So we want to prove that 2|AB|=|BC|+|AD| and it must have to do with the circles being externally tangent.



I do not know how to proceed. Any help is much appreciated.







geometry euclidean-geometry






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 12 '18 at 8:26









ricorico

806




806












  • I'm not sure you have chosen the best result from which to start. There is some symmetry in the situation which may help.
    – Mark Bennet
    Dec 12 '18 at 8:50










  • Please add a diagram.
    – Anubhab Ghosal
    Dec 12 '18 at 11:10


















  • I'm not sure you have chosen the best result from which to start. There is some symmetry in the situation which may help.
    – Mark Bennet
    Dec 12 '18 at 8:50










  • Please add a diagram.
    – Anubhab Ghosal
    Dec 12 '18 at 11:10
















I'm not sure you have chosen the best result from which to start. There is some symmetry in the situation which may help.
– Mark Bennet
Dec 12 '18 at 8:50




I'm not sure you have chosen the best result from which to start. There is some symmetry in the situation which may help.
– Mark Bennet
Dec 12 '18 at 8:50












Please add a diagram.
– Anubhab Ghosal
Dec 12 '18 at 11:10




Please add a diagram.
– Anubhab Ghosal
Dec 12 '18 at 11:10










2 Answers
2






active

oldest

votes


















2














Diagram




From the diagram, $AB=CD=(r_1+r_2)cosalpha$.
$AC=2r_1cosalpha$ and $BD=2r_2cosalpha$.
Therefore, $AB+CD=AC+BD$, and $ABDC$ is a tangential quadrilateral.




$blacksquare$






share|cite|improve this answer































    1














    enter image description here



    We can go a little further and show that the common tangent point of the two circles is the center of the inscribed circle of $ABCD$. In deed, by symmetry, we have $stackrel{frown}{BE} = stackrel{frown}{CE}$. Since $AB$ is tangent to $(O_2)$, it follows that $$angle ABE = frac12stackrel{frown}{BE} = frac12stackrel{frown}{CE} = angle EBC.$$
    So $E$ lies on the angle bisector of $angle ABC$. Similarly for all the other angles.






    share|cite|improve this answer





















      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%2f3036405%2fdoes-the-quadrilateral-have-an-inscribed-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









      2














      Diagram




      From the diagram, $AB=CD=(r_1+r_2)cosalpha$.
      $AC=2r_1cosalpha$ and $BD=2r_2cosalpha$.
      Therefore, $AB+CD=AC+BD$, and $ABDC$ is a tangential quadrilateral.




      $blacksquare$






      share|cite|improve this answer




























        2














        Diagram




        From the diagram, $AB=CD=(r_1+r_2)cosalpha$.
        $AC=2r_1cosalpha$ and $BD=2r_2cosalpha$.
        Therefore, $AB+CD=AC+BD$, and $ABDC$ is a tangential quadrilateral.




        $blacksquare$






        share|cite|improve this answer


























          2












          2








          2






          Diagram




          From the diagram, $AB=CD=(r_1+r_2)cosalpha$.
          $AC=2r_1cosalpha$ and $BD=2r_2cosalpha$.
          Therefore, $AB+CD=AC+BD$, and $ABDC$ is a tangential quadrilateral.




          $blacksquare$






          share|cite|improve this answer














          Diagram




          From the diagram, $AB=CD=(r_1+r_2)cosalpha$.
          $AC=2r_1cosalpha$ and $BD=2r_2cosalpha$.
          Therefore, $AB+CD=AC+BD$, and $ABDC$ is a tangential quadrilateral.




          $blacksquare$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Dec 31 '18 at 7:57

























          answered Dec 12 '18 at 11:59









          Anubhab GhosalAnubhab Ghosal

          81617




          81617























              1














              enter image description here



              We can go a little further and show that the common tangent point of the two circles is the center of the inscribed circle of $ABCD$. In deed, by symmetry, we have $stackrel{frown}{BE} = stackrel{frown}{CE}$. Since $AB$ is tangent to $(O_2)$, it follows that $$angle ABE = frac12stackrel{frown}{BE} = frac12stackrel{frown}{CE} = angle EBC.$$
              So $E$ lies on the angle bisector of $angle ABC$. Similarly for all the other angles.






              share|cite|improve this answer


























                1














                enter image description here



                We can go a little further and show that the common tangent point of the two circles is the center of the inscribed circle of $ABCD$. In deed, by symmetry, we have $stackrel{frown}{BE} = stackrel{frown}{CE}$. Since $AB$ is tangent to $(O_2)$, it follows that $$angle ABE = frac12stackrel{frown}{BE} = frac12stackrel{frown}{CE} = angle EBC.$$
                So $E$ lies on the angle bisector of $angle ABC$. Similarly for all the other angles.






                share|cite|improve this answer
























                  1












                  1








                  1






                  enter image description here



                  We can go a little further and show that the common tangent point of the two circles is the center of the inscribed circle of $ABCD$. In deed, by symmetry, we have $stackrel{frown}{BE} = stackrel{frown}{CE}$. Since $AB$ is tangent to $(O_2)$, it follows that $$angle ABE = frac12stackrel{frown}{BE} = frac12stackrel{frown}{CE} = angle EBC.$$
                  So $E$ lies on the angle bisector of $angle ABC$. Similarly for all the other angles.






                  share|cite|improve this answer












                  enter image description here



                  We can go a little further and show that the common tangent point of the two circles is the center of the inscribed circle of $ABCD$. In deed, by symmetry, we have $stackrel{frown}{BE} = stackrel{frown}{CE}$. Since $AB$ is tangent to $(O_2)$, it follows that $$angle ABE = frac12stackrel{frown}{BE} = frac12stackrel{frown}{CE} = angle EBC.$$
                  So $E$ lies on the angle bisector of $angle ABC$. Similarly for all the other angles.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 12 '18 at 14:37









                  Quang HoangQuang Hoang

                  12.8k1131




                  12.8k1131






























                      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.





                      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.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3036405%2fdoes-the-quadrilateral-have-an-inscribed-circle%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

                      Bressuire

                      Cabo Verde

                      Gyllenstierna