Prove Existence of Real Number

  • Thread starter Thread starter knowLittle
  • Start date Start date
  • Tags Tags
    Existence
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
10 replies · 2K views
knowLittle
Messages
307
Reaction score
3

Homework Statement


a.) Prove ## \exists x, x \in \mathbb{R} | x^3 -x^2 = 5##
I know that x = 2.1163, but how do I find this without a calculator?

b.) Prove that ## \not \exists x, x \in \mathbb{R} | x^4 - 2x^2 +2 =0##

The Attempt at a Solution


x^2 ( x-1 )=5 for part a)? =====================
b.)
I find it easier. If x =0, then it's false.
## x^2 ( x^2 -2 )+2 = 0 \\ x^2 \geq 0 \\ x =1 \vee -1 \\ 1(-1) +2 =1 \neq 0 ##
Then since x is only greater than 1, it is false that x exists that satisfies the equation.

What do you think?
 
Last edited:
Physics news on Phys.org
knowLittle said:
I know that x = 2.1163, but how do I find this without a calculator?
You're not asked to find its value, only to prove such a number exists.
b.)
I find it easier. If x =0, then it's false.
## x^2 ( x^2 -2 )+2 = 0 \\ x^2 \geq 0 \\ x =1 \vee -1 \\ 1(-1) +2 =1 \neq 0 ##
Then since x is only greater than 1, it is false that x exists that satisfies the equation.

What do you think?
Have you typed the question correctly? Should it say [itex]\nexists[/itex]?
I cannot even begin to follow your reasoning. Why must x be 1 or -1?
Try applying the usual formula for solving quadratics.
 
haruspex said:
You're not asked to find its value, only to prove such a number exists.

Have you typed the question correctly? Should it say [itex]\nexists[/itex]?
I cannot even begin to follow your reasoning. Why must x be 1 or -1?
Try applying the usual formula for solving quadratics.

I said 1 or -1 because I was trying the base case after 0, but yeah let me try the quadratic formula.
 
Can I do this to the quadratic equation? :
## x^4 - 2x^2 +2 = 0 \\ (x^2)^2 - 2(x^2) +2 =0 \\ ##
And, I solve for ## x^2 = -1 +- \sqrt{-1}##
 
knowLittle said:
Can I do this to the quadratic equation? :
## x^4 - 2x^2 +2 = 0 \\ (x^2)^2 - 2(x^2) +2 =0 \\ ##
And, I solve for ## x^2 = -1 +- \sqrt{-1}##

## \not\exists x | x \in \mathbb{R}, ## since ## x = \sqrt{x^2} = \sqrt{ -1 +- \sqrt{-1} }, x \in \mathbb{C}##
 
knowLittle said:
## \not\exists x | x \in \mathbb{R}, ## since ## x = \sqrt{x^2} = \sqrt{ -1 +- \sqrt{-1} }, x \in \mathbb{C}##
##x \in \mathbb{C}## does not prove it is not in ##\mathbb{R}##.
Work backwards. Suppose x is real. What does that tell you about x2?
 
  • Like
Likes   Reactions: 1 person
knowLittle said:

Homework Statement


a.) Prove ## \exists x, x \in \mathbb{R} | x^3 -x^2 = 5##
I know that x = 2.1163, but how do I find this without a calculator?

Try using the intermediate value theorem.

b.) Prove that ## \not \exists x, x \in \mathbb{R} | x^4 - 2x^2 +2 =0##

Try completing the square with ##x^2## as the variable.
 
  • Like
Likes   Reactions: 1 person
Thanks, Kurtz!

## (x^2 - 1)^2 = -1 ##, since the square of any number is always non-negative, it is impossible that x is real.
 
knowLittle said:

Homework Statement


a.) Prove ## \exists x, x \in \mathbb{R} | x^3 -x^2 = 5##
I know that x = 2.1163, but how do I find this without a calculator?

b.) Prove that ## \not \exists x, x \in \mathbb{R} | x^4 - 2x^2 +2 =0##


The Attempt at a Solution


x^2 ( x-1 )=5 for part a)?


=====================
b.)
I find it easier. If x =0, then it's false.
## x^2 ( x^2 -2 )+2 = 0 \\ x^2 \geq 0 \\ x =1 \vee -1 \\ 1(-1) +2 =1 \neq 0 ##
Then since x is only greater than 1, it is false that x exists that satisfies the equation.

What do you think?

What tools are you allowed to use? Calculus makes these easy.

In (a), let ##f(x) = x^3-x^2##. We have ##f(0) = 0 < 5## but ##f(x) \to \infty## for ##x \to \infty##, so ##f(x_0) > 5## for some large-enough ##x_0##. By continuity there is an ##x \in(0,x_0)## giving ##f(x) = 5##.

For (b), look at ##f(x) = x^4 - 2 x^2 = x^2(x^2-2)##. This a quadratic in ##y = x^2##, whose minimum is at ##y = 1##, giving ##f_{\min} = f(1) = -1>-2##. Therefore, it is impossible to find any ##x## giving ##f(x) = -2##.
 
  • Like
Likes   Reactions: 1 person
knowLittle said:

Homework Statement


a.) Prove ## \exists x, x \in \mathbb{R} | x^3 -x^2 = 5##
I know that x = 2.1163, but how do I find this without a calculator?

Are you familiar with Descartes' Rule of Signs? It gives a very quick solution here.

b.) Prove that ## \not \exists x, x \in \mathbb{R} | x^4 - 2x^2 +2 =0##

Treat that as a quadratic equation in ##x^2## and consider the discriminant.