0
$\begingroup$

I managed to prove this using a direct proof but my prof suggested I try proving it using the contrapositive. Here's what I have so far:

Contrapositive: $(x \le 0) \lor (x \ge 1) \Rightarrow x^4 + 2x^2 - 2x \ge 0$

Splitting this into two, ($P_1 \Rightarrow Q)\land(P_2 \Rightarrow Q)$:

$$x \ge 1 \Rightarrow x^4 + 2x^2 - 2x \ge 0$$

1- $x \ge 1 \Rightarrow [x^4 \ge 1, 2x^2 \ge 2, -2x \ge -2]$

2- $x^4 + 2x^2 - 2x \ge 1 + 2 -2$

3- $x^4 + 2x^2 - 2x \ge 1$

Ok, that was easy enough... but here's where my brain gets stuck.

$$x \le 0 \Rightarrow x^4 + 2x^2 - 2x \ge 0$$

Where should I begin here? In my direct proof I started with the equation and worked towards the x value. I am not sure how to go about proving it the other way. Any help is appreciated.

$\endgroup$
  • $\begingroup$ $x\geq1 \implies -2x\leq-2,$ so you got that bit the wrong way around. $\endgroup$ – David K Jan 24 '18 at 1:57
  • $\begingroup$ I totally did. Thank you. $\endgroup$ – Amanda Christine Jan 24 '18 at 2:05
  • $\begingroup$ It's a good exercise, though. Your direct proof may have been fine, but I find it helps understanding when I can prove the same thing in more than one way. $\endgroup$ – David K Jan 24 '18 at 2:10
  • $\begingroup$ See if you can do $x^4 + 2 x^2 - 3 x$ $\endgroup$ – Will Jagy Jan 24 '18 at 2:48
0
$\begingroup$

Remember that when you multiply both sides of an inequality by a negative number, the direction of the inequality is reversed.

The second part of your proof is actually the easier part. First, $x^2 \geq 0$ for every real number $x,$ and likewise $x^4 \geq 0.$ So $x \leq 0 \implies x^4 + 2x^2 \geq 0$ (the right-hand side of the implication is true, therefore the implication is true). Next, $x \leq 0 \implies -2x \geq 0$ (multiplying by a negative number reverses the implication). Putting them together, $x \leq 0 \implies x^4 + 2x^2 - 2x\geq 0.$

Your proof for the first half goes wrong due to the same fact about multiplication by a negative number: $x \geq 1 \implies -2x \leq -2.$ But if you plot $x^2 - x$ you may notice that it's never negative when $x \geq 1.$ If you prove that fact, can you see how to build on that to get the rest of the proof?

$\endgroup$
  • $\begingroup$ This has been really helpful, thank you. I think what you're implying with $x^2 - x$ is that it factors to $x(x-1)$, which I can see why that would always be positive for $ x \ge 1$. You have given me something to think about. With the direct proof, I began by factoring the equation as Browning had mentioned. I was unsure if I could do that in this scenario, as I didn't think it was working from the premise towards the implication (very new to this as you can probably tell). $\endgroup$ – Amanda Christine Jan 24 '18 at 2:57
0
$\begingroup$

As David K commented, you need to rework the first part.

For the second part, it helps to factor. We assume $x \le 0$ and want to show that $x^4 + 2x^2 - 2x \ge 0$; i.e. that $x(x^3 + 2x - 2) \ge 0$. It is easy to explain why each factor is negative.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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