[spec/methods] tidy up
[notes.git] / spec / spec-collated.tex
index 785a7fdcb6da91ca2a2b82ef125294daf4e1b9a4..06cb97454a4eb7d37b40de70704bc1a950c0cbaa 100644 (file)
       \hline
     \end{tabularx}
 
+    \begin{theorembox}{title=Factor theorem}
+      If \(\beta z + \alpha\) is a factor of \(P(z)\), \\
+      \-\hspace{1em}then \(P(-\dfrac{\alpha}{\beta})=0\).
+    \end{theorembox}
+
     \subsection*{\(n\)th roots}
 
     \(n\)th roots of \(z=r\operatorname{cis}\theta\) are:
 \columnbreak
                   \section{Differential calculus}
 
+                  \[f^\prime(x) = \lim_{\delta x \rightarrow 0}{\delta y \over \delta x}={\frac{dy}{dx}}\]
+
                   \subsection*{Limits}
 
                   \[\lim_{x \rightarrow a}f(x)\]
                       \(f(x)\) is continuous \(\iff L^-=L^+=f(x) \> \forall x\)
                   \end{enumerate}
 
-                  \subsection*{Gradients of secants and tangents}
+                  \subsection*{Gradients}
 
                   \textbf{Secant (chord)} - line joining two points on curve\\
                   \textbf{Tangent} - line that intersects curve at one point
 
-                  \subsection*{First principles derivative}
-
-                  \[f^\prime(x) = \lim_{\delta x \rightarrow 0}{\delta y \over \delta x}={\frac{dy}{dx}}\]
-
-                  \subsubsection*{Logarithmic identities}
-
-                  \(\log_b (xy)=\log_b x + \log_b y\)\\
-                  \(\log_b x^n = n \log_b x\)\\
-                  \(\log_b y^{x^n} = x^n \log_b y\)
-
-                  \subsubsection*{Index identities}
-
-                  \(b^{m+n}=b^m \cdot b^n\)\\
-                  \((b^m)^n=b^{m \cdot n}\)\\
-                  \((b \cdot c)^n = b^n \cdot c^n\)\\
-                  \({a^m \div a^n} = {a^{m-n}}\)
-
-                  \subsection*{Reciprocal derivatives}
-
-                  \[\frac{1}{\frac{dy}{dx}} = \frac{dx}{dy}\]
-
-                  \subsection*{Differentiating \(x=f(y)\)}
-                  Find \(\dfrac{dx}{dy}\), then \(\dfrac{dy}{dx} = \dfrac{1}{\left(\dfrac{dx}{dy}\right)}\)
-
-                  \subsection*{Second derivative}
-                  \begin{align*}f(x) \longrightarrow &f^\prime (x) \longrightarrow f^{\prime\prime}(x)\\
-                  \implies y \longrightarrow &\frac{dy}{dx} \longrightarrow \frac{d^2 y}{dx^2}\end{align*}
-
-                  \noindent Order of polynomial \(n\)th derivative decrements each time the derivative is taken
-
                   \subsubsection*{Points of Inflection}
 
                   \emph{Stationary point} - i.e.
                   \end{warning}
 
 
+                  \subsection*{Second derivative}
+                  \begin{align*}f(x) \longrightarrow &f^\prime (x) \longrightarrow f^{\prime\prime}(x)\\
+                  \implies y \longrightarrow &\frac{dy}{dx} \longrightarrow \frac{d^2 y}{dx^2}\end{align*}
+
+                  \noindent Order of polynomial \(n\)th derivative decrements each time the derivative is taken
+
+
+                  \subsection*{Slope fields}
+
+                  \begin{tikzpicture}[declare function={diff(\x,\y) = \x+\y;}]
+                    \begin{axis}[axis equal, ymin=-4, ymax=4, xmin=-4, xmax=4, ticks=none, enlargelimits=true, ]
+                      \addplot[thick, orange, domain=-4:2] {e^(x)-x-1};
+                      \pgfplotsinvokeforeach{-4,...,4}{%
+                        \draw[gray] ( {#1 -0.1}, {4 - diff(#1, 4) *0.1}) --  ( {#1 +0.1}, {4  + diff(#1, 4) *0.1});
+                        \draw[gray] ( {#1 -0.1}, {3 - diff(#1, 3) *0.1}) --  ( {#1 +0.1}, {3  + diff(#1, 3) *0.1});
+                        \draw[gray] ( {#1 -0.1}, {2 - diff(#1, 2) *0.1}) --  ( {#1 +0.1}, {2  + diff(#1, 2) *0.1});
+                        \draw[gray] ( {#1 -0.1}, {1 - diff(#1, 1) *0.1}) --  ( {#1 +0.1}, {1  + diff(#1, 1) *0.1});
+                        \draw[gray] ( {#1 -0.1}, {0 - diff(#1, 0) *0.1}) --  ( {#1 +0.1}, {0  + diff(#1, 0) *0.1});
+                        \draw[gray] ( {#1 -0.1}, {-1 - diff(#1, -1) *0.1}) --  ( {#1 +0.1}, {-1  + diff(#1, -1) *0.1});
+                        \draw[gray] ( {#1 -0.1}, {-2 - diff(#1, -2) *0.1}) --  ( {#1 +0.1}, {-2  + diff(#1, -2) *0.1});
+                        \draw[gray] ( {#1 -0.1}, {-3 - diff(#1, -3) *0.1}) --  ( {#1 +0.1}, {-3  + diff(#1, -3) *0.1});
+                        \draw[gray] ( {#1 -0.1}, {-4 - diff(#1, -4) *0.1}) --  ( {#1 +0.1}, {-4  + diff(#1, -4) *0.1});
+                      }
+                    \end{axis}
+                  \end{tikzpicture}
+
                   \begin{table*}[ht]
                     \centering
                     \begin{tabularx}{\textwidth}{|r|Y|Y|Y|}
                       \-\hspace{1em}\texttt{impDiff(y\^{}2+ax=5,\ x,\ y)}
                   \end{cas}
 
-                  \subsection*{Slope fields}
+                  \subsection*{Function of the dependent
+                  variable}
 
-                  \begin{tikzpicture}[declare function={diff(\x,\y) = \x+\y;}]
-                    \begin{axis}[axis equal, ymin=-4, ymax=4, xmin=-4, xmax=4, ticks=none, enlargelimits=true, ]
-                      \addplot[thick, orange, domain=-4:2] {e^(x)-x-1};
-                      \pgfplotsinvokeforeach{-4,...,4}{%
-                        \draw[gray] ( {#1 -0.1}, {4 - diff(#1, 4) *0.1}) --  ( {#1 +0.1}, {4  + diff(#1, 4) *0.1});
-                        \draw[gray] ( {#1 -0.1}, {3 - diff(#1, 3) *0.1}) --  ( {#1 +0.1}, {3  + diff(#1, 3) *0.1});
-                        \draw[gray] ( {#1 -0.1}, {2 - diff(#1, 2) *0.1}) --  ( {#1 +0.1}, {2  + diff(#1, 2) *0.1});
-                        \draw[gray] ( {#1 -0.1}, {1 - diff(#1, 1) *0.1}) --  ( {#1 +0.1}, {1  + diff(#1, 1) *0.1});
-                        \draw[gray] ( {#1 -0.1}, {0 - diff(#1, 0) *0.1}) --  ( {#1 +0.1}, {0  + diff(#1, 0) *0.1});
-                        \draw[gray] ( {#1 -0.1}, {-1 - diff(#1, -1) *0.1}) --  ( {#1 +0.1}, {-1  + diff(#1, -1) *0.1});
-                        \draw[gray] ( {#1 -0.1}, {-2 - diff(#1, -2) *0.1}) --  ( {#1 +0.1}, {-2  + diff(#1, -2) *0.1});
-                        \draw[gray] ( {#1 -0.1}, {-3 - diff(#1, -3) *0.1}) --  ( {#1 +0.1}, {-3  + diff(#1, -3) *0.1});
-                        \draw[gray] ( {#1 -0.1}, {-4 - diff(#1, -4) *0.1}) --  ( {#1 +0.1}, {-4  + diff(#1, -4) *0.1});
-                      }
-                    \end{axis}
-                  \end{tikzpicture}
+                  If \({\frac{dy}{dx}}=g(y)\), then
+                  \(\frac{dx}{dy} = 1 \div \frac{dy}{dx} = \frac{1}{g(y)}\). Integrate both sides to solve equation. Only add \(c\) on one side. Express
+                  \(e^c\) as \(A\).
+
+                  \subsection*{Reciprocal derivatives}
+
+                  \[\frac{1}{\frac{dy}{dx}} = \frac{dx}{dy}\]
+
+                  \subsection*{Differentiating \(x=f(y)\)}
+                  Find \(\dfrac{dx}{dy}\), then \(\dfrac{dy}{dx} = \dfrac{1}{\left(\dfrac{dx}{dy}\right)}\)
 
                   \subsection*{Parametric equations}
 
 
                 \[\int f(x) \cdot dx = F(x) + c \quad \text{where } F^\prime(x) = f(x)\]
 
-                  \subsubsection*{Definite integrals}
-
-                  \[\int_a^b f(x) \cdot dx = [F(x)]_a^b=F(b)-F(a)\]
-
-                  \begin{itemize}
-
-                    \item
-                      Signed area enclosed by\\
-                      \(\> y=f(x), \quad y=0, \quad x=a, \quad x=b\).
-                    \item
-                      \emph{Integrand} is \(f\).
-                  \end{itemize}
-
                   \subsubsection*{Properties}
 
                   \begin{align*}
                       \(\sin 2x = 2 \sin x \cos x\)
                   \end{itemize}
 
+                  \subsection*{Separation of variables}
+
+                  If \({\frac{dy}{dx}}=f(x)g(y)\), then:
+
+                  \[\int f(x) \> dx = \int \frac{1}{g(y)} \> dy\]
+
                   \subsection*{Partial fractions}
 
                   To factorise \(f(x) = \frac{\delta}{\alpha \cdot \beta}\):
                     For restrictions, \texttt{Define\ f(x)=...} then \texttt{f(x)\textbar{}x\textgreater{}...}
                   \end{cas}
 
-                  \subsection*{Applications of antidifferentiation}
-
-                  \begin{itemize}
-
-                    \item
-                      \(x\)-intercepts of \(y=f(x)\) identify \(x\)-coordinates of
-                      stationary points on \(y=F(x)\)
-                    \item
-                      nature of stationary points is determined by sign of \(y=f(x)\) on
-                      either side of its \(x\)-intercepts
-                    \item
-                      if \(f(x)\) is a polynomial of degree \(n\), then \(F(x)\) has degree
-                      \(n+1\)
-                  \end{itemize}
-
-                  To find stationary points of a function, substitute \(x\) value of given
-                  point into derivative. Solve for \({\frac{dy}{dx}}=0\). Integrate to find
-                  original function.
-
                   \subsection*{Solids of revolution}
 
                   Approximate as sum of infinitesimally-thick cylinders
                     \end{enumerate}
                   \end{cas}
 
+                  \subsection*{Applications of antidifferentiation}
+
+                  \begin{itemize}
+
+                    \item
+                      \(x\)-intercepts of \(y=f(x)\) identify \(x\)-coordinates of
+                      stationary points on \(y=F(x)\)
+                    \item
+                      nature of stationary points is determined by sign of \(y=f(x)\) on
+                      either side of its \(x\)-intercepts
+                    \item
+                      if \(f(x)\) is a polynomial of degree \(n\), then \(F(x)\) has degree
+                      \(n+1\)
+                  \end{itemize}
+
+                  To find stationary points of a function, substitute \(x\) value of given
+                  point into derivative. Solve for \({\frac{dy}{dx}}=0\). Integrate to find
+                  original function.
+
                   \subsection*{Rates}
 
                   \subsubsection*{Gradient at a point on parametric curve}
                     To verify solutions, find \(\frac{dy}{dx}\) from \(y\) and substitute into original
                   \end{warning}
 
-                  \subsubsection*{Function of the dependent
-                  variable}
-
-                  If \({\frac{dy}{dx}}=g(y)\), then
-                  \(\frac{dx}{dy} = 1 \div \frac{dy}{dx} = \frac{1}{g(y)}\). Integrate both sides to solve equation. Only add \(c\) on one side. Express
-                  \(e^c\) as \(A\).
-
 
 
                   \subsubsection*{Mixing problems}
 
                   \[\left(\frac{dm}{dt}\right)_\Sigma = \left(\frac{dm}{dt}\right)_{\text{in}} - \left(\frac{dm}{dt}_{\text{out}}\right)\]
 
-                  \subsubsection*{Separation of variables}
-
-                  If \({\frac{dy}{dx}}=f(x)g(y)\), then:
-
-                  \[\int f(x) \> dx = \int \frac{1}{g(y)} \> dy\]
-
-                  \subsubsection*{Euler's method for solving DEs}
+                  \subsection*{Euler's method}
 
                   \[\frac{f(x+h) - f(x)}{h} \approx f^\prime (x) \quad \text{for small } h\]