Can anybody check this proof for a Sine limit?

In summary, when writing a proof using ε-δ, it is important to simplify the problem first and use proper grammar and notation. Starting with "Let ε > 0 ..." and using "if ... then" or "⇒" statements can help to make the proof clear and easy to follow.
  • #1
Amad27
412
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
  • #2
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:
  • #3
Amad27 said:

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]
 
  • #4
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?
 
  • #5
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?
 
  • #6
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.
 
  • #7
Sorry, What is the difference between implies and then?
 
  • #8
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]".
 

FAQ: Can anybody check this proof for a Sine limit?

1. What is a Sine limit?

A Sine limit is a mathematical concept that refers to the limit of a function as the input approaches a specific value, usually infinity. In the case of the Sine limit, the function being evaluated is the sine function.

2. Why is it important to have a proof for a Sine limit?

Having a proof for a Sine limit is important because it provides a mathematical basis for understanding and solving problems involving the limit of the sine function. It also allows for the application of the Sine limit in various fields, such as physics and engineering.

3. Can anybody check a proof for a Sine limit?

Yes, anyone with a background in mathematics and a good understanding of limits and the sine function can check a proof for a Sine limit. However, it is recommended to have an expert in the field review the proof for accuracy and correctness.

4. What are some common mistakes to look for when checking a proof for a Sine limit?

Some common mistakes to look for when checking a proof for a Sine limit include incorrect use of mathematical notation, errors in algebraic manipulations, and incorrect application of limit laws. It is also important to check that the assumptions made in the proof are valid and that all steps are justified.

5. Are there multiple ways to prove a Sine limit?

Yes, there are multiple ways to prove a Sine limit. Some common methods include using the definition of a limit, using trigonometric identities, and using L'Hôpital's rule. The choice of method often depends on the specific limit being evaluated and the mathematician's personal preferences.

Similar threads

Replies
7
Views
2K
Replies
9
Views
1K
Replies
9
Views
3K
Replies
14
Views
2K
Replies
13
Views
929
Replies
23
Views
2K
Replies
5
Views
2K
Back
Top