Prove If x>y and y>z then x>z
prove transativity..
x > y y> z you can substitute y > z into y => x > z
not sure if that is a proof...but looks good:)
you can also do this... rewrite x > y as y < x y < x y > z multiply -1 to first equation -y > -x y > z add the two equations 0 > -x + z add x to both sides x > z
does that make sense?
x > y and y > z by transitive property of inequality x > z
thanks @lgbasallote! it does
hehe @ganeshie8 I think you defined something with its own deffinition
as in u of o ducks? @iheartducks ?
hit enter @ParthKohli I want to see what you are saying:)
If \(x >y\), then \(x - n_1 = y\). If \(y>z\), then \(z +n_2 = y\). Note that \(n_1\) and \(n_2\) are POSITIVE. Substituting,\[x - n_1 > z + n_2\]Add n1 to both.\[x > z + n_2 + n_1\]Since \(x\) is greater than the sum of \(z\) and two positive numbers, we already know that \(x>z\).
Think about it. If a number is greater than another number + positive number 1 + positive number 2, then the number is greater than the other number ALWAYS.
yeah its easy to see its true, but proofs of easy things are not easy:) prove 1+1 = 2
I'd like some examples with that:\[\large\underbrace{6}_x>\underbrace{2}_z + \underbrace1_{n_1} + \underbrace2_{n_2}\]\[\implies \underbrace6_x > \underbrace2_z\]
I KNOW its true, i just have difficulty proving it. I can't exactly just plug in numbers. I have to assume my students dont understand anything AT ALL. Thanks for having my back @zzr0ck3r. But @ParthKohli your response helped a lot too. Thanks everyone!
It's a work of intuition. If either of \(n_1\) or \(n_2\) were negative, then the proof would not have been valid.
@iheartducks Remember, you can't just "assume" things in proofs ;)
depends on the proof actually, we assume things in most proofs. you assumed something on the last line.
Where exactly?
indeed. proofs tends to be assumptions at times
It's more like a postulate, actually. If a number \(x\) is greater than \(y\), then \(x = y + \text{some positive number}\)
u of o ducks? lol nah i just like the animal.
completely like \[y\propto x \implies y = kx \]
whats that :/
is it that proportional thingy?
Yes, it is.
:)
yes but transitivity is a prostulate of which you just proved
order axioms
Yes, and that is done through even more simple axioms.
but they all can be proved...
the proof for 1+1 = 2 is 380ish pages
The ugliest proof is for Fermat's Last Theorem.
ha, yeah and it is really more about proving something else..its about proving that japanese dude that killed himself work
Join our real-time social learning platform and learn together with your friends!