2
$\begingroup$

Basically what I need is to know if this proof is correct

what I need to prove is:
if $a^3 > a $ then $a^5>a$ so, what i did was this:
$a^3 a^2 > a a^2$
$a^5 > a^3$
because $a^5>a^3$ I can say that $a^5>a$

EDIT: $a,b \in \mathbb{R}$, sorry I totally forgot to write it

  • 0
    It would be good to specify the context: Do you want$a$proof for the case that $a$ is a real number? Do you want it for the case of arbitrary [ordered fields](http://en.wikipedia.org/wiki/Ordered_field)? If it's not the latter, tagging [tag:abstract-algebra] is perhaps not the most suitable tag. I guess [tag:algebra-precalculus] or [tag:inequality] would be better. \\ This in fact doesn't really matter to the way it's proved, but I think it's good to state your assumptions whenever you post a question.2012-01-11

3 Answers 3

5

Looks ok to me. Since $a^2$ is positive no matter what, it doesn't change the sense of the inequality. And then you simply deduced from the fact $a^5 > a^3$ and $a^3 > a$ then $a^5 > a$. Looks ok to me. And it also seems kind of obvious that the answer is yes.

  • 0
    Yes, you are right. Now that I think of it, it implies that$a$is different than 0 and a > -1.2012-01-11
0

To clarify this proof further, I would additionally say, given $a^3 > a$, that $a \ne 0$ and also that $a^2 \gt 0$. This justifies the algebraic step of multiplying both sides of the inequality by $a^2$.

EDIT: This answer is completely different from my original one which was all wrong as pointed out by Henry.

  • 0
    @Henry, indeed. The other answer nailed it, actually. I'll delete this so as not to sow confusion once I recover from my embarrassment...2012-01-11
0

How do you deduce $a^3a^2>aa^2$? You have to assume that $a^2>0$. You should either:

  • separately consider the case $a=0$ (where of course 0^3\not>0), or
  • just deduce $a^3a^3 \geq aa^2$ (since $a^2\geq 0$) so $a^5\geq a^3 > a$.
  • 0
    But your solution should note that case anyway, that is how to make a complete proof.2012-01-11