Non-calc problem taken out from Spivak's Calculus, I reach a dead end

  • Thread starter Thread starter Hivoyer
  • Start date Start date
  • Tags Tags
    Calculus
Click For Summary
SUMMARY

The discussion revolves around a calculus problem from Spivak's Calculus, specifically proving that if \( y_0 \neq 0 \) and \( |y - y_0| < \frac{|y_0|}{2} \), then \( y \neq 0 \) and \( |\frac{1}{y} - \frac{1}{y_0}| < \epsilon \). The user successfully applied the Reverse Triangle Inequality to establish that \( |y| > \frac{|y_0|}{2} \), confirming \( y \) is positive. However, they encountered difficulties in manipulating the expression \( |\frac{1}{y} - \frac{1}{y_0}| \) to complete the proof.

PREREQUISITES
  • Understanding of the Reverse Triangle Inequality
  • Familiarity with limits and epsilon-delta definitions in calculus
  • Basic algebraic manipulation of fractions
  • Knowledge of inequalities and their properties
NEXT STEPS
  • Study the application of the Reverse Triangle Inequality in calculus proofs
  • Learn about epsilon-delta proofs in real analysis
  • Practice manipulating expressions involving fractions and inequalities
  • Explore more complex problems in Spivak's Calculus for deeper understanding
USEFUL FOR

Students of calculus, particularly those studying real analysis, and anyone looking to strengthen their proof-writing skills in mathematical contexts.

Hivoyer
Messages
26
Reaction score
0

Homework Statement



The problem states that:

y_0 \neq 0
|y - y_0| &lt; \frac{|y_0|}{2}
|y - y_0| &lt; \frac{\epsilon|y_0|^2}{2}

And I am supposed to use these to prove that:

y \neq 0
|\frac{1}{y} - \frac{1}{y_0}| &lt; \epsilon

Homework Equations



|a| - |b| \leq |a - b|
(Reverse Triangle Inequality - my professor hinted me to use it)

The Attempt at a Solution



Ok proving the first part was easy, I simply used the reverse triangle inequality like this:

1.I change |y - y_0| to |y_0 - y|
2.I use the inequality: |y_0 - y| \geq |y_0| - |y| &lt; \frac{|y_0|}{2} =&gt; -|y| &lt; \frac{|y_0|}{2} - |y_0| =&gt; -|y| &lt; -\frac{|y_0|}{2} =&gt; |y| &gt; \frac{|y_0|}{2} and since we know y_0 is greater than 0, it's square and it's fractions are also greater than 0, so this means y is greater than 0.

Now for part 2 I played around with |\frac{1}{y} - \frac{1}{y_0}| and even after transforming it by completing the fraction addition: |\frac{y_0 - y}{yy_0}| I couldn't figure out how to proceed.Could someone help for this second part?
 
Physics news on Phys.org
Hivoyer said:

Homework Statement



The problem states that:

y_0 \neq 0
|y - y_0| &lt; \frac{|y_0|}{2}
|y - y_0| &lt; \frac{\epsilon|y_0|^2}{2}

And I am supposed to use these to prove that:

y \neq 0
|\frac{1}{y} - \frac{1}{y_0}| &lt; \epsilon

Homework Equations



|a| - |b| \leq |a - b|
(Reverse Triangle Inequality - my professor hinted me to use it)

The Attempt at a Solution



Ok proving the first part was easy, I simply used the reverse triangle inequality like this:

1.I change |y - y_0| to |y_0 - y|
2.I use the inequality: |y_0 - y| \geq |y_0| - |y| &lt; \frac{|y_0|}{2} =&gt; -|y| &lt; \frac{|y_0|}{2} - |y_0| =&gt; -|y| &lt; -\frac{|y_0|}{2} =&gt; |y| &gt; \frac{|y_0|}{2} and since we know y_0 is greater than 0, it's square and it's fractions are also greater than 0, so this means y is greater than 0.

Now for part 2 I played around with |\frac{1}{y} - \frac{1}{y_0}| and even after transforming it by completing the fraction addition: |\frac{y_0 - y}{yy_0}| I couldn't figure out how to proceed.Could someone help for this second part?

For ##v > 0## the inequality ##|u| < v## is the same as ##-v < u < v##. Now just consider the two cases ##y_0 \geq 0## and ##y_0 < 0##.
 
Ray Vickson said:
For ##v > 0## the inequality ##|u| < v## is the same as ##-v < u < v##. Now just consider the two cases ##y_0 \geq 0## and ##y_0 < 0##.

I thought y_o could not be equal to 0.You mean y_0 &gt; 0 instead of y_0 \geq 0 right?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
Replies
6
Views
1K
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K