Re: Proof by contradiction.

Quote:

Originally Posted by

**Aquameatwad** Someone PLEASE help me!

I'm trying to write a contradiction to the statement:

**If three positive real numbers x,y,z are chose between 0 and 1 with 0<x<y<z<1, then the distance from x to y is less than .5 or the distance from y to z is less than .5.**

I belive it is:

**If three positive real numbers x,y,z are chose between 0 and 1 with0<x<y<z<1, then the distance from x to y is not less than .5 and thedistance from y to z is not less than .5.**

But my teacher tells me this is wrong.

I suggest you review your terminology. What you have given is not (even close to) a proof. All you've done is write the negation of the original statement.

To prove a statement by contradiction, you need to write the negation of your original statement, then go through a series of logical steps to arrive at a contradiction. This shows that the negation is false, and therefore that the original statement is true.

Re: Proof by contradiction.

That is what i am trying to do, is just find the correct statement. i have not proved it yet.

Re: Proof by contradiction.

the way i want to prove it, is if the distance from x to y is not less than .5 and the distance from y to z is not less than .5.

then we assume z - y >= 0.5 and y - x > =0.5. Adding the two we get z - x >= 1, which is impossible for two numbers between 0 and 1. I guess im confused as to what kind of proof im actually using

Re: Proof by contradiction.

Re: Proof by contradiction.

all right, so what would be my statement? Since my teacher keeps telling my contradiction statement is wrong.

Re: Proof by contradiction.

Am i even using proof by contradiction?

Re: Proof by contradiction.

Quote:

Originally Posted by

**Aquameatwad** Am i even using proof by contradiction?

I don't see any problem with the statement of the negation.

Re: Proof by contradiction.

So its proof by negation?... Is that valid?

Re: Proof by contradiction.

Quote:

Originally Posted by

**Aquameatwad** So its proof by negation?... Is that valid?

I suggest you reread Post 2.

Re: Proof by contradiction.

Then why does my teacher tell me its wrong?!?!

Re: Proof by contradiction.

Quote:

Originally Posted by

**Aquameatwad** I'm trying to write a contradiction to the statement:

**If three positive real numbers x,y,z are chose between 0 and 1 with 0<x<y<z<1, then the distance from x to y is less than .5 or the distance from y to z is less than .5.**

I belive it is:

**If three positive real numbers x,y,z are chose between 0 and 1 with0<x<y<z<1, then the distance from x to y is not less than .5 and thedistance from y to z is not less than .5.**

You forgot to change the universal quantification to existential quantification.

Re: Proof by contradiction.

So my statement

If positive real numbers x,y,z are chosen between 0 and 1 with 0<x<y<z<1, then the distance from x to y is less than .5 or the distance from y to z is less than .5**.**

Then i have the statement P then Q where Q=(q1 **v **q2)

P= Positive real numbers x,y,z between 0 and 1 with 0<x<y<z<1

Q = (q1=the distance from x to y is less than .5) **v** (q2=the distance from y to z is less than .5**)**

Okay so now i use contradiction to prove it

The statement then must turn into P and ~Q ( P and not Q)

So

Positive real numbers x,y,z are between 0 and 1 with 0<x<y<z<1, AND the distance from x to y is not less than .5 and the distance from y to z is not less than .5

Then the statement can be written as :

Positive real numbers x,y,z are chosen between 0 and 1 with 0<x<y<z<1, AND the distance from x to y is greater than or equal to .5 and the distance from y to z is greater than or equal to .5**.**

This doesn't sound right to me

Re: Proof by contradiction.

Should my statement be written as:

If Real numbers x,y,z are 0<x<y<z1, then the distance from x to y is less than .5 or the distance from y to z is less than .5.

The contradiction is then

Real numbers x,y,z are 0<x<y<z1, AND the distance from x to y is greater than or equal to .5 and the distance from y to z is greater than or equal to .5.

What do you think?

Re: Proof by contradiction.

Quote:

Originally Posted by

**Aquameatwad** Should my statement be written as:

If Real numbers x,y,z are 0<x<y<z1, then the distance from x to y is less than .5 or the distance from y to z is less than .5.

The negation of that statement is:

That exist three numbers such .