Basic Proof Writing Help continued.

[Keen94]

Homework Statement

Given a series of mathematical statements, some of which are true and some of which are false.
Prove ∀_x: 3x²-5x-2=(3x+1)(x-2)

Homework Equations

∀_x(p_x→q_x)

The Attempt at a Solution

Statement: ∀_x: 3x²-5x-2=(3x+1)(x-2)
∀_x{x∈ℝ I 3x²-5x-2=(3x+1)(x-2)}
(1) Assume 3x²-5x-2 is true [Hypothesis]
(2) 3x²-5x-2 has two real roots. [Some Definition "?"]
(3) (3x+1)(x-2) =3x²-5x-2
=(3x+1)(x-2)
Therefore 3x²-5x-2=(3x+1)(x-2) for all x by definition "?".

What definition would I be using? Is this the right way to go about this proof? Should I be cataloging definitions and previously proved theorems?

 

[Mark44]

Homework Statement

Given a series of mathematical statements, some of which are true and some of which are false.
Prove ∀_x: 3x²-5x-2=(3x+1)(x-2)

Homework Equations

∀_x(p_x→q_x)

The Attempt at a Solution

Statement: ∀_x: 3x²-5x-2=(3x+1)(x-2)
∀_x{x∈ℝ I 3x²-5x-2=(3x+1)(x-2)}
(1) Assume 3x²-5x-2 is true [Hypothesis]

No. 3x² - 5x - 2 is an expression, not a statement. Expressions have values, but "true" and "false" are not possible values. A statement, such as an equation or inequality or a sentence such as "I have three cats." can be true or false.

The hypothesis here is "x is a real number."
The conclusion is $3x^2 - 5x - 2 = (3x + 1)(x - 2)$.
The = symbol here is really $\equiv$, since you are showing that the statement is identically true (for all real x), not just true for a small handful of value of x.

(2) 3x²-5x-2 has two real roots. [Some Definition "?"]

Technically, no. The equation $3x^2 - 5x - 2 = 0$ has two real roots, but I think you're heading down the wrong track here.
It seems to me that one could prove this by expanding (i.e., multiplying out) the right side.

(3) (3x+1)(x-2) =3x²-5x-2
=(3x+1)(x-2)

The above looks to me like you are proving that (3x + 1)(x - 2) is equal to itself, which is certainly true, but a trivial result.

Therefore 3x²-5x-2=(3x+1)(x-2) for all x by definition "?".

What definition would I be using? Is this the right way to go about this proof? Should I be cataloging definitions and previously proved theorems?

 

[Keen94]

No. 3x² - 5x - 2 is an expression, not a statement. Expressions have values, but "true" and "false" are not possible values. A statement, such as an equation or inequality or a sentence such as "I have three cats." can be true or false.

The hypothesis here is "x is a real number."
The conclusion is $3x^2 - 5x - 2 = (3x + 1)(x - 2)$.
The = symbol here is really $\equiv$, since you are showing that the statement is identically true (for all real x), not just true for a small handful of value of x.
Technically, no. The equation $3x^2 - 5x - 2 = 0$ has two real roots, but I think you're heading down the wrong track here.
It seems to me that one could prove this by expanding (i.e., multiplying out) the right side.The above looks to me like you are proving that (3x + 1)(x - 2) is equal to itself, which is certainly true, but a trivial result.

Hmmm... I can see this is a tautology involving two expressions. Does this really boil down to showing the LHS is equal to the RHS as you mentioned? Because I don't see any other way to do this since it is an equivalence between two expressions.

 

[Keen94]

***update***
∀_x: 3x²-5x-2=(3x+1)(x-2)

If x is a real number, then for all x, 3x²-5x-2=(3x+1)(x-2)
(1) Assume U=ℝ
(2) Let x∈ℝ
(3) 3x²-5x-2=(3x+1)(x-2)
=3x²-6x+x-2
=3x²-5x-2
Therefore 3x²-5x-2=(3x+1)(x-2) for all x, where x∈ℝ.

 

[Keen94]

In contrast to the following.
The sum of the roots of: x²+5x+4=0 is equal to 5.
(1) Let U=ℝ and x∈ℝ. Assume ∃_x{x I x²+5x+4=0}
(2) x²+5x+4=0 has real roots, a and b, for which a+b=5.
(3) 0=x²+5x+4
0=(a+4)(b+1)
0=a+4 or 0=b+1
a=-4 or b=-1
a+b=5
(-4)+(-1)=5
-5≠5
Therefore it is false that the sum of the roots of x²+5x+4=0 is 5.

 

[HallsofIvy]

I would think that the simplest proof that x^2+ 5x+ 4= (x- 4)(x- 1) would be to
start from (x- 4)(x- 1) and show that it results in x^2+ 5x+ 4.
Start with (x- 4)(x- 1)= x(x- 1)- 4(x- 1) (distributive law)
and continue from there.

 

[Mark44]

In contrast to the following.
The sum of the roots of: x²+5x+4=0 is equal to 5.
(1) Let U=ℝ and x∈ℝ. Assume ∃_x{x I x²+5x+4=0}
(2) x²+5x+4=0 has real roots, a and b, for which a+b=5.
(3) 0=x²+5x+4
0=(a+4)(b+1)

No, the variable is x.

0=a+4 or 0=b+1
a=-4 or b=-1
a+b=5
(-4)+(-1)=5
-5≠5
Therefore it is false that the sum of the roots of x²+5x+4=0 is 5.

Your conclusion is correct, but you are trying to make the work you show fit into a "one size fits all" pattern.

The statement here is that the roots of the given quadratic equation add up to 5. All you need to do is to find the two roots, using factorization (which you did, sort of) or the quadratic formula. Unless your teacher is unusually pedantic, all of this "Let U=ℝ and x∈ℝ. Assume ∃_x{x I x²+5x+4=0}" is completely unnecessary.

Statement: The sum of the roots of: x²+5x+4=0 is equal to 5.

Find roots:
$x^2 + 5x + 4 = 0$
$\Leftrightarrow (x + 4)(x + 1) = 0$
$\Leftrightarrow x = -4 \text{ or } x = -1$
The two roots of the equation add to -5, so we conclude that the statement is false.

 

[Keen94]

wow, so much simpler. Thanks again for the help guys.