1

For each value for $a$ and $b$, being real numbers, $a^2 + b^2 \ge ab$

Should I solve this by replacing all possible real number formulas in these to be able to prove this? As an example for odd numbers, by replacing $2x + 1$, etc...?

JOUA
  • 203

2 Answers2

7

Try to write it as $a^2+b^2-ab=\frac{2a^2+2b^2-2ab}{2}=\frac{a^2+b^2+(a-b)^2}{2}$. Now all three terms are $\geq 0$, so you get $a^2+b^2\geq ab$.

Anurag A
  • 41,067
1

Alternative:

Either $(a \times b)$ is negative, or it isn't.

$\underline{\text{Case 1:} ~(a \times b) ~\text{is negative}}$

Then, $a^2 + b^2 \geq 0 > (a \times b).$

$\underline{\text{Case 2:} ~(a \times b) ~\text{is not negative}}$

Then $2(a \times b) \geq (a \times b).$
Further, since $(a - b)^2 \geq 0$ you have that
$a^2 + b^2 \geq 2(a \times b) \geq (a \times b).$

user2661923
  • 35,619
  • 3
  • 17
  • 39
  • 1
    Stylistically ,I find it odd using $\times$ for regular multiplication, even though it had its origins there! – Alan Jul 15 '21 at 00:16
  • @Alan I took literary license, thinking that $(a \times b)$ results in a more emphatic exposition than $(ab)$. – user2661923 Jul 15 '21 at 00:18
  • I usually use \cdot $\cdot$ when I want to emphasize the multiplication operator – Alan Jul 15 '21 at 00:19