Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This is probably really easy for all of you, but my question is how do I prove that $x^2 + 5xy+7y^2 > 0$ for all $x,y\in\mathbb{R}$

Thanks for the help!

share|improve this question

5 Answers

up vote 8 down vote accepted

$$x^2+5xy+7y^2=\left(x+\frac{5y}2\right)^2 + \frac{3y^2}4\ge 0$$ (not $>0$ as $x=y=0$ leads to 0).

share|improve this answer

You can’t prove that it’s always greater than $0$, because when $x=y=0$ it is $0$, but you can prove that it’s always greater than or equal to $0$ by completing the square:

$$x^2+5xy+7y^2=\left(x+\frac{5y}2\right)^2+\frac34y^2\;.$$

Since square are always at least $0$, so is their sum.

share|improve this answer
Completing the square is a classic technique. There is some interesting theory about whether positive definite forms of various kinds can be expressed as the sum of squares. This is a simple case. – Mark Bennet Sep 9 '12 at 20:38

Another possibility is to note that the quadratic form is represented by the matrix

$$ \begin{pmatrix} 1 & 2.5 \\ 2.5 & 7\end{pmatrix} $$ The claim follows from the fact that its eigenvalues are both positive, so that the matrix is positive definite.

share|improve this answer
Another approach differing from the usual "complete the square" approach. – robjohn Sep 9 '12 at 20:55

Using A.M.-G.M. inequality, $$x^2 + 7y^2 \geq 2 \sqrt{x^2 7 y^2} = 2 \sqrt 7 |x|\cdot |y| \geq 5 |x| \cdot |y| \geq -5 xy \implies x^2 + 5 xy + 7y^2 \geq 0$$

share|improve this answer
It's nice to see something different than the usual "complete the square" approach. – robjohn Sep 9 '12 at 20:54
thanks ... these days trying to work with inequalities – experimentX Sep 9 '12 at 20:59

Another approach, playing a little with algebra-geometry: as $\,x\neq 0\,\,or\,\,y\neq 0\,$ , since otherwise, as others pointed out, you have equality to zero, assume $\,y\neq 0\,$ and look at the expression as quadratic (= a parabola) in $\,x\,$ :

$$x^2+(5y)x+7y^2\Longrightarrow \Delta:=b^2-4ac=25y^2-28y^2=-3y^2< 0$$

Thus, the quadratic keeps one single sign all the time (otherwise the parabola would intersect the x-axis), and since at $\,x=0\,$ we get the value $\,7y^2>0\,$ we have then that the expression is always positive (i.e., the parabola is always over the x-axis)

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.