Ask your own question, for FREE!
Mathematics 19 Online
OpenStudy (anonymous):

Prove If x>y and y>z then x>z

OpenStudy (zzr0ck3r):

prove transativity..

OpenStudy (lgbasallote):

x > y y> z you can substitute y > z into y => x > z

OpenStudy (zzr0ck3r):

not sure if that is a proof...but looks good:)

OpenStudy (lgbasallote):

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

OpenStudy (lgbasallote):

does that make sense?

ganeshie8 (ganeshie8):

x > y and y > z by transitive property of inequality x > z

OpenStudy (anonymous):

thanks @lgbasallote! it does

OpenStudy (zzr0ck3r):

hehe @ganeshie8 I think you defined something with its own deffinition

OpenStudy (zzr0ck3r):

as in u of o ducks? @iheartducks ?

OpenStudy (zzr0ck3r):

hit enter @ParthKohli I want to see what you are saying:)

Parth (parthkohli):

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\).

Parth (parthkohli):

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.

OpenStudy (zzr0ck3r):

yeah its easy to see its true, but proofs of easy things are not easy:) prove 1+1 = 2

Parth (parthkohli):

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\]

OpenStudy (anonymous):

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!

Parth (parthkohli):

It's a work of intuition. If either of \(n_1\) or \(n_2\) were negative, then the proof would not have been valid.

Parth (parthkohli):

@iheartducks Remember, you can't just "assume" things in proofs ;)

OpenStudy (zzr0ck3r):

depends on the proof actually, we assume things in most proofs. you assumed something on the last line.

Parth (parthkohli):

Where exactly?

OpenStudy (anonymous):

indeed. proofs tends to be assumptions at times

Parth (parthkohli):

It's more like a postulate, actually. If a number \(x\) is greater than \(y\), then \(x = y + \text{some positive number}\)

OpenStudy (anonymous):

u of o ducks? lol nah i just like the animal.

Parth (parthkohli):

completely like \[y\propto x \implies y = kx \]

OpenStudy (anonymous):

whats that :/

OpenStudy (anonymous):

is it that proportional thingy?

Parth (parthkohli):

Yes, it is.

Parth (parthkohli):

:)

OpenStudy (zzr0ck3r):

yes but transitivity is a prostulate of which you just proved

OpenStudy (zzr0ck3r):

order axioms

Parth (parthkohli):

Yes, and that is done through even more simple axioms.

OpenStudy (zzr0ck3r):

but they all can be proved...

OpenStudy (zzr0ck3r):

the proof for 1+1 = 2 is 380ish pages

Parth (parthkohli):

The ugliest proof is for Fermat's Last Theorem.

OpenStudy (zzr0ck3r):

ha, yeah and it is really more about proving something else..its about proving that japanese dude that killed himself work

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!