PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] limit of $\displaystyle \frac{1-\cos x}{x}$ as $x$ approaches 0 (Corollary)
Corollary   $$ \lim_{x \to 0} \frac{1-\cos x}{x}=0 $$
Proof.
$\displaystyle \lim_{x \to 0} \frac{1-\cos x}{x}$ $=\displaystyle \lim_{x \to 0} \frac{(1-\cos x)(1+\cos x)}{x(1+\cos x)}$
   
  $=\displaystyle \lim_{x \to 0} \frac{1-\cos x+\cos x-\cos^2 x}{x(1+\cos x)}$
   
  $=\displaystyle \lim_{x \to 0} \frac{1-\cos^2 x}{x(1+\cos x)}$
   
  $=\displaystyle \lim_{x \to 0} \frac{\sin^2 x}{x(1+\cos x)}$
   
  $=\displaystyle \lim_{x \to 0} \frac{\sin x}{x} \cdot \frac{\sin x}{1+\cos x}$
   
  $=\displaystyle \left( \lim_{x \to 0} \frac{\sin x}{x} \right) \left( \lim_{x \to 0} \frac{\sin x}{1+\cos x} \right)$ by this entry
   
  $=\displaystyle 1 \cdot \lim_{x \to 0} \frac{\sin x}{1+\cos x}$ by this entry
   
  $=\displaystyle \frac{\sin 0}{1+\cos 0}$ by this entry and the fact that $\sin$ and $\cos$ are continuous
   
  $=\displaystyle \frac{0}{1+1}$
   
  $=0$
$ \qedsymbol$

This corollary has an obvious corollary to it:

Corollary   $$ \lim_{x \to 0} \frac{\cos x-1}{x}=0 $$




"limit of $\displaystyle \frac{1-\cos x}{x}$ as $x$ approaches 0" is owned by Wkbj79.
(view preamble | get metadata)

View style:

See Also: derivatives of $\sin x$ and $\cos x$


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: obvious, continuous
There are 2 references to this entry.

This is version 4 of limit of $\displaystyle \frac{1-\cos x}{x}$ as $x$ approaches 0, born on 2007-04-24, modified 2007-12-07.
Object id is 9256, canonical name is LimitOfDisplaystyleFrac1CosXxAsXApproaches0.
Accessed 1312 times total.

Classification:
AMS MSC26A03 (Real functions :: Functions of one variable :: Foundations: limits and generalizations, elementary topology of the line)
 26A06 (Real functions :: Functions of one variable :: One-variable calculus)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)