Can anybody check this proof for a Sine limit?

[Amad27]

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]

 

[gopher_p]

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.

 

[pasmith]

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]

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.

(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].)

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].

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

There's an error here; your upper and lower bounds on [itex]\frac{1}{\sin^2(x) + 1}[/itex] are actually equal.

[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]

Your argument is hard to follow. You need to use more connecting phrases and fewer implication symbols.

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]

 

[Amad27]

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?

 

[vela]

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?

 

[PeroK]

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.

 

[Amad27]

Sorry, What is the difference between implies and then?

 

[pasmith]

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]".