Can anybody check this proof for a Sine limit?

Click For Summary

Homework Help Overview

The discussion revolves around proving the limit \(\lim_{x \to 0} \frac{x}{\sin^2(x) + 1} = 0\). Participants are exploring the mathematical reasoning and structure of the proof, particularly focusing on the epsilon-delta definition of limits.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the formulation of the proof, with some suggesting that the original poster's approach may be more of a preliminary scratch work rather than a complete proof. There are questions about the validity of certain bounds and the clarity of the argument presented. Others propose alternative bounds and suggest simplifying the argument.

Discussion Status

The discussion is ongoing, with participants providing feedback on the structure and clarity of the proof. Some have offered guidance on how to properly frame the proof and the importance of establishing clear bounds. There is no explicit consensus yet, as multiple interpretations and approaches are being explored.

Contextual Notes

Participants note that the original proof may contain errors in the bounds used and emphasize the need for a clear and formal approach to the epsilon-delta proof. There are also discussions about the implications of certain mathematical statements and the importance of precise language in mathematical proofs.

Amad27
Messages
409
Reaction score
1
Mod note: Fixed the LaTeX. The closing itex tag should be /itex, not \itex (in brackets).
I find it easier to use # # in place of itex, or $ $ in place of tex (without the extra space).

Homework Statement



Prove [itex]\lim_{x \to 0} \frac{x}{\sin^2(x) + 1} = 0[/itex]

Homework Equations


Given below:

The Attempt at a Solution



Let
[itex]|x| < 1 \implies -1 < x < 1[/itex]

[itex]\sin^2(-1) + 1 < \sin^2(x) + 1 <\sin^2(1) + 2[/itex]

[itex]\implies \displaystyle \frac{1}{\sin^2(-1) + 1} > \frac{1}{\sin^2(x) + 1} > \frac{1}{\sin^2(1) + 1}[/itex]

[itex] \implies \displaystyle \frac{1}{\sin^2(-1) + 1} > \frac{1}{\sin^2(x) + 1} \implies \frac{1}{|\sin^2(-1) + 1|} > \frac{1}{|\sin^2(x) + 1|} \implies \frac{1}{|\sin^2(x) + 1|} < \frac{1} {|\sin^2(-1) + 1|}[/itex]

[itex] (1) |x| < \delta_1[/itex]

[itex] (2) \displaystyle \frac{1}{|\sin^2(x) + 1|} < \frac{1} {|\sin^2(-1) + 1|}[/itex]

[itex] (3) \displaystyle \frac{|x|}{|\sin^2(x) + 1|} < \frac{\delta_1} {|\sin^2(-1) + 1|}[/itex]

Finally,

[itex] \epsilon(\sin^2(-1) + 1) = \delta_1[/itex]

Therefore,

[itex] \delta = \min(1,\epsilon \cdot (\sin^2(-1) + 1)) \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \blacksquare[/itex]
 
Last edited by a moderator:
Physics news on Phys.org
This looks more like the scratch work you do in order to figure out the right ##\delta## given an arbitrary ##\epsilon##. The proof is the part where you demonstrate that the ##\delta## that you've found works; i.e. the part where you say something along the lines of, "let ##\delta=...##" usually occurs somewhere in the neighborhood of the second sentence, not at the very end. Most proof readers care less (or not at all) about how you found ##\delta## than they do about whether or not it actually works.

Also note that, no matter what ##x## is (as long as ##x## is a real number), ##\sin^2 x+1\geq1##. So ##\frac{1}{\sin^2 x+1}\leq1##.

P.S. The first sentence of nearly any ##\epsilon-\delta## proof is, "Fix ##\epsilon>0##," or something along those lines.
 
Last edited:
Amad27 said:

Homework Statement



Prove [itex]\lim_{x \to 0} \frac{x}{\sin^2(x) + 1} = 0 [\itex]<br /> <br /> <h2>Homework Equations</h2><br /> Given below:<br /> <br /> <h2>The Attempt at a Solution</h2><br /> <br /> Let<br /> [itex]|x| < 1 \implies -1 < x < 1[/itex]<br /> <br /> [itex]\sin^2(-1) + 1 < \sin^2(x) + 1 <\sin^2(1) + 2[/itex][/itex]
[itex] <br /> It feels more natural to let [itex]|x| < \frac \pi 2[/itex], which is the nearest maximum of [itex]\sin^2(x)[/itex]. Then you won't have [itex]\sin^2(1) = \sin^2(-1)[/itex] cluttering up your argument. <br /> <br /> (You need to remember that [itex]\sin(-x) = -\sin(x)[/itex], and thus [itex]\sin^2(-x) = \sin^2(x)[/itex] for every [itex]x \in \mathbb{R}[/itex].)<br /> <br /> Also your lower bound is false: for sufficiently small [itex]|x|[/itex], [itex]1 + \sin^2(x) < 1 + \sin^2(-1)[/itex] because [itex]\lim_{x \to 0} 1 + \sin^2(x) = 1 < 1 + \sin^2(1)[/itex].<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> [itex]\implies \displaystyle \frac{1}{\sin^2(-1) + 1} > \frac{1}{\sin^2(x) + 1} > \frac{1}{\sin^2(1) + 1}[/itex] </div> </div> </blockquote><br /> There's an error here; your upper and lower bounds on [itex]\frac{1}{\sin^2(x) + 1}[/itex] are actually equal.<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> [itex] \implies \displaystyle \frac{1}{\sin^2(-1) + 1} > \frac{1}{\sin^2(x) + 1} \\ \implies \frac{1}{|\sin^2(-1) + 1|} > \frac{1}{|\sin^2(x) + 1|} \\ \implies \frac{1}{|\sin^2(x) + 1|} < \frac{1} {|\sin^2(-1) + 1|}[/itex]<br /> <br /> [itex] (1) |x| < \delta_1[/itex]<br /> <br /> [itex] (2) \displaystyle \frac{1}{|\sin^2(x) + 1|} < \frac{1} {|\sin^2(-1) + 1|}[/itex]<br /> <br /> [itex] (3) \displaystyle \frac{|x|}{|\sin^2(x) + 1|} < \frac{\delta_1} {|\sin^2(-1) + 1|}[/itex]<br /> <br /> Finally,<br /> <br /> [itex] \epsilon(\sin^2(-1) + 1) = \delta_1[/itex]<br /> <br /> Therefore,<br /> <br /> [itex] \delta = \min(1,\epsilon \cdot (\sin^2(-1) + 1)) \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \space \blacksquare[/itex] </div> </div> </blockquote><br /> Your argument is hard to follow. You need to use more connecting phrases and fewer implication symbols.<br /> <br /> You can make your task much, much easier by observing that [itex]1 + \sin^2(x) \geq 1[/itex] so that [tex] \left| \frac{x}{1 + \sin^2 x}\right| = \frac{|x|}{1 + \sin^2(x)} \leq |x|.[/tex][/itex]
 
Hello, so if
If we have to prove [itex]|\frac{x}{1+\sin^2(x)}| \le |x|[/itex]

In x of real numbers, [itex]1 < 1 + \sin^2(x) < 2[/itex]

So [itex]1 \ge \frac{1}{1+\sin^2(x)} \ge \frac{1}{2}[/itex]

I see then,

[itex]|x| \ge \frac{1}{1+\sin^2(x)}[/itex]

So if [itex]\delta = \epsilon[/itex] and [itex]|x| < \delta \implies |x| < \epsilon[/itex]

Which would complete the proof?
 
Amad27 said:
Hello, so if
If we have to prove [itex]|\frac{x}{1+\sin^2(x)}| \le |x|[/itex]

In x of real numbers, [itex]1 < 1 + \sin^2(x) < 2[/itex]

So [itex]1 \ge \frac{1}{1+\sin^2(x)} \ge \frac{1}{2}[/itex]

I see then,

[itex]|x| \ge \frac{1}{1+\sin^2(x)}[/itex]
Perhaps this is just a typo, but what you wrote certainly isn't true for small ##x##. Suppose ##x \cong 0##. Then ##1+\sin^2 x \cong 1##, so the righthand side is approximately equal to 1, which is bigger than ##\lvert x \rvert## since, by assumption, ##x## is close to 0.

So if [itex]\delta = \epsilon[/itex] and [itex]|x| < \delta \implies |x| < \epsilon[/itex]

Which would complete the proof?
 
Amad27 said:
Hello, so if
If we have to prove [itex]|\frac{x}{1+\sin^2(x)}| \le |x|[/itex]

In x of real numbers, [itex]1 < 1 + \sin^2(x) < 2[/itex]

So [itex]1 \ge \frac{1}{1+\sin^2(x)} \ge \frac{1}{2}[/itex]

I see then,

[itex]|x| \ge \frac{1}{1+\sin^2(x)}[/itex]

So if [itex]\delta = \epsilon[/itex] and [itex]|x| < \delta \implies |x| < \epsilon[/itex]

Which would complete the proof?

Hopefully you've learned from this that it's not a good idea to dive in with ε-δ but is much better to simplify things first.

Why not try to write out a proper, formal proof now? Starting with "Let ε > 0 ...".

Note that your last statement is, in fact, a mixture of "if ... then" and "⇒". You have a choice. You can say:

If ##|x| < δ## then ...

Or

##|x| < δ \ \Rightarrow \dots##

But, it's not quite right to mix these up.
 
Sorry, What is the difference between implies and then?
 
Amad27 said:
Sorry, What is the difference between implies and then?

Grammar.

"[itex]P \implies Q[/itex]" ("P implies Q") is a complete mathematical statement, which is equivalent to "If P then Q".

"If [itex]P\implies Q[/itex]" is an incomplete statement, which must be completed by "then R", with the meaning of "if P implies Q, then R", or in symbolic form "[itex](P \implies Q) \implies R[/itex]".
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 23 ·
Replies
23
Views
3K