|
|
| (4 intermediate revisions by 3 users not shown) |
| Line 1: |
Line 1: |
| __NOTOC__
| | {{User:Temperal/testtemplate|page 9}} |
| <br /><br />
| | ==<span style="font-size:20px; color: blue;">Advanced Number Theory</span>== |
| {| style='background:lime;border-width: 5px;border-color: limegreen;border-style: outset;opacity: 0.8;width:840px;height:300px;position:relative;top:10px;'
| |
| |+ <span style="background:aqua; border:1px solid black; opacity: 0.6;font-size:30px;position:relative;bottom:8px;border-width: 5px;border-color:blue;border-style: groove;position:absolute;top:50px;right:155px;width:820px;height:40px;padding:5px;">The Problem Solver's Resource</span>
| |
| |-
| |
| | style="background:lime; border:1px solid black;height:200px;padding:10px;" | {{User:Temperal/testtemplate|page 9}}
| |
| ==<span style="font-size:20px; color: blue;">Derivatives</span>== | |
| This page will cover derivatives and their applications, as well as some advanced limits. The Fundamental Theorem of Calculus is covered on the [[User:Temperal/The Problem Solver's Resource10|integral page]].
| |
|
| |
|
| ===Definition===
| | [[User:Temperal/The Problem Solver's Resource8|Back to page 8]] | [[User:Temperal/The Problem Solver's Resource10|Continue to page 10]] |
| | |
| *<math>\frac{df(x)}{dx}=\lim_{x\to x_0}\frac{f(x_0)-f(x)}{x_0-x}</math>, where <math>f(x)</math> is a function continuous in <math>L</math>, and <math>x_0</math> is an arbitrary constant such that <math>x_0\subset L</math>.
| |
| | |
| *Multiple derivatives are taken by evaluating the innermost first, and can be notated as follows: <math>\frac{d^2f(x)}{dx^2}</math>.
| |
|
| |
|
| *The derivative of <math>f(x)</math> can also be expressed as <math>f'(x)</math>, or the <math>n</math>th derivative of <math>f(x)</math> can be expressed as <math>f^{(n)}(x)</math>.
| | ===Quadratic Reciprocity=== |
|
| |
|
| ===Basic Facts===
| | A number m is a quadratic residue mod n if and only there exists a number a such that <math>a^2 \equiv m \pmod{n}</math> and <math>0 \le m < n.</math>. For example, since <math>5^2 \equiv 4 \pmod{7},</math> 4 is a quadratic residue mod 7. |
| *<math>\frac{df(x)\pm g(x)}{dx}=f'(x)\pm g'(x)</math>
| |
| *<math>\frac{df(x)\cdot g(x)}{dx}=f'(x)\cdot g(x)+ g'(x)\cdot f(x)</math>
| |
| *<math>\frac{d\frac{f(x)}{g(x)}}{dx}=\frac{f'(x)g(x)-g'(x)f(x)}{g^2(x)}</math>
| |
| *<math>\frac{d\sin x}{dx}=\cos x</math>
| |
| *<math>\frac{d\cos x}{dx}=-\sin x</math>
| |
| *<math>\frac{d\tan x}{dx}=\sec^2 x</math>
| |
| *<math>\frac{d\csc x}{dx}=-\csc x\cot x</math>
| |
| *<math>\frac{d\cot x}{dx}=-\csc^2 x</math>
| |
| *<math>\frac{d\ln |x|}{dx}=\frac{1}{x}</math>
| |
| *<math>\frac{dc}{dx}=0</math> for a constant <math>c</math>.
| |
| ====The Power Rule====
| |
| *<math>\frac{dx^n}{dx}=nx^{n-1}</math>
| |
|
| |
|
| ===Rolle's Theorem===
| | Let p be an odd prime. There are some theorems regarding quadratic residues mod p. Usually, 0 is a "special case." So 0 is not a residue, but it is also not a non-residue. |
| If <math>f(x)</math> is differentiable in the open interval <math>(a,b)</math>, continuous in the closed interval <math>[a,b]</math>, and if <math>f(a)=f(b)</math>, then there is a point <math>c</math> between <math>a</math> and <math>b</math> such that <math>f'(c)=0</math>
| |
| ====Extension: Mean Value Theorem====
| |
| If <math>f(x)</math> is differentiable in the open interval <math>(a,b)</math> and continuous in the closed interval <math>[a,b]</math>, then there is a point <math>c</math> between <math>a</math> and <math>b</math> such that <math>f(b)-f(a)=f'(c)\cdot(b-a)</math>.
| |
| ===L'Hopital's Rule===
| |
| <math>\lim \frac{f(x)}{g(x)}=\lim \frac{f'(x)}{g'(x)}</math>
| |
|
| |
|
| Note that this inplies that <math>\lim \frac{f(x)}{g(x)}=\lim \frac{f^{(n)}(x)}{g^{(n)}(x)}</math> for any <math>n</math>.
| | Adopting these definitions, we prove some theorems. |
| ===Taylor's Formula===
| |
| Let <math>a</math> be a point in the domain of the function <math>f(x)</math>, and suppose that <math>f^{(n+1)}(x)</math> (that is, the <math>n+1</math>th derivative of <math>f(x)</math>) exists in the neighborhood of <math>a</math> (where <math>n</math> is a nonnegative integer). For each <math>x</math> in the neighborhood,
| |
|
| |
|
| <cmath>f(x)=f(a)+f'(a)(x-a)+\frac{f''(a)}{2!}(x-a)^2+...+\frac{f^{(n)}(a)}{n!}(x-a)^n+\frac{f^{(n+1)}(a)}{n!}(x-a)^{n+1}</cmath>
| | Theorem 9.1. There are an equal number of non-residues and residues mod p. |
|
| |
|
| where <math>c</math> is in between <math>x</math> and <math>a</math>.
| | '''Proof: '''First, we prove that <math>1^2, 2^2, ... (\frac{p-1}{2})^2</math> are distinct modulo p. Assume <math>a^2 \equiv b^2 \pmod{p},</math> where a and b are distinct integers from <math>1</math> to <math>\frac{p-1}{2}.</math> Then, <math>a^2-b^2</math> would have to be a multiple of <math>p</math>. <math>a^2-b^2</math> can be factored as <math>(a-b)(a+b).</math> However, since a and b are distinct integers from <math>1</math> to <math>\frac{p-1}{2},</math> <math>a-b</math> can't be a multiple of p. Therefore, <math>a+b</math> is a multiple of p. We know that <math>\frac{p-1}{2} \ge a,b \ge 1,</math> so <math>p-1 \ge a+b \ge 2,</math> so <math>a+b</math> also can't be a multiple of p, a contradiction. |
| ===Chain Rule===
| |
| If <math>h(x) = f(g(x))</math>, then <math>h'(x)=f'(g(x))\cdot g'(x)</math>
| |
| ===Applications===
| |
| *The slope of <math>f(x)</math> at any given point is the derivative of <math>f(x)</math>. (The obvious one.)
| |
| *Acceleration is the derivative of velocity in relation to time; velocity is the derivative of position in relation to time.
| |
| *The derivative of work (in Joules) in relation to time is power (in watts).
| |
| <!-- there are lots more. anyone care to fill them in? --> | |
| [[User:Temperal/The Problem Solver's Resource8|Back to page 8]] | [[User:Temperal/The Problem Solver's Resource10|Continue to page 10]]
| |
| |}<br /><br />
| |
and 
. For example, since 
4 is a quadratic residue mod 7.
are distinct modulo p. Assume 
where a and b are distinct integers from 
to 
Then, 
would have to be a multiple of 
. 
However, since a and b are distinct integers from 
can't be a multiple of p. Therefore, 
is a multiple of p. We know that 
so 
so 
