Is this direct proof of an inequality wrong?

The problem is that you did not state that those are equivalences (usually denoted by $\iff$) between your lines. And you do not even need the equivalences, you only need the implicatiosn from the bottom to the top, so you should perhaps write your proof "upside down".

The way your proof is presented right now makes it look like the top implies the bottom. (Which it does) but that doesn't mean that the bottom implies the top. So I'd write down:


For any positiv integer $n$ the following inequality obviously holds:

$$2n > n$$

This implies $$n^2-n^2+2n > n^2-n^2+n$$

etc.


Notice that this is also the way you'd want to read your proof so that people understand it. And it is important to realize that this is not necessarly the way you found the proof.

Whenever you find a proof somewhere you can be quite sure that the way it is presented to you has nothing to do with how the one who proved it found the proof. It is really just written down nicely in order for the reader to be able to nicely follow the chain of arguments.

But don't worry, writing "nice" proofs does take a while at the beginning of your math career=)

Regarding the comment: You could prove the inequality by contradicion, e.g. suppose that the inequality does not hold, and then find a contradiction, but this is not necessary here.


EDIT: It seems to me that you are unfamiliar with the concept of logical implications. If two mathematical statements $A,B$ (e.g. equations, inequalities etc.) mean the same thing, they are called equivalent, denoted by the bidirectional double arrow. $$A \iff B$$

Example: Let $x$ be a real number. Then following equivalence holds: $$x -5 = 0 \iff x = 5$$

But if $A$ only hold if $B$ holds, then we say $A$ implies $B$ or alternatively, "if $A$ holds then $B$ must hold too." This is denoted by a simple doublearrow: $$A \implies B$$

Example: Let $x$ be a real number. Then following implication holds:

$$x = 5 \implies x^2 = 25$$ But "the other way around" is not necessarily true, as the right statement is also true for $x=-5$ but not the left one.


Your proof doesn't work because concluding a true statement is irrelevant. A proof by contradiction works because a true premise only yields true results, therefore if you get a false result your premise had to be false.

It doesn't work the other way. Both true and false premises can yield true results so getting a true result yields nothing.

Consider this proof that 5=-5. Asume 5 = -5 then $5^2=(-5)^2 \implies 25=25\implies 0=0$ As 0=0, this is true.

Well, so what? That doesn't mean our first comment was true.

Your professor made 3 good comments. Heed them.


The many answers here correctly point out your error - you are working backwards. You seem to have trouble understanding those answers. Take comfort in the fact that you're not alone. Many students struggle with this problem.

Here's a critique of your argument that may help you (it's essentially a rewording of @flawr 's accepted answer).

The first line of your proof is

Observe, $\frac{n}{n+1} > \frac{n}{n+2}$

That asks your reader to

Observe ... THE VERY THING YOU ARE TRYING TO PROVE

Well if it were easy to observe then you wouldn't have to prove it. You need an argument that starts from something easy to observe and proceeds logically to the conclusion you want. So begin

Observe that $2n > n$ (since $n$ is a positive integer)

and then use your algebraic skills to get to what you want to convince your reader must be true.

PS In third grade kids learn that it's easy to compare fractions with the same numerator: the smaller the denominator the larger the fraction since the pie is cut into fewer hence bigger pieces. But your instructor would probably not accept that as a proof ... The question would have been more interesting if it asked you to compare $\frac{n}{n+1}$ to $\frac{n+1}{n+2}$.