1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Another proof: x^2 + xy +y^2 > 0

  1. Sep 17, 2009 #1
    Hello again, I have another proof that I can't figure out how to solve.

    1. The problem statement, all variables and given/known data

    [tex]
    \text{Prove that if }\textit{x }\text{and }\textit{y }\text{are not both 0, then}
    \begin{equation*}
    x^2+xy+y^2>0\tag{1}
    \end{equation*}
    [/tex]

    2. Relevant equations

    N/A

    3. The attempt at a solution

    Not sure if I'm on the right track here...

    [tex]
    \text{Assume (1) is true:}
    \begin{align*}
    x^2+xy+y^2 &> 0\\
    x^2 +2xy + y^2 &> xy\\
    (x+y)^2 &> xy\\
    \end{align*}
    [/tex]

    ...not sure where to go from here.
     
  2. jcsd
  3. Sep 17, 2009 #2

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    I would say to look for the extrema of f(x,y)=x^2+xy+y^2. Find df/dx and df/dy and set them equal to zero and solve for x and y. Can you classify that as a min or a max or neither?
     
  4. Sep 17, 2009 #3

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    (x+y)2 = x2 + 2xy + y2 >= 0 You know that already

    So

    x2 + xy + y2 >= -xy

    If x and y are both positive, the result is trivial. If x and y are both negative, the result is also trivial. (in both cases, each term in the summation is positive). When one of x or y is negative, -xy becomes positive. So what can you say?
     
  5. Sep 17, 2009 #4
    Okay, here's another attempt.

    [tex]
    \begin{align*}
    x^3 - y^3 &= (x-y)(x^2+xy+y^2)\\
    \frac{x^3 - y^3}{x-y} &= x^2+xy+y^2 \tag{1}\\
    \end{align*}
    \begin{align*}
    x^2 + xy + y^2 &> 0\\
    \frac{x^3 - y^3}{x-y} &> 0 \tag{2}
    \end{align*}
    \text{(2) is true for }
    \begin{math}x<y\end{math}
    \text{, }
    \begin{math}x>y\end{math}
    \text{,}
    \begin{math}x, y \in \mathbb{R}.\end{math}\\
    \\
    \text{For }
    \begin{math}x=y\end{math}
    \text{:}
    \begin{align*}
    x^2+xy+y^2 &> 0\\
    x^2 + x^2 + x^2 &> 0\\
    3x^2 &> 0\tag{3}
    \end{align*}
    \text{(3)} is true for all
    \begin{math}x, y \in \mathbb{R}.\end{math}
    [/tex]
     
  6. Sep 17, 2009 #5
    When one of x or y is negative, the LHS will be greater than a positive number and therefore greater than zero?
     
  7. Sep 17, 2009 #6
    a worse idea for a proof used to live here.
     
    Last edited: Sep 18, 2009
  8. Sep 17, 2009 #7
    Thank you all!
     
  9. Sep 18, 2009 #8

    VietDao29

    User Avatar
    Homework Helper

    Well, I think you guys are complicating things a little bit here. :rolleyes:

    We can use the idea of completing squares to solve this problem. It goes like this:

    [tex]x ^ 2 + xy + y ^ 2 = \left[ x ^ 2 + 2 x \left( \frac{1}{2} y \right) + \left( \frac{1}{2}y \right) ^ 2 \right] + \frac{3}{4} y ^ 2[/tex]

    I'm almost spilling out the answer. Since the OP has already had his own solution, this is just another way to tackle the problem.

    So, what left is to determine when the equation holds. :)
     
  10. Sep 18, 2009 #9
    There is much easier way to do it:

    [tex]x^2+xy+y^2=(x+y/2)^2-y^2/4+y^2=(x+y/2)^2+3/4(y^2)=(x+y/2)^2+(\frac{y\sqrt{3}}{2})^2[/tex]

    Now

    [tex](x+y/2)^2 + (\frac{y\sqrt{3}}{2})^2 \geq 0 [/tex]
     
  11. Sep 18, 2009 #10
    could you show your work please?

    thanks
     
  12. Sep 18, 2009 #11
    :smile: I've already showed it.

    if a2 [itex]\geq[/itex] 0 and b2 [itex]\geq[/itex] 0 then a2+b2[itex]\geq[/itex] 0
     
  13. Sep 18, 2009 #12
    never mind, it was just from completing the square from above (I only skimmed through the thread sorry)
     
  14. Sep 18, 2009 #13
    applause

    wow, that's so concise
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Another proof: x^2 + xy +y^2 > 0
Loading...