In the square $ABCD$, prove that $BF+DE=AE$.











up vote
5
down vote

favorite
2












Consider the Square $ABCD$. The point $E$ is on the side $CD$. If $F$ is on the side $BC$ such that $AF$ is the bisector of the angle $BAE$. Prove that
$$BF+DE=AE.$$
By Pythagorean theorem we have $(AD)^2+(DE)^2=(AE)^2$ then $DE=sqrt{(AE)^2-(AD)^2}$ also, $DE=AEsin(EAD)$ and $BF=AFsin(BAF)$ on the other hand we have $BAE+EAD=90^0$










share|cite|improve this question
























  • What is your question?
    – Théophile
    Nov 23 at 19:18










  • @Théophile, prove the mentioned identity is my question.
    – soodehMehboodi
    Nov 23 at 19:20










  • Well, it's not written as a question, it's more of an order. Have you done any work on this yourself?
    – Théophile
    Nov 23 at 19:26










  • Yes I drew the shape and use some properties of bisectors also Applying Pythagorean theorem, but I did not reach to aim.
    – soodehMehboodi
    Nov 23 at 19:31










  • Good. Please add an explanation of your work so far to make it easier to answer your question.
    – Théophile
    Nov 23 at 19:32















up vote
5
down vote

favorite
2












Consider the Square $ABCD$. The point $E$ is on the side $CD$. If $F$ is on the side $BC$ such that $AF$ is the bisector of the angle $BAE$. Prove that
$$BF+DE=AE.$$
By Pythagorean theorem we have $(AD)^2+(DE)^2=(AE)^2$ then $DE=sqrt{(AE)^2-(AD)^2}$ also, $DE=AEsin(EAD)$ and $BF=AFsin(BAF)$ on the other hand we have $BAE+EAD=90^0$










share|cite|improve this question
























  • What is your question?
    – Théophile
    Nov 23 at 19:18










  • @Théophile, prove the mentioned identity is my question.
    – soodehMehboodi
    Nov 23 at 19:20










  • Well, it's not written as a question, it's more of an order. Have you done any work on this yourself?
    – Théophile
    Nov 23 at 19:26










  • Yes I drew the shape and use some properties of bisectors also Applying Pythagorean theorem, but I did not reach to aim.
    – soodehMehboodi
    Nov 23 at 19:31










  • Good. Please add an explanation of your work so far to make it easier to answer your question.
    – Théophile
    Nov 23 at 19:32













up vote
5
down vote

favorite
2









up vote
5
down vote

favorite
2






2





Consider the Square $ABCD$. The point $E$ is on the side $CD$. If $F$ is on the side $BC$ such that $AF$ is the bisector of the angle $BAE$. Prove that
$$BF+DE=AE.$$
By Pythagorean theorem we have $(AD)^2+(DE)^2=(AE)^2$ then $DE=sqrt{(AE)^2-(AD)^2}$ also, $DE=AEsin(EAD)$ and $BF=AFsin(BAF)$ on the other hand we have $BAE+EAD=90^0$










share|cite|improve this question















Consider the Square $ABCD$. The point $E$ is on the side $CD$. If $F$ is on the side $BC$ such that $AF$ is the bisector of the angle $BAE$. Prove that
$$BF+DE=AE.$$
By Pythagorean theorem we have $(AD)^2+(DE)^2=(AE)^2$ then $DE=sqrt{(AE)^2-(AD)^2}$ also, $DE=AEsin(EAD)$ and $BF=AFsin(BAF)$ on the other hand we have $BAE+EAD=90^0$







calculus geometry area






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 23 at 19:49

























asked Nov 23 at 19:16









soodehMehboodi

52228




52228












  • What is your question?
    – Théophile
    Nov 23 at 19:18










  • @Théophile, prove the mentioned identity is my question.
    – soodehMehboodi
    Nov 23 at 19:20










  • Well, it's not written as a question, it's more of an order. Have you done any work on this yourself?
    – Théophile
    Nov 23 at 19:26










  • Yes I drew the shape and use some properties of bisectors also Applying Pythagorean theorem, but I did not reach to aim.
    – soodehMehboodi
    Nov 23 at 19:31










  • Good. Please add an explanation of your work so far to make it easier to answer your question.
    – Théophile
    Nov 23 at 19:32


















  • What is your question?
    – Théophile
    Nov 23 at 19:18










  • @Théophile, prove the mentioned identity is my question.
    – soodehMehboodi
    Nov 23 at 19:20










  • Well, it's not written as a question, it's more of an order. Have you done any work on this yourself?
    – Théophile
    Nov 23 at 19:26










  • Yes I drew the shape and use some properties of bisectors also Applying Pythagorean theorem, but I did not reach to aim.
    – soodehMehboodi
    Nov 23 at 19:31










  • Good. Please add an explanation of your work so far to make it easier to answer your question.
    – Théophile
    Nov 23 at 19:32
















What is your question?
– Théophile
Nov 23 at 19:18




What is your question?
– Théophile
Nov 23 at 19:18












@Théophile, prove the mentioned identity is my question.
– soodehMehboodi
Nov 23 at 19:20




@Théophile, prove the mentioned identity is my question.
– soodehMehboodi
Nov 23 at 19:20












Well, it's not written as a question, it's more of an order. Have you done any work on this yourself?
– Théophile
Nov 23 at 19:26




Well, it's not written as a question, it's more of an order. Have you done any work on this yourself?
– Théophile
Nov 23 at 19:26












Yes I drew the shape and use some properties of bisectors also Applying Pythagorean theorem, but I did not reach to aim.
– soodehMehboodi
Nov 23 at 19:31




Yes I drew the shape and use some properties of bisectors also Applying Pythagorean theorem, but I did not reach to aim.
– soodehMehboodi
Nov 23 at 19:31












Good. Please add an explanation of your work so far to make it easier to answer your question.
– Théophile
Nov 23 at 19:32




Good. Please add an explanation of your work so far to make it easier to answer your question.
– Théophile
Nov 23 at 19:32










2 Answers
2






active

oldest

votes

















up vote
4
down vote













Hint: Rotate the $F$ around $A$ for $90^{circ}$ (you get new point name it $H$) and $B$ goes to $D$. Note that $E,D,H$ are collinear. Now use congruence theorems. (Prove that $HE =EA$.)



enter image description here






share|cite|improve this answer






























    up vote
    3
    down vote













    Let $AB=x$ and angle $<BAF=<FAE=alpha=> DE=xtan(frac{pi}{2}-2alpha),; BF=xtanalpha=>$
    $$
    \BF+DE=x(tan(frac{pi}{2}-2alpha)+tanalpha)=x(cot2alpha+tanalpha)
    \AE=frac{x}{cos(frac{pi}{2}-2alpha)}=frac{x}{sin2alpha}
    \BF+DE=AE<=>cot2alpha+tanalpha=frac{1}{sin2alpha}<=>
    \cos2alpha=1-2sin^2alpha
    $$






    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',
      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%2f3010728%2fin-the-square-abcd-prove-that-bfde-ae%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
      4
      down vote













      Hint: Rotate the $F$ around $A$ for $90^{circ}$ (you get new point name it $H$) and $B$ goes to $D$. Note that $E,D,H$ are collinear. Now use congruence theorems. (Prove that $HE =EA$.)



      enter image description here






      share|cite|improve this answer



























        up vote
        4
        down vote













        Hint: Rotate the $F$ around $A$ for $90^{circ}$ (you get new point name it $H$) and $B$ goes to $D$. Note that $E,D,H$ are collinear. Now use congruence theorems. (Prove that $HE =EA$.)



        enter image description here






        share|cite|improve this answer

























          up vote
          4
          down vote










          up vote
          4
          down vote









          Hint: Rotate the $F$ around $A$ for $90^{circ}$ (you get new point name it $H$) and $B$ goes to $D$. Note that $E,D,H$ are collinear. Now use congruence theorems. (Prove that $HE =EA$.)



          enter image description here






          share|cite|improve this answer














          Hint: Rotate the $F$ around $A$ for $90^{circ}$ (you get new point name it $H$) and $B$ goes to $D$. Note that $E,D,H$ are collinear. Now use congruence theorems. (Prove that $HE =EA$.)



          enter image description here







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Nov 23 at 20:02

























          answered Nov 23 at 19:53









          greedoid

          36.7k114593




          36.7k114593






















              up vote
              3
              down vote













              Let $AB=x$ and angle $<BAF=<FAE=alpha=> DE=xtan(frac{pi}{2}-2alpha),; BF=xtanalpha=>$
              $$
              \BF+DE=x(tan(frac{pi}{2}-2alpha)+tanalpha)=x(cot2alpha+tanalpha)
              \AE=frac{x}{cos(frac{pi}{2}-2alpha)}=frac{x}{sin2alpha}
              \BF+DE=AE<=>cot2alpha+tanalpha=frac{1}{sin2alpha}<=>
              \cos2alpha=1-2sin^2alpha
              $$






              share|cite|improve this answer

























                up vote
                3
                down vote













                Let $AB=x$ and angle $<BAF=<FAE=alpha=> DE=xtan(frac{pi}{2}-2alpha),; BF=xtanalpha=>$
                $$
                \BF+DE=x(tan(frac{pi}{2}-2alpha)+tanalpha)=x(cot2alpha+tanalpha)
                \AE=frac{x}{cos(frac{pi}{2}-2alpha)}=frac{x}{sin2alpha}
                \BF+DE=AE<=>cot2alpha+tanalpha=frac{1}{sin2alpha}<=>
                \cos2alpha=1-2sin^2alpha
                $$






                share|cite|improve this answer























                  up vote
                  3
                  down vote










                  up vote
                  3
                  down vote









                  Let $AB=x$ and angle $<BAF=<FAE=alpha=> DE=xtan(frac{pi}{2}-2alpha),; BF=xtanalpha=>$
                  $$
                  \BF+DE=x(tan(frac{pi}{2}-2alpha)+tanalpha)=x(cot2alpha+tanalpha)
                  \AE=frac{x}{cos(frac{pi}{2}-2alpha)}=frac{x}{sin2alpha}
                  \BF+DE=AE<=>cot2alpha+tanalpha=frac{1}{sin2alpha}<=>
                  \cos2alpha=1-2sin^2alpha
                  $$






                  share|cite|improve this answer












                  Let $AB=x$ and angle $<BAF=<FAE=alpha=> DE=xtan(frac{pi}{2}-2alpha),; BF=xtanalpha=>$
                  $$
                  \BF+DE=x(tan(frac{pi}{2}-2alpha)+tanalpha)=x(cot2alpha+tanalpha)
                  \AE=frac{x}{cos(frac{pi}{2}-2alpha)}=frac{x}{sin2alpha}
                  \BF+DE=AE<=>cot2alpha+tanalpha=frac{1}{sin2alpha}<=>
                  \cos2alpha=1-2sin^2alpha
                  $$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 23 at 19:53









                  Samvel Safaryan

                  511111




                  511111






























                      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%2f3010728%2fin-the-square-abcd-prove-that-bfde-ae%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

                      Le Mesnil-Réaume

                      Ida-Boy-Ed-Garten

                      web3.py web3.isConnected() returns false always