Why Does the Proof of \(y^n = x\) Consider Specific Cases for \(t\)?

  • Context: Undergrad 
  • Thread starter Thread starter jwqwerty
  • Start date Start date
  • Tags Tags
    Proof Theorem
Click For Summary
SUMMARY

The discussion centers on the proof of the theorem stating that for every positive real number \(x\) and every positive integer \(n\), there exists a unique positive real number \(y\) such that \(y^n = x\). The proof involves defining a set \(E\) of positive real numbers \(t\) such that \(t < x^n\). Two cases are considered: \(t = \frac{x}{1+x}\) and \(t > 1+x\). The participant questions the necessity of these specific cases and argues that if \(n\) is even, the original statement is flawed as it does not account for negative values of \(y\).

PREREQUISITES
  • Understanding of real numbers and their properties
  • Familiarity with the concept of sets in mathematics
  • Knowledge of polynomial equations and their roots
  • Basic comprehension of mathematical proofs and theorems
NEXT STEPS
  • Study the properties of even and odd roots in real numbers
  • Learn about the uniqueness of roots in polynomial equations
  • Explore the implications of defining sets in mathematical proofs
  • Investigate the conditions under which a theorem holds true for all real numbers
USEFUL FOR

Mathematicians, students studying algebra, and anyone interested in the foundations of real analysis and polynomial equations.

jwqwerty
Messages
41
Reaction score
0
the theorem goes likes this:
For every x>0 and every integer n>0 there is one and only one real y>0 such that y^n=x

The book starts the proof by stating E as set consisting of all positive real numbers t such that t<x^n. Then it states that:

If t= x/(1+x) then 0<t<1. Hence t^n<t<x. Thus t exists in E and E is not empty
If t>1+x then t^n>t>x so that t does not exist in E. Thus 1+x is an upper bound of E.

My questions is this:
Why does it divide into two cases, t= x/(1+x) and t>1+x? And instead, why can't we divide into t> x/(1+x) and t=1+x? Don't they still have the same meaning as the previous one in the way that 0<t<1 and t>1?
 
Last edited:
Physics news on Phys.org
The original statement is wrong. If n is even there are two values of y, one positive and the other negative.
 
mathman said:
The original statement is wrong. If n is even there are two values of y, one positive and the other negative.

oh sorry i changed the statement from all real y to all real y>0
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K