Prove Existence of Real Number

  • Thread starter Thread starter knowLittle
  • Start date Start date
  • Tags Tags
    Existence
Click For Summary

Homework Help Overview

The discussion revolves around proving the existence of real numbers related to two mathematical statements: one involving a cubic equation and the other a quartic equation. The first part asks to demonstrate that there exists a real number \( x \) such that \( x^3 - x^2 = 5 \), while the second part seeks to prove that no real number satisfies the equation \( x^4 - 2x^2 + 2 = 0 \).

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss various methods to prove the existence of a solution for the cubic equation, including the intermediate value theorem and Descartes' Rule of Signs. For the quartic equation, there are attempts to analyze the equation by completing the square and examining the discriminant. Some participants question the reasoning behind certain assumptions and the validity of the proposed methods.

Discussion Status

The discussion is active, with participants exploring different approaches and questioning each other's reasoning. Some guidance has been offered regarding the use of calculus and the intermediate value theorem for the cubic equation, while others suggest considering the discriminant for the quartic equation. There is no explicit consensus on the methods being discussed, indicating a productive exploration of the topic.

Contextual Notes

Participants are working under the constraints of proving the existence of solutions without the use of calculators, which influences their approaches. There are also discussions about the correctness of the problem statements and the assumptions made in the reasoning.

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}##
So is there a real x satisfying that? If not, why not?
 
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.
 
  • #10
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
  • #11
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.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
Replies
11
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K