# 33130 - Mathematics 1

Basic linear algebra and calculus  that will be instrumental for further studies.

---


## Geometry


			<h2 class=blue>Geometry</h2>



			<h3 class=blue>Pythagorean theorem</h3>
			<p>Euclidean distance is represented by the following geometric property:</p>
			<p>\(a^{2}+b^{2}=c^{2}\)</p>
			<ul>
				<li>\(a,b\) are horizontal and vertical distances traversed from the original point</li>
				<li>\(c\) is the distance from the original point</li>
			</ul>

			<h3 class=blue>Angle sum</h3>
			<p>\(\text{Angle sum of an n-gon} = 180(n-2)\)</p>

			<h3 class=blue>Angle equivalences</h3>
			<ul>
				<li>Alternate</li>
				<li>Cointerior</li>
				<li>Corresponding</li>
				<li>Transversal; The intersection of two lines creates two angles \(\alpha\) and two angles \(\beta\)</li>
			</ul>

			<h3 class=blue>Triangle congruences</h3>
			<p>Congruence between triangles implies they are the same. The following are used to prove congruences:</p>
			<ul>
				<li><b>RHS</b> Right angle, hypotenuse, side</li>
				<li><b>SSS</b> 3 sides the same</li>
				<li><b>SAS</b>; Side, angle, side</li>
				<li><b>ASA</b>; Angle, side, angle</li>
			</ul>

			<h3 class=blue>Pi (\( \pi \))</h3>
			<p>Irrational constant representing the ratio between a circle's circumference and diameter</p>
			<p>\( \pi = \frac{C}{d} = \int_{-1}^{1} \frac{dx}{\sqrt{1 - x^2}}\)</p>

			<h3 class=blue>Inscribed angle theorem</h3>
			<p>The angle of a triangle made from a chord and the center of the circle is double the angle made from that cord and a point on that circle</p>
			<p>\( \angle AOC = 2 \angle ABC \)</p>
			<ul>
				<li>\(A,C\) are any two points on the circumference</li>
				<li>\(O\) is the circle origin</li>
				<li>\(B\) is any point on the major arc</li>
			</ul>
			<h4 class=blue>Thales' theorem</h4>
			<p>Corollary of the inscribed angle theorem, any triangle made using the diameter of a circle with all edges of the triangle on the circumference is a right angle triangle.</p>
			<p>\( \angle ABC = \frac{\pi}{2} \)</p>
			<ul>
				<li>\(A,C\) are any two points on the circumference with the origin between (they form a diameter)</li>
				<li>\(B\) is any point on the circumference</li>
			</ul>



			<h3 class=blue>Radius Raggio 半径</h3>
			<p>Line segment \(r\) from a point on a circle to its origin</p>

			<h3 class=blue>Diameter</h3>
			<p>Line segment \(d\) between two points on a circle and the circle's origin</p>
			<p>\(d=2r\)</p>

			<h3 class=blue>Chord</h3>
			<p>Line segment between two points on a circle</p>
			<p>\(c=2r \sin (\frac{\theta}{2})\)</p>
			<ul>
				<li>\( r \) is the radius</li>
				<li>\( c \) is the chord length</li>
				<li>\( \theta \) is the angle the chord's endpoints makes with the center of the circle</li>
			</ul>
			<p>\(c=2\sqrt{-d(d+2r)}\)</p>
			<ul>
				<li>\( r \) is the radius</li>
				<li>\( c \) is the chord length</li>
				<li>\( d \) is the distance of the smaller line drawn perpendicular to both the chord and circle</li>
			</ul>
			<h4 class=blue>Proof</h4>
			<p>A chord formed with angle \(\theta\) an isoceles triangle with the circle center with sides \(r\) and base \(c\). Splitting this into two symmetric right angle triangles resolves this formula</p>


			<h3 class=blue>Segment</h3>
			<p>Smaller area partitioned by a chord</p>
			<p>\(A= \frac{r^2}{2} (\theta - \sin(\theta)) \) where:</p>
			<ul>
				<li>\( A \) is the segment area</li>
				<li>\( r \) is the circle radius</li>
				<li>\( \theta \)</li>
			</ul>

			<h3 class=blue>Sector</h3>
			<p>Area formed from two points on a circle</p>
			<p>\(A = \frac{\theta}{2} r^2 \) where:</p>
			<ul>
				<li>\( A \) is the sector area</li>
				<li>\( r \) is the circle radius</li>
				<li>\( \theta \) is the angle defined by the sector in radians</li>
			</ul>

			<h3 class=blue>Arc</h3>
			<p>Length across the circumference between two points on a circle</p>
			<p>\(\ell = r\theta \)</p>
			<ul>
				<li>\(\ell\) is the arc length</li>
				<li>\(r\) is the radius</li>
				<li>\(\theta\) is angle made from the points from the circle's origin in radians</li>
			</ul>


			<h3 class=blue>Straight line</h3>
			<p>Straigh line without endpoints</p>

			<h3 class=blue>Line segment</h3>
			<p>Straight line that has endpoints</p>


			<h3 class=blue>Sine rule</h3>
			<p>\(\frac{\sin (A)}{a} = \frac{\sin (B)}{b} =\frac{\sin (C)}{c}\)</p>
			<h3 class=blue>Cosine rule</h3>
			<p>\(a^2 = b^2 + c^2 -2ab \cos (A)\)</p>
			<h3 class=blue>Tangent rule</h3>
			<p>\( \frac{a-b}{a+b} =  \frac{\tan ( \frac{\alpha - \beta}{2} ) }{\tan ( \frac{\alpha + \beta}{2} ) }\)</p>
			<p>\( \sin \theta = (1- \cos \theta ) \tan ( \frac{ \pi - \theta }{2} )  \)</p>

			<h3 class=blue>2D Set</h3>
			<p>Set of ordered 2-tuples representing cartesian coordinates on a horizontal and vertical axis respectively.</p>
			<p>\( (x,y)\in \mathbb{R}^2\)</p>

			<h3 class=blue>3D Set</h3>
			<p>Set of ordered 3-tuples representing cartesian coordinates on a depth, horizontal and vertical axis respectively.</p>
			<p>\( (x,y,z) \in \mathbb{R}^3\)</p>


			<h3 class=blue>Auxiliary angle theorem</h3>
			<p>Any trigonometric function \( f(x)=a\sin(x)+b\cos(x)\) where \(a,b &gt; 0\) can be written as a single trigonometric function</p>
			<p>\( f(x)=R\sin (x+\alpha) \)</p>
			<ul>
				<li>\( R=\sqrt{a^2 + b^2} \)</li>
				<li>\( \alpha=\arctan (\frac{b}{a})=\arcsin (\frac{b}{R}) = \arccos (\frac{a}{R}) \)</li>
			</ul>
			<h4 class=blue>Proof</h4>
			<p>Let \(a\sin (x) +b \cos (x) = R\sin (x+\alpha)\), then by apply additive angle formula to get \(a\sin (x) +b \cos (x) = R \cos (\alpha) \sin (x)  + R\sin (\alpha) \cos (x)\)</p>
			<p>By comparing both sides, it is seen that \(a=R \cos (\alpha),b= R \sin (\alpha)\), since \(\alpha\) is fixed.</p>
			<p>\(R\) is proved as \(\sqrt{a^2 + b^2} = \sqrt{R^2(\cos^2 (\alpha) +\sin^2 (\alpha))}  = R\)</p>
			<p>Rearranging for \(\alpha \)  proves \(\alpha = \cos^{-1} (\frac{a}{R}) = \sin^{-1} (\frac{b}{R})\)</p>


			<h3 class=blue>Trigonometic values</h3>
			<ul>
				<li>\( \sin(0)=0,\cos(0)=1\)</li>
				<li>\( \sin(\pi)=0,\cos(\pi)=-1\)</li>
				<li>\( \sin(\frac{\pi}{2})=1,\cos(\frac{\pi}{2})=0\)</li>
				<li>\( \sin(\frac{\pi}{3})=\frac{\sqrt{3}}{2},\cos(\frac{\pi}{3})=\frac{1}{2}\)</li>
				<li>\( \sin(\frac{\pi}{4})=\frac{1}{\sqrt{2}},\cos(\frac{\pi}{4})=\frac{1}{\sqrt{2}}\)</li>
				<li>\( \sin(\frac{\pi}{6})=\frac{1}{2},\cos(\frac{\pi}{6})=\frac{\sqrt{3}}{2}\)</li>
			</ul>
			<p>For \( \csc, \sec\), simply reciprocate. For \( \tan\), divide sine and cosine values. As for inverse functions, work backwards.</p>

			<h3 class=blue>Trigonometric identities</h3>
			<ul>
				<li>\(\sin (\theta)=\frac{\text{opposite}}{\text{hypotenuse}}\)</li>
				<li>\(\cos (\theta)=\frac{\text{adjacent}}{\text{hypotenuse}}\)</li>
				<li>\(\tan (\theta)=\frac{\sin ( \theta )}{ \cos ( \theta )}\)</li>
				<li>\(\sin^2 (\theta)+\cos^2(\theta)=1\)</li>
				<li>\(\tan^2 (\theta)+1=\sec^2(\theta) \)</li>
				<li>\(\sin (\theta) = \cos ( \theta - \frac{\pi}{2} ) \)</li>
				<li>\(\sin (\theta) = \sin(\theta + 2\pi) \)</li>
				<li>\(\cos (\theta) = \cos(\theta + 2\pi) \)</li>
				<li>\(\sin (-\theta)=-\sin (\theta)\)</li>
				<li>\(\cos (-\theta)=\cos (\theta)\)</li>
			</ul>


			<h3 class=blue>Additive angles formulae</h3>
			<ul>
				<li>\(\sin (a \pm b)=\sin (a)\cos (b) \pm \sin (b)\cos (a)\)</li>
				<li>\(\cos (a \pm b)=\cos (a)\cos (b) \mp \sin (a)\sin (b)\)</li>
				<li>\(\tan (a \pm b)=  \frac{\tan(a) \pm \tan (b)}{1 \mp \tan(a)\tan(b)}  \)</p>
			</ul>

			<h3 class=blue>Double angle formulae</h3>
			<ul>
				<li>\(\sin (2\theta)=2 \sin(\theta) \cos(\theta) \)</p>
				<li>\(\cos (2\theta)= \cos^{2}(\theta) - \sin^{2}(\theta)= 1-2\sin^{2}(\theta) \)</p>
				<li>\(\tan (2\theta)= \frac{2 \tan (\theta)}{1- \tan^2 (\theta)} \)</p>
				<li>\( \cos^{2} (\theta) = \frac{1 + \cos (2\theta)}{2} \)</li>
				<li>\( \sin^{2} (\theta) = \frac{1 - \cos (2\theta)}{2} \)</li>
			</ul>
			
			<h3 class=blue>Homogenous trigonometric equations</h3>
			<p>If the sum of the indices of each trigonometric term is the same, it is said to be homogenous to the degree of that sum. To solve these, you can divide by \( \cos \) so as to get them all in a tangent function</p>


			<h3 class=blue>Radian definition</h3>
			<p>\(\pi = 180^{\circ}\)</p>


			<h3 class=blue>Scalars Scalari スカラー</h3>
			<p>Value that exclusively represents magnitude</p>

			<h3 class=blue>Vector Vettore ベクター</h3>
			<p>Array of cartesian values that form a mathematical object with direction and magnitude</p>
			<p>\( \textbf{v} = \begin{pmatrix} x \\ y \\ z \end{pmatrix} \)</p>


			<h3 class=blue>Norm</h3>
			<p>Scalar representing the magnitude of a vector</p>
			<p>\( \| \textbf{v} \| =\sqrt{\sum^{n}_{i=1} v_{i}^2}\)</p>
			<ul>
				<li>\( \textbf{v} \) is a vector of dimension \(n\)</li>
			</ul>
			<h4 class=blue>Properties</h4>
			<p>\( \| \textbf{v} \| \geq 0\)</p>
			<p>\( \| \textbf{v} \| = 0 \iff \textbf{v} =\textbf{0} \)</p>
			<p>\( \| \textbf{v} + \textbf{u} \| \leq \| \textbf{v} \| + \| \textbf{u} \| \)</p>
			<p>\( \| c\textbf{v} \| =  |c| \| \textbf{v} \|\)</p>



			<h3 class=blue>Unit vector</h3>
			<p>Vector with a norm of 1, this formula turns any vector into a unit vector with the following values:</p>
			<p>\(\hat{a}=\frac{\textbf{a}}{ \|\textbf{a}\| }\)</p>
			<ul>
				<li>\(\textbf{a}\) is a vector</li>
				<li>\( \| \textbf{a} \| \) is the norm of \(\textbf{a}\)</li>
				<li>\(\hat{a} \) is the normalized unit vector of \(\textbf{a}\)</li>
			</ul>

			<h3 class=blue>Elementary basis</h3>
			<p>A special set of vectors \(\mathcal{E} = \{\hat{i}, \hat{j}, \hat{k}\}\) such that</p>
			<ul>
				<li>\(\hat{i}=\begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} \)</li>
				<li>\(\hat{j}=\begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix}\)</li>
				<li>\(\hat{k}= \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}\)</li>
			</ul>
			<p>It is noteworthy that \(\hat{i}, \hat{j},\hat{k}\) each have a magnitude of 1 and are all orthogonal (perpendicular) to eachother.</p>
			<h4 class=blue>Position vector Vettore posizione ベクター位置</h4>
			<p>The elementary basis allow any vector \(\textbf{v}\) to be decomposed and rewritten in the follwing 'position vector' form</p>
			<p>\( \textbf{v} = x\hat{i} + y\hat{j} + z\hat{k} \)</p>




			<h3 class=blue>Dot product Prodotto scalare ドット積</h3>
			<p>Vector operation that takes two vectors and return a scalar. It represents the product of two vector's magnitude scaled down by the angle at the common base of the vectors, hence the returned scalar is composed by accounting: </p>
			<ul>
				<li>Magnitudes of vectors multiplied together</li>
				<li>Similarity of direction</li>
			</ul>
			<p>\(\textbf{u} \cdot \textbf{v}= \sum^{n}_{i=1} u_i v_i\)</p>
			<ul>
				<li>\(\textbf{u} , \textbf{v} \) are vectors of dimension \(n\)</li>
			</ul>
			<h4 class=blue>Properties</h4>
			<ul>
				<li>\(  \textbf{v} \cdot \textbf{u}  =   \textbf{u} \cdot \textbf{v} \)</li>
				<li>\(  \textbf{w} \cdot ( c\textbf{v} + d \textbf{u} )  = c ( \textbf{w} \cdot \textbf{v} ) +  d  ( \textbf{w} \cdot \textbf{u} )  \)</li>
				<li>\(  \| \textbf{v} \| = \sqrt{ \textbf{v} \cdot \textbf{v} }  \)</li>
				<li>\(\textbf{u}\cdot \textbf{v} = \| \textbf{u} \|  \|\textbf{v} \| \cos (\theta )\)
				<ul>
					<li>\(\theta\) is the angle between \(\textbf{u}, \textbf{v}\)</li>
				</ul>
				</li>
			</ul>



			<h3 class=blue>Vector projection Proiezione Vettore 射影ベクター</h3>
			<p>Vector operation \(\text{proj}_{\textbf{u}}(\textbf{v})\) that returns the component vector of \(\textbf{v}\) along the direction of vector \(\textbf{u}\)</p>
			<h4 class=blue>Definitions</h4>
			<p>\( \text{proj}_{\textbf{u}}(\textbf{v}) = (\frac{\textbf{v} \cdot \textbf{u}}{\textbf{u} \cdot \textbf{u}})\textbf{u}\)</p>
			<h4 class=blue>Proof of correctness</h4>
			<p>The component of \(\textbf{v}\) in the direction of \(\textbf{b}\) must have the same direction as \( \textbf{b}\), hence it is merely this vector dilated by some scalar \(k\hat{b}\). By geometric reasoning this constant is \(k= |\textbf{v}| \cos (\theta)\) and hence reducing this expression in terms of the dot product is \(k= |\textbf{v}| \cos (\theta) = \frac{|\textbf{b}||\textbf{v}|\cos (\theta)}{|\textbf{b}|} = \frac{\textbf{v} \cdot \textbf{b}}{|\textbf{b}|}\)</p>

			<h3 class=blue>Vector addition</h3>
			<p>Adding two vector is geometrically equivalent as placing the starting point of \(\textbf{b}\) at \(\textbf{a}\) (or vice versa due to addition's commutative property)</p>
			<p>\( ( \textbf{u} + \textbf{v} )_{i} = u_i + v_i \)</p>


			<h3 class=blue>Vector subtraction</h3>
			<p>\( ( \textbf{u} - \textbf{v} )_{i} = u_i - v_i \)</p>
			<p>Vectors can be subtracted by eachother to find the vector that shows the position of vector A to vector B, useful in finding planes</p>

			<h3 class=blue>Cross product Prodotto incrociato クロス積</h3>
			<p>Two vectors multiplied that return a vector which is a normal to both the entered vectors</p>
			<p>Vector operation that takes two vectors and return a vector perpendicular to the input vectors. Its magnitude represents the product of two vector's magnitude scaled up by the angle at the common base of the vectors, hence the returned vector is composed by accounting: </p>
			<ul>
				<li>Magnitudes of vectors multiplied together</li>
				<li>Difference of direction</li>
				<li>Direction perpendicular to both vectors</li>
			</ul>
			<p>\( \textbf{u} \times \textbf{v}=|\textbf{u}||\textbf{v}|\sin (\theta) \hat{n}\)</p>
			<ul>
				<li>\(\hat{n}\) is a unit vector normal to both input vectors</li>
			</ul>
			<h4 class=blue>Properties</h4>
			<ul>
				<li>\(\hat{i}\times \hat{j}=\hat{k}\)</li>
				<li>\(\hat{j}\times \hat{k}=\hat{i}\)</li>
				<li>\(\hat{k}\times \hat{i}=\hat{j}\)</li>
				<li>\(|\hat{a}\times \hat{b}|=1\)</li>
				<li>\(a\times a=0\)</li>
				<li>\(\neg ( \textbf{a}\times \textbf{b} = \textbf{c} \implies  \textbf{b} \times \textbf{a}= \textbf{c} ) \)</li>
				<li>The cross product of two vectors on the same plane gives a normal to the plane</li>
			</ul>

			<h3 class=blue>Right hand rule Regola del cacciavite 右手の法則</h3>
			<p>When taking the cross product \(\textbf{a} \times \textbf{b}\), the direction of the result vector is <b>parallel to your right thumb as you curl your fingers from \(\textbf{a}\) to \(\textbf{b}\)</b></p>





			<h3 class=blue>Straight line</h3>
			<p>A line can be interpreted as a vector with a scalar (so that the magnitude reaches any point on the line) that is translated away from the origin by another vector, or as an equation:</p>
			<h4 class=blue>Vector form</h4>
			<p>\(\textbf{r}(t)=\textbf{u}+t\textbf{v}\)</p>
			<ul>
				<li>\(\textbf{r}(t)\) is a vector valued function representing points on the straight line</li>
				<li>\(\textbf{v}\) is a vector parallel to the line</li>
				<li>\(\textbf{u}\) is a translation vector</li>
			</ul>
			<p>Without using vectors, a line is represented by the intersection of two planes (parametric equations)</p>
			
			<h3 class=blue>Sphere Sfero 球</h3>
			<h4 class=blue>Standard form</h4>
			<p>\( (x - x_0)^{2}+ (y - y_0)^{2}+(z - z_0)^{2}=r^{2}\)</p>
			<ul>
				<li>\( x_0,y_0,z_0\); Translating constants</li>
				<li>\(r\); Sphere radius</li>
				<li>\(x,y,z\); Dimensional variable parameters</li>
			</ul>
			<p>Furthermore, the vector equation</p>
			<h4 class=blue>Vector form</h4>
			<p>\( r = \| \textbf{x} - \textbf{u} \| \)</p>
			<ul>
				<li>\( \textbf{x}\) is a variable vector representing a point on the sphere</li>
				<li>\(r\) is the sphere's radius</li>
				<li>\(\textbf{u}\) is the translation vector</li>
			</ul>
			

			<h3 class=blue>Plane</h3>
			<h4 class=blue>Vector form</h4>
			<p>\(\textbf{r}(s,t) = \textbf{u}+s\textbf{v}+t\textbf{w}\)</p>
			<ul>
				<li>\(\textbf{r}(s,t)\) is a bivariate vector valued function representing points on the plane</li>
				<li>\(\textbf{v}, \textbf{w}\) are two linearly independent (different directioned) vectors parallel to the plane</li>
				<li>\(\textbf{u}\) is a translation vector</li>
			</ul>
			<p>\(\textbf{r}-\textbf{b}\) is parallel to the plane hence \((\textbf{r} - \textbf{a}) \cdot \textbf{n} = 0\)</p>
			<h4 class=blue>Standard form</h4>
			<p>\(d=ax+by+cz\)</p>
			<ul>
				<li>\(a,b,c\) are the x,y,z of some normal</li>
				<li>\(x,y,z\) are the variables for each axis</li>
				<li>\(d\) is the perpendicular distance from the plane to the origin (translation in z axis)</li>
			</ul>
			<p>The difference between any two points on the same plane results in another point on the place</p>








			<h2 class=red>Linear Algebra</h2>




			<h3 class=red>Matrix Matrice 行列</h3>
			<p>Array containing \(m\) rows and \(n\) columns of numbers</p>
			<p>\(\textbf{A}=\begin{bmatrix} a_{11} & a_{12} & \ldots & a_{1n} \\ a_{21} & a_{22} & \ldots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \ldots & a_{mn} \end{bmatrix}\)</p>
			<h4 class=red>Dimension</h4>
			<p>A matrix has a dimension denoted as \( m \times n \)</p>


			<h3 class=red>Vector Vettore ベクトル</h3>
			<p>Previously, a geometry-based perception of vectors was defined. In an algebra-based sense, it is a matrix with one column \(n=1\)</p>
			<p>\(\textbf{v}=\begin{bmatrix} v_{1} \\ v_{2} \end{bmatrix}\)</p>


			
			<h3 class=red>Matrix equality</h3>
			<p>Matrixes are equal when:</p>
			<ul>
				<li>The matrixes are the same size</li>
				<li>The matrixes have the same elements, regardless of order</li>
			</ul>

			<h3 class=red>Matrix addition Addizione di mattrici 行列の総和</h3>
			<p>Matrixes can be added together iff they have the same dimensions</p>
			<p>\( (\textbf{A}+\textbf{B})_{ij} = \textbf{A}_{ij}+\textbf{B}_{ij}\)</p>

			
			<h3 class=red>Zero matrix</h3>
			<p>Matrix with all quantities as zero</p>
			<p>\(\textbf{0} = \begin{bmatrix}0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{bmatrix}\) </p>
			<p>\(\textbf{A}+\textbf{0}=\textbf{A}\)</p>
			<p>\(\textbf{A}\textbf{0}=\textbf{0}\)</p>


			
			<h3 class=red>Scalar multiplication Moltiplicazione scalare</h3>
			<p>Matrixes can be multiplied by scalar by applying the scalar to every quantity in the matrix</p>
			<p>\(k\begin{bmatrix}2 & 4 \\ 6 & 8 \end{bmatrix} =\begin{bmatrix}2k & 4k \\ 6k & 8k \end{bmatrix} \)
			</p>

			<h3 class=red>Matrix multiplication Moltiplicazione di mattrici</h3>
			<p>Matrixes can only be multiplied together if the number of columns in the first matrix equals the number of rows in the second matrix<br>
			</p>
			<p>\((\textbf{A}\textbf{B})_{ij}=\sum_{k=1}^{m}\textbf{A}_{ik}\textbf{B}_{kj}\)</p>
			<ul>
				<li>\(m\) is the row count of \(\textbf{B}\)</li>
			</ul>

			<h3 class=red>Identity matrix</h3>
			<p>A square matrix \(\textbf{I}\) such that:</p>
			<ul>
				<li>\(\textbf{A}\textbf{I}=\textbf{I}\textbf{A}=\textbf{A}\)</li>
				<li>\(\textbf{I}_{ij}=\delta_{ij}\)</li>
			</ul>
			<p>See <a href=/digaku/2024_aut/la.php>Linear Algebra</a> for information on the Kronecker delta function</p>
			<h4 class=red>Example</h4>
			<p>\(\textbf{I}_{3}=\begin{bmatrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1\end{bmatrix}\)

			<h3 class=red>Invertibility Invertibilità 反転行列</h3>
			<p>Square matrixes \(\textbf{A} : n \times n\)  may have an inverse matrix, which is a unique matrix such that:</p>
			<p>\( \textbf{A}^{-1} :\textbf{A}^{-1}\textbf{A}=\textbf{A}\textbf{A}^{-1}=\textbf{I}\)</p>
			<p>By definition only square matrixes may have inverse matrix.</p>

			<h3 class=red>Inversion formula Formula dinversione 反転式</h3>
			<p>Formula to quickly invert \(2 \times 2\) matrixes</p>
			<p>\(\begin{bmatrix}a & b \\ c & d\end{bmatrix}^{-1}=\frac{1}{\Delta}\begin{bmatrix}d & -b \\ -c & a\end{bmatrix}\)
			</p>

			<h3 class=red>Transposition</h3>
			<p>The function of swapping the row index and column index, denoted as \(\textbf{A}^{T}\).</p>
			<p>\( \textbf{A}^{T} : a_{ij} \to a^{T}_{ji} \)</p>
			<ul>
				<li>\(\textbf{A} = \begin{bmatrix}a_{11} & a_{12} \\ a_{21} & a_{22} \end{bmatrix} \implies A^{T} = \begin{bmatrix}a_{11} & a_{21} \\ a_{12} & a_{22} \end{bmatrix} \)</li>
				<li>\((\textbf{A}^{T})^{T} = \textbf{A}\)</li>
			</ul>


			<h3 class=red>Symmetric matrix</h3>
			<p>\(\textbf{A} \text{is symmetric} \iff \textbf{A} = \textbf{A}^{T}\)</p>

			<h3 class=red>Matrix properties</h3>
			<ul>
				<li>\( \textbf{A}(\textbf{B}\textbf{C})=(\textbf{A}\textbf{B})\textbf{C}\) (Associativity)</li>
				<li>\(\textbf{A}+\textbf{B}=\textbf{B}+\textbf{A}\) (Commuutativity for summation)</li>
				<li>\(\textbf{A}\textbf{B} \neq \textbf{B}\textbf{A}\) (No commutativity for product)</li>
				<li>\(\neg (\textbf{A}\textbf{B}=0 \implies \textbf{A},\textbf{B}=\textbf{0})\)</li>
				<li>\((\textbf{A}^{T})^{T}=\textbf{A}\)</li>
				<li>\((\textbf{A}\textbf{B})^{T}=\textbf{B}^{T}\textbf{A}^{T}\)</li>
				<li>\((\textbf{A}+\textbf{B})^{T}=\textbf{A}^{T}+\textbf{B}^{T}\)</li>
			</ul>


			<h3 class=red>Cramer's rule Regola di Cramer クラメルの公式</h3>
			<p>In situation \(\textbf{A}\textbf{x}=\textbf{b}\) where \(\textbf{A}\) is a square matrix:</p>
			<ul>
				<li>Find \(\text{det} (\textbf{A})\)</li>
				<li>Find determinants of \(\textbf{A}\) with column \(j\) replaced with \(\textbf{b}\), denote this as \(\text{det} (\textbf{A}_j (\textbf{b})) \)</li>
				<li>\(x_{j} = \frac{\text{det} (\textbf{A}_j (\textbf{b}) )}{\text{det} (\textbf{A})}\)</li>
			</ul>
			<h4 class=red>Proof</h4>
			<p>Let \(I_j(\textbf{x}) \) be the identity matrix with column j swapped for \(\textbf{x}\). Then by matrix multiplication \(A I_j (\textbf{x}) = A_j (\textbf{b}) \) (Since \(A \textbf{x} = \textbf{b}\) ). Determinants have a multiplicative property, so therefore \(\text{det} (A) \text{det} (I_{j} (\textbf{x})) = \text{det} (A_j (\textbf{b})) \). Because \(\text{det}(A) \neq 0 \land \text{det} (I_j (\textbf{x})) = \textbf{x}_j\), Cramer's rule is proved. </p>



			<h3 class=red>Elementary row operations</h3>
			<p>In augmented matrixes, the following operations are legal:</p>
			<ul>
				<li><b>Row swapping</b>; Swapping rows \(\textbf{R}_i \leftrightarrow R_j\)</li>
				<li><b>Scalar multiplication</b>; Multiplying rows by a scalar \(R_i \to k \cdot R_i\)</li>
				<li><b>Row addition</b>; Adding the values of some row to another row \(R_i \to R_i + k \cdot R_j\) </li>
			</ul>
			<p>These operations are essentially using information of simultaneous equations to reform the equations into a desired form</p>


			<h3 class=red>Gaussian elimination Eliminazione gaussiana ガウシアンの消去式</h3>
			<p>Through row operations, there is an algorithm running in \(O (n^3 ) \) to solve augmented matrixes as such:</p>
			<ol>
				<li><b>Forward phase - echelon form</b>; Starting from the top row, for each row's pivot index, use a row operation to make all indexes directly below this index to equal zero (runs in \(O (n^3)\)) </li>
				<li><b>Backwards phase - reduced echelon form</b>; Starting from the bottom row, for each row's pivot index, use a row operation to make all indexes directly above this index to equal zero (runs in \(O (n^3)\)) </li>
			</ol>


			<h3 class=red>Upper triangle matrix</h3>
			<p>Matrix with upper right corner filled with 0s </p>

			<h3 class=red>Lower triangle matrix</h3>
			<p>Matrix with lower left corner filled with 0s</p>

			<h3 class=red>Diagonal matrix</h3>
			<p>Matrix filled with 0s except for indexes where the column number and row number are the same</p>
			<p>\( \textbf{M} \text{ is diagonal} \iff ( i \neq j \implies m_{ij} = 0) \)</p>
			<p>\( \textbf{M} \text{ is diagonal} \implies \textbf{M}^k = \begin{bmatrix} m^{k}_{11} & 0 & \ldots & 0 \\ 0 & m^{k}_{22} & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \ldots & m^{k}_{nn} \end{bmatrix} \)</p>

			<h3 class=red>Leading entry</h3>
			<p>A leading entry is the first non-zero value in a row or column, for instance, you can find the leading entry for the 5th column, 2nd row, 3rd column ans so forth
			</p>


			<h3 class=red>Augmented matrix</h3>
			<p>Combining two matrixes together side by side; the augmentation of A and B is represented as \(\textbf{A}|\textbf{B}\). Its motive is primarily to be a neat layout when performing Gaussian elimination techniques.</p>

			<h3 class=red>Echelon form</h3>
			<p>Rectangular matrix following the following criteria that is to follow the following of this followed paragraph:
			</p>
			<ul>
				<li>All non-zero rows are above all rows with all zeros</li>
				<li>Each leading entry in a row is in one of the columns to the right to the leading entry of the row above</li>
				<li>All entries in a column below a leading entry are zeros</li>
			</ul>
			<p>\(\begin{bmatrix}a & b & c \\ 0 & d & e \\ 0 & 0 & f\end{bmatrix}\)</p>

			<h3 class=red>Reduced echelon form</h3>
			<p>Along with satisfying echelon form, reduced echelon forms also follow the following:</p>
			<ul>
				<li>The leading entry in each non-zero row is 1</li>
				<li>That leading entry 1 is the only non-zero entry in its column</li>
			</ul>

			<h3 class=red>Pivot point</h3>
			<p>When converting from echelon form to reduced echelon form, the pivot points are the leading entries of each row, which will all be turned into number 1s</p>



			<h3 class=red>Determinant Determinante 行列式</h3>
			<p>Scalar function \(\text{det}(\textbf{M}_n)\) defined to characterizes the existence of an inverse matrix for some square matrix \(\textbf{M}_n\), similar to how polynomial's discriminant characterises the existance of real roots.</p>
			<p>\(\text{det} (\textbf{M}_n) = 0 \iff \textbf{M}_{n}^{-1} = \text{Undefined}\)</p>
			<p>Geometrically, the determinant \(\text{det}(M_n)\) also returns the signed area/volume of matrix multiplying each vector representing vertexes of a unit \(n\)-cube by \(M_n\)</p>


			<p>\(\text{det}(M_{2})=\begin{vmatrix} m_{11} & m_{12} \\ m_{21} & m_{22} \end{vmatrix}=m_{11}m_{22}-m_{12}m_{21}\)</p>
			<p>\(\text{det}(M_{3})= m_{11}(m_{22}m_{33} - m_{23}m_{32}) -m_{12}(m_{21}m_{33} - m_{23}m_{31}) + m_{13}(m_{21}m_{33} - m_{22}m_{31}) \)</p>


			<h3 class=red>Cofactor</h3>
			<p>A scalar that is a part of an expansion to return a determinant </p>
			<p>\(C_{ij}=(-1)^{i+j}\text{det} (\textbf{M}_{ij})\) </p>
			<p>Where the \(\text{det} (A_{ij})\) notation means a matrix that contains every value in its same order so that it does not have the same i or j value
			</p>

			<h3 class=red>Laplace expansion</h3>
			<p>\(\text{det} (\textbf{M}_{n}) = \sum_{j=1}^{n}m_{ij}C_{ij} : (i \in \mathbb{N}) \land (i \leq n)\) </p>
			<p>\(\text{det} (\textbf{M}_{n}) =  \sum_{i=1}^{n}m_{ij}C_{ij} : (j \in \mathbb{N}) \land (j \leq n)\) </p>



			<h3 class=red>Determinant properties</h3>
			<ul>
				<li>\(\text{det} (\textbf{A}) = \text{det} (\textbf{A}^{T})\)</li>
				<li>\(\text{det} (\textbf{A}^{-1}) = \frac{1}{\text{det} (\textbf{A})}\)</li>
				<li>\(\text{det} (\textbf{A}\textbf{B}) = \text{det} (\textbf{A}) \text{det} (\textbf{B})\)</li>
				<li>\(\begin{vmatrix} ka_{11} & a_{12} & a_{13} \\ ka_{21} & a_{22} & a_{23} \\ ka_{31} & a_{32} & a_{33} \end{vmatrix}=k\begin{vmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{vmatrix}\)</li>
				<li>\(\begin{vmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ 0 & 0 & 0 \end{vmatrix}=0\)</li>
				<li>\(\begin{vmatrix} 0 & a_{12} & a_{13} \\ 0 & a_{22} & a_{23} \\ 0 & a_{32} & a_{33} \end{vmatrix}=0\)</li>
				<li>\(\begin{vmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{11} & a_{12} & a_{13} \end{vmatrix}=0\)</li>
				<li>\(\begin{vmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{vmatrix}=-\begin{vmatrix}  a_{31} & a_{32} & a_{33} \\ a_{21} & a_{22} & a_{23} \\  a_{11} & a_{12} & a_{13}  \end{vmatrix}\)</li>
				<li> \( \begin{vmatrix} a_{11} & a_{12} & a_{13} \\ 0 & a_{22} & a_{23} \\ 0  & 0 & a_{33} \end{vmatrix}= \prod_{i=1} a_{ii} \)</li>

				<li> \( \begin{vmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31}  & a_{32} & a_{33} \end{vmatrix}= \begin{vmatrix} a_{11}+ka_{31} & a_{12}+ka_{32} & a_{13}+ka_{33} \\ a_{21} & a_{22} & a_{23} \\ a_{31}  & a_{32} & a_{33} \end{vmatrix} \)</li>
			</ul>


			<h3 class=red>Trace</h3>
			<p>Sum of all diagonal terms of a square matrix</p>	
			<p>\( \text{tr}(\textbf{M}) = \sum_{j=1}m_{jj} \)</p>	


			<h3 class=red>Homogeneous systems</h3>
			<p>\(\textbf{A}\textbf{x}=\textbf{0}\)</p>

			<h3 class=red>Inhomogeneous systems</h3>
			<p>\(\textbf{A}\textbf{x}=\textbf{b} : \textbf{b} \neq \textbf{0}\)</p>
			<p>\(\textbf{A}\textbf{x}=\textbf{0} \land  A\textbf{y}=\textbf{b} \implies A ( \textbf{x} + \textbf{y} ) = \textbf{b}\)</p>




			<h2 class=yellow>Functions</h2>



			<h3 class=yellow>Basics of functions</h3>
			<p>See discrete math</p>
			<ul>
				<li>Relation</li>
				<li>function</li>
				<li>injectivity</li>
				<li>inverse function</li>
			</ul>
			<h3 class=yellow>Relation</h3>
			<p>Mathematical condition that may hold between different elements of a set, examples include inequalities, equations, functions, diophantine equations etc.</p>

			<h3 class=yellow>Function Funzione 機能</h3>
			<p>A mathematical object \(f : X \to Y\) that takes an object in set \(X\) (domain) as an input and produces an output as some object in set \(Y\) (range)</p>


			<h3 class=yellow>Injectiivity Iniettivita 単射性</h3>
			<p>\(f \text{ is injective } \iff  (f(x)=f(y) \implies x=y) \)</p>

			<h3 class=yellow>Inverse functions Funzioni inverse 反転機能</h3>
			<p>For some injective function \(f : X \to Y\), there is an inverse function \( f^{-1} : Y \to X\). When a function is not injective, one can restrict the domain to ensure an injection and then invert</p>
			<p>\(f( f^{-1}(x) ) = x\)</p>

			<h3 class=yellow>Factorial Fattoriale 階乗</h3>
			<p>Function of the product of all natural numbers up to a specific integer, iwith \(0!=1\)</p>
			<h4 class=yellow>Recursive definition</h4>
			<p>\(n!=(n-1)!n\)</p>
			<h4 class=yellow>Series definition</h4>
			<p>\(n!=\prod_{k=1}^{n}k\)</p>


			<h3 class=yellow>Exponential function</h3>
			<p>\(\text{exp}(z)=e^{z}\)</p>
			<p>\( \text{exp} : \mathbb{C} \to \mathbb{C}\)</p>
			<h4 class=yellow>Properties</h4>
			<ul>
				<li>\( z \in mathbb{C} \implies \text{exp}(z) = \sum^{\infty}_{n = 0} \frac{z^n}{n!}  \)</li>
				<li>\( \text{im}(\text{exp})= \begin{cases} (0,\infty) & z \in \mathbb{R} \\ \mathbb{C} \setmius \{0\} z \in \mathbb{C} \end{cases}\)</li>
				<li>\( \text{exp}(x) \text{exp}(y) = \text{exp}(x+y)\)</li>
				<li>\( \frac{ \text{exp}(x) }{ \text{exp}(y) } = \text{exp}(x-y)\)</li>
				<li>\( \text{exp}[ \ln(a) x] = a^{x}\)</li>
				<li>\( \forall x \in \mathbb{R} ( \text{exp}(x) \gt 0 ) \)</li>
				<p>\( \text{exp}(x+iy) = e^x \cos y + ie^x \sin y \)</p>
				<p>\(  y'=y \)</p>
			</ul>



			<h3 class=yellow>Natural logarithm</h3>
			<p>Inverse function of the exponential function for real numbers</p>
			<p>\( \ln : (0,\infty) \to \mathbb{R}\)</p>
			<h4 class=yellow>Properties</h4>
			<ul>
				<li>\( \text{exp}[\ln (x)] = x \)</li>
				<li>\( \ln x + \ln y = \ln xy\)</li>
				<li>\( \ln x - \ln y = \ln ( \frac{x}{y} ) \)</li>
				<li>\( \ln ( x^a ) = a \ln ( x ) \)</li>
			</ul>





			<h3 class=yellow>Trigonometric functions</h3>
			<p>Geometrically the trigonometric functions are interpreted as the set of \(2\pi\)-periodic functions that satisfy the relation \( x^2 + y^2  =1 \) </p>
			<ul>
				<li>\(y = \sin (\theta) \)</li>
				<li>\(x = \cos (\theta) \)</li>
			</ul>
			<p>Analytically, they are defined as the solutions to the following IVP</p>
			<li>\(  y''=-y \)
			<ul>
				<li>\( y(0)=0 \implies y(x) = \sin x\)</li>
				<li>\( y(0)=1 \implies y(x) = \cos x\)</li>
			</ul>
			</li>
			<h4 class=yellow>Analytical properties</h4>
			<p>\( \sin z = \sum^{\infty}_{n = 0} \frac{(-1)^n z^{2n+1}}{(2n+1)!} \)</p>
			<p>\( \sin z = \frac{e^{iz} - e^{-iz}}{2i} \)</p>
			<p>\( \sin (x+iy) = \sin x \cosh y + i \cos x \sinh y \)</p>
			<p>\( \cos z = \sum^{\infty}_{n = 0} \frac{(-1)^n z^{2n}}{(2n)!} \)</p>
			<p>\( \cos z = \frac{e^{iz} + e^{-iz}}{2} \)</p>
			<p>\( \sin (x+iy) = \cos x \cosh y - i \sin x \sinh y \)</p>

			<h3 class=yellow>Hyperbolic function</h3>
			<ul>
				<li>\(\sinh (x) = \frac{e^{x}-e^{-x}}{2}\)</li>
				<li>\(\cosh (x) = \frac{e^{x}+e^{-x}}{2}\)</li>
				<li>\(\tanh (x) = \frac{\sinh (x)}{\cosh (x)}\)</li>
				<li>\(\text{cosech} (x) = \frac{1}{\sinh (x)}\)</li>
				<li>\(\text{sech} (x) = \frac{1}{\cosh (x)}\)</li>
				<li>\(\text{coth} (x) = \frac{1}{\tan (x)}\)</li>
			</ul>



			<h3 class=yellow>Complex trigonometric function</h3>
			<p>\( \sin z = \sum^{\infty}_{n = 0} \frac{(-1)^n z^{2n+1}}{(2n+1)!} \)</p>
			<p>\( \sin z = \frac{e^{iz} - e^{-iz}}{2i} \)</p>
			<p>\( \sin (x+iy) = \sin x \cosh y + i \cos x \sinh y \)</p>
			<p>\( \cos z = \sum^{\infty}_{n = 0} \frac{(-1)^n z^{2n}}{(2n)!} \)</p>
			<p>\( \cos z = \frac{e^{iz} + e^{-iz}}{2} \)</p>
			<p>\( \sin (x+iy) = \cos x \cosh y - i \sin x \sinh y \)</p>





			<h3 class=yellow>Inverse exponentials</h3>
			<ul>
				<li>\(f(x)=e^{x} \implies f^{-1}(x)=\ln (x)\)</li>
				<li>\(f(x)=a^{x} \implies f^{-1}(x)=\log_a (x)\)</li>
			</ul>

			<h3 class=yellow>Inverse trigonometry</h3>
			<ul>
				<li>\(\sin^{-1}(x)=\arcsin (x)\)</li>
				<li>\(\cos^{-1}(x)=\arccos (x)\)</li>
				<li>\(\tan^{-1}(x)=\arctan (x)\)</li>
				<li>\(\sin^{-1} ( \sin (x)) = x [-1,1]\)</li>
				<li>\(\cos^{-1} ( \cos (x)) = x [-1,1]\)</li>
				<li>\(\tan^{-1} ( \tan (x)) = x (-\infty,\infty) \)</li>
				<li>\( y=\sin^{-1}(x) \iff x=\sin(y)| y:[-\frac{\pi}{2},\frac{\pi}{2}] \)</li>
				<li>\( y=\cos^{-1}(x) \iff x=\cos(y)| y:[0,\pi] \)</li>
				<li>\( y=\tan^{-1}(x) \iff x=\tan(y)| y:(-\frac{\pi}{2},\frac{\pi}{2}) \)</li>
			</ul>

			<h3 class=yellow>Inverse identities</h3>
			<ul>
				<li>\( \sin^{-1}(x) + \cos^{-1}(x) = \frac{\pi}{2} \)</li>
				<li>\( \cos^{-1} (x) =  -\cos^{-1} (-x) + \pi\)</li>
				<li>\( \sin^{-1} (x) =  -\sin^{-1} (-x)\)</li>
				<li>\( \tan^{-1} (x) =  -\tan^{-1} (-x)\)</li>
			</ul>



			<h3 class=yellow>Limit Limite 制限</h3>
			<p>The value that \(f(x)\) approaches as \(x\) approaches \(a\), shown with \(\lim_{x \to a} f(x)=L\). More specifically, you can have:</p>
			<ul>
				<li><b>Left limit</b>; \(\lim_{x \to a^{+}} f(x)=L\)</li>
				<li><b>Right limit</b>; \(\lim_{x \to a^{-}} f(x)=L\)</li>
			</ul>
			<p>\(L=\lim_{x \to a} f(x) \iff \lim_{x \to a^{-}} f(x)=\lim_{x \to a^{+}} f(x)\)</p>
			<p>See <a href=/srv/http/daigaku/2023_spr/ra.php>Real Analysis</a> for a more mathematically correct definition of a limit.</p>


			<h3 class=yellow>Euler's number (\( e \))</h3>
			<p>Irrational constant that is the result of an 'infinite exponent' to a base which is 'infinitely close' to 1</p>
			<p>\( e = \lim_{n \to \infty} (1 + \frac{1}{n})^{n} = \sum_{k=1}^{\infty} \frac{1}{n!}\)</p>


			<h3 class=yellow>Function transforms</h3>
			<p>\(bf[a(x-h)]+v\)</p>
			<ul>
				<li>\(f : X \to Y\) is a function</li>
				<li>\(h\) is horizontal translation</li>
				<li>\(v\) is vertical translation</li>
				<li>\(a\) is horizontal dilation</li>
				<li>\(b\) is vertical dilation</li>
			</ul>





			<h2 class=green>Differentiation</h2>






			<h3 class=green>Differentiation</h3>
			<p>\( f'(x) = \lim_{h\to 0}\frac{f(x+h)-f(x)}{h}\)</p>
			<ul>
				<li>\( (f+g)' = f' + g'\)</li>
				<li>\( (f-g)' = f' - g'\)</li>
				<li>\( (cf)'= cf'\)</li>
			</ul>

			<h3 class=green>Product rule</h3>
			<p>\( (fg)'(x) = f(x)g'(x)+ f'(x)g(x) \)</p>


			<h3 class=green>Quotient rule</h3>
			<p>\( (\frac{f}{g})'(x) = \frac{f(x)g'(x) - f'(x)g(x)}{g^2(x)} \)</p>

			<h3 class=green>Chain rule Regola di catena 連鎖律</h3>
			<p>\( (f \circ g)'(x) = f'(g(x))g'(x)\)</p>
			<p>\(\frac{dy}{dx} = \frac{dy}{du} \frac{du}{dx}\)</p>

			<h3 class=green>Inverse function rule</h3>
			<p>\( (f^{-1})' \circ f = \frac{1}{f'} \)</p>

			<h3 class=green>Constant term rule</h3>
			<p>\(\frac{d}{dx}(c) = 0\)</p>

			<h3 class=green>Power rule</h3>
			<p>\(\frac{d}{dx}(x^{n}) = nx^{n-1}\)</p>

			<h3 class=green>Exponential derivative</h3>
			<p>\(\frac{d}{dx}(a^{f(x)}) = f'(x) \ln (a) a^{f(x)}\)</p>


			<h3 class=green>Taylor series Serie di Taylor テイラー展開</h3>
			<p>Series relating to a function that approximates and for <b>analytical</b> functions converges to said function</p>
			<p>\( f(x) = \sum_{n=0}^{\infty} \frac{f^{n}(a)(x-a)^n}{n!}\)</p>
			<p>See <a href=/srv/http/daigaku/2023_spr/ra.php>Real Analysis</a> for more information on Taylor series.</p>

			<h3 class=green>Trigonometric derivatives</h3>
			<ul>
				<li>\(\frac{d}{dx}(\sin f(x))=f'(x) \cos f(x)\)</li>
				<li>\(\frac{d}{dx}(\cos f(x))=-f'(x) \sin f(x)\)</li>
				<li>\(\frac{d}{dx}(\tan f(x))=f'(x) \sec^2 f(x)\)</li>

				<li>\(\frac{d}{dx}(\sin^{-1} f(x)) = \frac{f'(x)}{\sqrt{1-f^{2}(x)}} \)</li>
				<li>\(\frac{d}{dx}(\cos^{-1} f(x)) = -\frac{f'(x)}{\sqrt{1-f^{2}(x)}} \)</li>
				<li>\(\frac{d}{dx}(\tan^{-1} f(x))= \frac{f'(x)}{1+f^{2}(x)} \)</li>
			</ul>


			<h3 class=green>Logarithmic derivatives</h3>
			<ul>
				<li>\(\frac{d}{dx}(\ln (f(x))) = \frac{f'(x)}{f(x)}\)</li>
				<li>\(\frac{d}{dx}(\log_a(f(x))) = \frac{f'(x)}{\ln (a)f(x)}\)</li>
			</ul>


			<h3 class=green>Newton's method</h3>
			<p>Recursive formula for computing the roots of a function. It works based on the idea that the gradient from some place on the function to the place on that function that is a root should be the derivative (since the derivative is the function that represents a function's gradient). This means:</p>
			<p>\(f'(x_{n})=\frac{f(x_{n}) - 0}{x_n - x_{n+1}}\)</p>
			<p>\( \implies x_{n+1}=x_{n}-\frac{f(x_{n})}{f'(x_n)}\)</p>

			<h3 class=green>Differential</h3>
			<p>Infinitesimal relating to the difference of some variable. This concept is not rigorous, however produces accurate results for engineering, physics etc.</p>
			<p>\( \Delta x = x_1 - x_0 \)</p>
			<p>\( \Delta y = f(x_1) - f(x_0) \)</p>
			<p>\( dy = \frac{dy}{dx} dx\) </p>
			<p>\(\Delta y \approx \frac{dy}{dx} \Delta x\) </p>

			<h3 class=green>Implicit derivatives</h3>
			<p>For implicit equations, one can apply differentiation to the \(x\) and apply the chain rule when differentiatin \(y\) </p>


			<h3 class=green>Tangent Tangente 接線</h3>
			<p>A linear approximation of a function at a specific point. For instance at point \(x_{0}\):</p>
			<p>\(f(x)-f(x_{0})=f'(x_{0})(x-x_{0})\)</p>






			<h2 class=indigo>Integration</h2>



			<h3 class=indigo>Antiderivative</h3>
			<p>Considering the function \(f\), there may exist a function \(F\) such that when differentiated returns \(f\)</p>
			<p>\(F \text{is an antiderivative of } f \iff F' = f\)</p>


			<h3 class=indigo>Indefinite integral</h3>
			<p>Simply the antiderivative</p>
			<p>\(\displaystyle \int f(x)dx = F(x)\)</p>

			<h3 class=indigo>Definite integral</h3>
			<p>The area bound between function \(f\) and the baseline \(y=0\) on some interval \( (a,b) \) </p>
			<p>\(I = \int_{a}^{b} f(x)dx\)</p>


			<h3 class=indigo>Riemann sum</h3>
			<p>Numerical method of approximating integrals without employing the FTC. It is a consequence of Riemann's defintion of the integal; see <a href=/daigaku/2023_spr/ra.php>Real Analysis</a></p>
			<p>\(\int^{b}_{a} f(x) dx = \lim_{n \to \infty} \sum_{i=0}^{n} f(x_{i}) \Delta x\)</p>
			<ul>	
				<li>\(\Delta x = \frac{b-a}{n}\)</li>
				<li>\(x_{i} = a+i\Delta x\)</li>
			</ul>
			<h4 class=indigo>Trapezoidal rule</h4>
			<p>Improved variant of the Riemann sum</p>
			<p>\(\int^{b}_{a} f(x) = \lim_{n \to \infty} \sum_{i=1}^{n} \frac{f(x_{i-1})+f(x_{i})}{2}  \Delta x\)</p>
			<ul>	
				<li>\(\Delta x = \frac{b-a}{n}\)</li>
				<li>\(x_{i} = a+i\Delta x\)</li>
			</ul>

			<h3 class=indigo>Fundamental theorem of calculus (FTC)</h3>
			<p>Theorem asserting that the indefinite integral of a function is its anti-derivative. See <a href=/daigaku/2023_spr/ra.php>Real Analysis</a></p>
			<p>\( \frac{d}{dx}\int_{0}^{x} f(x) dx = f(x)  \)</p>
			<p>\(F' =f \implies \int_{b}^{a} f(x) dx = F(b)-F(a) \)</p>



			<h3 class=indigo>Integral properties</h3>
			<ul>
				<li>\(\int f(x)+g(x) dx = \int f(x) dx + \int g(x) dx\)</li>
				<li>\(\int f(x)-g(x) dx = \int f(x) dx - \int g(x) dx\)</li>
				<li>\(\int kf(x) dx = k \int f(x) dx\)</li>
			</ul>


			<h3 class=indigo>Even-odd integrals</h3>
			<p>\( f(-x)=f(x) \implies \int_{-k}^{k}f(x)dx= 2 \int_{0}^{k}f(x)dx\)</p>
			<p>\( f(-x)=-f(x) \implies \int_{-k}^{k}f(x)dx= 0\)</p>


			<h3 class=indigo>Integration by substitution</h3>
			<p>Encapsulating a subfunction as a variable \(u\) and using the chain rule in reverse provides the following</p>
			<p>\( \int (f \circ u)(x) u'(x) dx = \int f(u) du \) </p>


			<h3 class=indigo>Integration by parts</h3>
			<p>Using the product rule in reverse provides the following</p>
			<p>\(\int uv'(x) dx = uv-\int vu' dx\) </p>
			<p>One generally gets better results if you choose \(u\) to be the factor that is more 'reducible', that has more of a dramatic change when derived. This acronym gives a good idea on what order:</p>
			<p><strong>L</strong>ogarithmic<br>
			<strong>I</strong>nverse trigonometric<br>
			<strong>A</strong>lgebraic<br>
			<strong>T</strong>rigonometric<br>
			<strong>E</strong>xponential<br></p>



			<h3 class=indigo>Partial fraction decomposition</h3>
			<p>For rational functions of polynomials, algebraic decomposition the fraction is optimal for integration</p>
			<p>Let \(p(x),q(x)\) be polynomials such that \( \deg (p) \lt \deg (q) \)</p>
			<h4 class=indigo>Distinct factors</h4>
			<p>\(q(x) = \prod^{\deg (q)}_{n=1} q^{d}_{n}(x) : \deg (q^{d}_{n}) = d\)</p>
			<p>\(\frac{p(x)}{q(x)} = \sum_{n=1}^{\deg (q)} \frac{k_n(x)}{q^{d}_{n}(x)} : \deg (k_n) = \deg (p^{d}_n) -1\)</p>
			<p>To evaluate the coefficients of each \(k_n\), solve the equality with each \(x : p^{d}_{n}(x) = 0 \)</p>




			
			<h3 class=indigo>Reduction formulae</h3>
			<p>Recurrence relation relating an integral to other integrals that may be simpler to calculate.</p>
			<h4 class=dred>Wallis' integrals</h4>
			<p>\(  \displaystyle W_n = \int^{\frac{\pi}{2}}_{0} \sin^n (x) dx\)</p>
			<p>\( W_n = \frac{n-1}{n} W_{n-2}\)</p>

			<h3 class=indigo>Numerator rationalisation</h3>

			<h3 class=indigo>Powers of Cosine and Sine</h3>
			<p>\( \int \sin^m (x) \cos^n (x) dx\)</p>
			<ul>
				<li>\(m,n\) both even, double angle identites</li>
				<li>Either \(m,n\) odd, Pythagoras identiy and substitution</li>
			</ul>


			<h3 class=indigo>Powers of Secant and Tangent</h3>
			<p>\( \int \sec^m (x) \cos^n (x) dx\)</p>
			<ul>
				<li>\(m,n\) are both even, use pythagoras identity to factor out \(\sec^2 (x)\) and then substitute \(u=\tan (x)\) (note that since \( (\tan)'=\sec^2\), by factoring out \(\sec^2\) we are preparing directly for this substitution) </li>
				<li>\(n\) is odd, use pythagoras identity to factor out \(\sec(x)\tan (x)\) and then substitute \(u=\sec(x)\) (note that since \( (\sec)'=\sec\tan\), by factoring out \(\sec\tan\) we are preparing directly for this substitution) </li>
				<li>\(m\) is odd and \(n\) is even, use integration by parts to reduce to other cases</li>
			</ul>


			<h3 class=indigo>Weierstrass substitution</h3>
			<p>For trigonometric functions, the substitution \(t=\tan (\frac{x}{2})\) can be made with the following formulae being applied:</p>
			<ul>
				<li>\(\sin (x) = \frac{2t}{1+t^{2}}\)</li>
				<li>\(\cos (x) = \frac{1-t^{2}}{1+t^{2}}\)</li>
				<li>\(\tan (x) = \frac{2t}{1-t^{2}}\)</li>
				<li>\(\frac{2}{1+t^{2}} dt  =  dx\)</li>
			</ul>








			<h3 class=indigo>Exponential integration</h3>
			<p>\(\int e^{f(x)} dx = \frac{e^{f(x)}}{f'(x)} +C\) </p>
			<p>\(\int k^{f(x)} dx = \frac{k^{f(x)}}{f'(x) \ln (k)} +C\) </p>

			<h3 class=indigo>Trigonometric integration</h3>
			<ul>
				<li>\(\int \sin (x) dx = \cos (x) +C\)</li>
				<li>\(\int \cos (x) dx = \sin (x) +C\)</li>
				<li>\(\int \tan (x) dx = -\log| \cos (x)| +C\)</li>
				<li>\(\int \sec (x) dx = -\ln | \sec (x) + \tan (x) |+C\)</li>
				<li>\(\int \sec ^{2}(x) dx = \tan (x) +C\)</li>
			</ul>
			<h4 class=indigo>Trigonometric substitution</h4>
			<p>The following functions have the algebraic semblance of some trigonometric ratios (pythagorean theorem), and hence substitution of a trigonometric variable can be performed to prove the following.</p>
			<ul>
				<li>\(\int \frac{1}{\sqrt{a^2-x^2}} dx =  \sin ^{-1}(\frac{x}{a}) +C\)</li>
				<li>\(\int -\frac{1}{\sqrt{a^2-x^2}} dx = \cos ^{-1}(\frac{x}{a}) +C\)</li>
				<li>\(\int \frac{f'(x)a}{a^2+f^{2}(x)} dx = \tan ^{-1}(\frac{f(x)}{a}) +C\)</li>
				<li>\(\int \frac{1}{\sqrt{x^2-a^2}} dx = \ln |x+\sqrt{x^2 - a^2}| +C\)</li>
				<li>\(\int \frac{1}{\sqrt{x^2+a^2}} dx = \ln (x+\sqrt{x^2 + a^2}) +C\)</li>
			</ul>




			<h3 class=indigo>Volumes of rotation</h3>
			<p>To find the volume of a function rotated along the x axis, you can use the following formula to find the volume</p>
			<p>\( \int^{a}_{b} \pi f(x)^2 dx\)</p>
			<p>This is because when rotating around the x axis, \( f(x) \) is a radius and the area of the circle it makes when rotating is as we know, \(\pi r^2\), and all those areas combined make the volume.</p>





---

## Complex numbers

			<h3 class=cyan>Imaginary unit</h3>
			<p>A number satisfying the following equations</p>
			<ul>
				<li>\(i = \sqrt{-1}\)</li>
				<li>\(i^{2} = -1\)</li>
			</ul>

			<h3 class=cyan>Complex number</h3>
			<p>A number representing the sum of a real number and imaginary number. The set of these numbers is denoted as \(\mathbb{C}\). Technically, this is field extension of the real numbers by the imaginary unit \(\mathbb{R}(i)\)</p>
			<p>\(\mathbb{C} = \{ z : z = x + iy, x,y \in \mathbb{R} \} \)</p>
			<p>\(z = x+yi\)</p>
			<ul>
				<li>\(x = \Re(z) \) is the real part</li>
				<li>\(y = \Im(z) \) is th imaginary part</li>
			</ul>

			<h3 class=cyan>Conjugate</h3>
			<p>Unary complex operator that inverts the sign of the imaginary part</p>
			<p>\(z = x+yi \implies \bar{z},z^{*} = x-yi\)</p>
			<p>\(z = x+yi \implies \bar{z},z^{*} = \Re(z)-i\Im(z)\)</p>

			<h3 class=cyan>Modulus</h3>
			<p>Real function describing the distance of a complex number from 0. It is also called the <b>complex norm</b></p>
			<p>\(|x+iy|=\sqrt{x^{2}+y^{2}}\)</p>
			<p>\(|z|=\sqrt{ \Re(z)^2+\Im(z)^{2}}\)</p>

			<h3 class=cyan>Complex algebra</h3>
			<p>Algebra is the same as real numbers, \(i\) can be manipulated like an algebraic variable (subject to its unique rule). Two complex numbers are equal if their real and imaginary parts are both identical</p>


			<h3 class=cyan>Argument</h3>
			<p>\(\arg (z) = \theta \in (-\pi,\pi] : z = |z| e^{i \theta}\)</p>	


			<h3 class=cyan>Polar form</h3>
			<p>To represent a complex number in cylindrical coordinates rather than cartesian, you can use the polar form:</p>
			<p>\(z = r(\cos (\theta)+i\sin (\theta)) = r \text{cis} (\theta) \)</p>
			<ul>
				<li>\(r = |z|\)</li>
				<li>\(\theta = \arg (z)\)</li>
			</ul>

			<h3 class=cyan>Euler's formula</h3>
			<p>\(\forall z \in \mathbb{C} [ e^{i z} = \cos ( z ) + i \sin ( z ) ] \)</p>
			<h4 class=cyan>Exponential form</h4>
			<p>\(z = re^{i\theta}\)</p>
			<ul>
				<li>\(r = |z|\) is the modulus</li>
				<li>\(\theta = \arg (z)\) is the angle the complex number forms with the x-axis in an argand diagram</li>
			</ul>

			<h3 class=cyan>Basic Complex identities</h3>
			<p>You should be able to prove all identites in this entire document</p>
			<ul>
				<li>\(i^{2} = -1\)</li>
				<li>\(i^{4k}=1,i^{4k+1}=i,i^{4k+2}=-1,i^{4k+3}=-i\)</li>
				<li>\(e^{i\pi} = -1\)</li>
				<li>\(|zw| = |z||w|\) can be proved through polar form and angle sum identities</li>
			</ul>


			<h3 class=cyan>Conjugate Complex identities</h3>
			<ul>
				<li>\(z\bar{z} = |z|^{2} = \Re(z)^2 + \Im(z)^2\)</li>
				<li>\(|z|=1 \implies \frac{1}{z}=\bar{z}\)</li>
				<li>\(\bar{z}+\bar{w} = \overline{z+w}\)</li>
				<li>\(\bar{z}-\bar{w} = \overline{z-w}\)</li>
				<li>\(\bar{z} \times \bar{w} = \overline{z \times w}\)</li>
				<li>\(\bar{z} \div \bar{w} = \overline{z \div w}\)</li>
				<li>\(\bar{\bar{z}} = z\)</li>
				<li>\(z + \bar{z} = 2\Re (z)\)</li>
				<li>\(z - \bar{z} = 2\Im (z)\)</li>
				<li>\(|z| = |\bar{z}|\)</li>
				<li>\(z^2 - \bar{z}^2 = 4\Re (z) \Im (z)i\)</li>
				<li>\(\frac{1}{z} = \frac{\bar{z}}{|z|^2}\)</li>
			</ul>

			<h3 class=cyan>Polar and Exponential Form Complex identities</h3>
			<ul>
				<li>\(x=r \cos(\theta)\)</li>
				<li>\(y=r \sin(\theta)\)</li>
				<li>\(re^{i\theta} = r( \cos(\theta ) + i\sin (\theta ) ) = r\text{cis}(\theta)\)</li>
				<li>\(|\text{cis}(\theta)| = 1\)</li>
				<li>\(\arg (z) = \cos ^{-1}(\frac{\Im (z)}{|z|})\)</li>
				<li>\(\arg (z) = \sin ^{-1}(\frac{\Re (z)}{|z|})\)</li>
				<li>\(re^{i\theta} = re^{i(\theta +2\pi k)}\)</li>
				<li>\(\sin (\theta ) = \frac{e^{i\theta }-e^{-i\theta }}{2i}\)</li>
				<li>\(\cos (\theta ) = \frac{e^{i\theta }+e^{-i\theta }}{2}\)</li>
				<li>\(\arg (zw) = \arg (z) + \arg (w)\) can be proved through polar form and angle sum identities</li>
				<li>\(\arg (z) = -\arg (\bar{z})\)</li>
				<li>\(e^{i\pi}+1=0\)</li>
				<li>\(\sin(ix) = i \sinh(x)\)</li>
				<li>\(\sinh(ix) = i \sin(x)\)</li>
			</ul>

			<h3 class=cyan>Complex triangle inequality</h3>
			<p>\(||z| - |w||  \leq |z+w| \leq |z| + |w| \)</p>
			






			<h3 class=cyan>Complex zeroes</h3>
			<p>\(z^n = re^{i \theta}\)</p>
			<p>\(z = re^{\frac{i \theta + 2\pi k}{n}}, k \in \mathbb{N}\cap[0,n)\)</p>
			
			<h3 class=cyan>Quadratic method</h3>
			<p>Method to find complex zeroes of \(f(z)=ax^2 + bx + c\)</p>
			<ul>
				<li>Calculate the discriminant (\(\Delta = b^2-4ab\))</li>
				<li>Calculate \(\lambda\) such that (\(\Delta = \lambda^2\))</li>
				<li>\(z= \frac{-b \pm \lambda}{2a}\))</li>
			</ul>
			<p>\(z^2+\lambda^2=(z+i\lambda)(z-i\lambda)=0 \implies z=\pm i\lambda\)</p>


			<h3 class=cyan>Complex square roots</h3>
			<p>Simultaneous equations that the real and imaginary parts of a complex number satisfies to be a square root; however it is probably easier to use Euler's formula.</p>
			<p>\(z = x+iy \land w=a+ib \land z^2 = w \implies \)</p>
			<ul>
				<li>\(x^2 - y^2 = a\)</li>
				<li>\(xy=\frac{b}{2}\)</li>
				<li>\(x^2 + y^2 = \sqrt{a^2 + b^2}\)</li>
			</ul>


			<h3 class=cyan>Argand geometry</h3>
			<ul>
				<li>\(iz\) turns direction of \(z\) by \(\frac{\pi}{2}\) radians counterclockwise (as it swaps the real and imaginary parts and makes the new imaginary part negative, i.e a negative reciprocal)</li>
				<li>\(\bar{z}\) swaps direction of \(z\) around the x-axis</li>
				<li>\(-z\) turns direction of \(z\) by \(\pi\) radians</li>
				<li>\(|z-z_0| =r\) represents a circle centered at \(z_0\) with radius \(r\)</li>
				<li>\(z=kz_1 +z_0\) represents a line</li>
				<li>\( \frac{z_{1}-z_{2}}{z_{3}-z_{4}}=\lambda \)
					<ul>
						<li>\(\Re(\lambda)=0 \land \Im(\lambda)\neq 0 \implies z_1 - z_2 \perp z_3 - z_4\)</li>
						<li>\(\Im(\lambda)=0 \land \Re(\lambda)\neq 0 \implies z_1 - z_2 , z_3 - z_4 \text{ are parallel}\)</li>
					</ul>
				</li>
				<li>\( \arg (\frac{z-z_{1}}{z-z_{2}}) =\alpha \) represents points on the with an inscribed angle of \(\alpha\) (inscribed angle theorem) Using  "converse of angles  on the same segment"</li>
			</ul>


			<h3 class=cyan>De Moivre's Theorem</h3>
			<p>\( z^n = r^{n} e^{ni\theta}\)</p>
			<p>\( z^n = r^{n} (\cos (n\theta) + i\sin (n\theta) ) \)</P>
			<p>\( z^{\frac{1}{n}} = r^{\frac{1}{n}} e^{\frac{i\theta+2\pi k}{n}}\)</p>
			<p>\( k [0,n]\)</p>




---


## Differential equations

### Classifying differential equations
Order
: highest order derivative in the equation

Degree
: highest power in the equation

Linear
separable
Autonomous
Homogeneous
Inhomogeneous

### Elementary solution methods


#### Separating separable differential equations

#### Integrating factor
Integrating factor

#### Characteristic equation of linear differential equations with constant coefficients


### IVPs and BVPs

Differential equations are usually satisfied by a family fo functions (when they are satisfiable in the first place) rather than a unique function. Nevertheless, imposing extra conditions such as an *initial value* of a satisfying function or the *boundary values* of a satisfying function can restrict this family down, possibly to a unique function.

Initial value problem (IVP)
Boundary value problem (BVP)


			<h3 class=orange>Differential equations</h3>
			<p>Equations relating a function and its differential functions, for instance, \(y'=y\) is a differential equation representing functions where the first derivative of a function equals the function itself. The solution to this equation is \(y=ke^x\)</p>
			<p>There are multiple types of differential equations such as:</p>
			<ul>
				<li><b>Linear</b>; have form \( \sum_{k=0}^{n} f_k(x)y^{(k)} = g(x) \)</li>
				<li><b>Separable</b>; have form \( f(y)dy = g(x)dx \) (the differentials can be so both sides of the equation can be integrated)</li>
				<li><b>Autonomous</b>; have form \( y' = f(y) \) </li>
				<li><b>Homogenous</b>; equal to 0 \(f(x,y) = 0\)</li>
				<li><b>Inhomogenous</b>; equal to a non-zero function \(f(x,y)=g(x,y)\)</li>
				<li><b>Ordinary</b>; in terms of one variable \(f(x,y) = g(x,y)\)</li>
				<li><b>Partial</b>; in terms of multiple variables \(f(\textbf{x} , y) = g(\textbf{x} , y)\)</li>
			</ul>

			<h3 class=orange>Integrating factor</h3>
			<p>Specially devised function multiplied to an equation to facilitate integration. It is used in the solution for <b>first order linear equations</b></p>

			<h3 class=orange>First order separable equation</h3>
			<p>\(y' =f(y)g(x)\)</p>
			<ul>
				<li>\(\frac{y'(x)}{f(y(x))} = g(x)\)</li>
				<li>\( \int \frac{y'(x)}{f(y(x))} dx = \int g(x) dx \)</li>
				<li>\( \int \frac{1}{f(y)} dy = \int g(x) dx \)</li>
			</ul>

			<h3 class=orange>First order linear equation</h3>
			<p>\(y' + q_1 (x) y = q_2 (x)\)</p>
			<ul>
				<li>Multiply equation by the integrating factor \( I(x) = e^{\int q_1 (x)dx}\)<ul><li>\(I(x)y' + q_1 (x) I(x) y = q_2 (x) I(x)\)</li></ul></li>
			
				<li>Reverse the product rule on the left hand side<ul><li>\( [I(x)y]' = q_2 (x) I(x)  \)</li></ul></li>
				<li>Integrate both sides with respect to \(x\)<ul><li>\( I(x)y = \int q_2 (x) I(x) dx \)</li>
				<li>\( y(x) = \frac{\int q_2 (x) I(x) dx}{I(x)} \)</li></ul></li>
			</ul>

			<h3 class=orange>Second order linear, homogeneous, constant coefficient equation</h3>
			<p>\( y'' + m y' + n y = 0 \)</p>
			<ul>
				<li>We assume the answer has form  \(y = e^{\lambda x}\) (where differentiation is with respect to \(x\)) and then substitute into the original equation.</li>
				<li>Substitute into equation and solve the roots of the resulting <b>characteristic equation</b></li>
				<li>
					<ul>
						<li>\(\lambda_1 \neq \lambda_2 \implies y(x) = Ae^{\lambda_1 x} + Be^{\lambda_2 x} \)</li>
						<li>\(\lambda_1 = \lambda_2 \implies y(x) = (Ax+B)e^{\lambda_1 x} \)</li>
						<li>\(\lambda = \alpha \pm i \omega \notin \mathbb{R} \implies  y(x)=e^{\alpha x} [ A\cos (\omega x) + B\sin (\omega x) ] \)</li>
					</ul></li>
			</ul>
			<h4 class=orange>Proof</h4>

			<h3 class=orange>Initial condition Condizione iniziale 初期条件</h3>
			<p>Additional condition that a DE's solution must satisfy (commonly the image at a certain domain element of the function or its derivatives)</p>
			<p>\(y(x_0) = y_0\)</p>

			<h3 class=orange>Boundary condition</h3>
			<p>\(\begin{cases} y(x_0) = y_0 \\ y(x_1) = y_1 \end{cases} \)</p>

			<h4 class=orange>Initial Value Problem (IVP)</h4>
			<p>Differential equation provided with an initial condition</p>

			<h4 class=orange>Boundary Value Problem (BVP)</h4>
			<p>Differential equation provided with boundary condition</p>


			<h3 class=orange>Second order linear, constant coefficient equations</h3>
			<p>\( y'' + m y' + n y = q (x) \)</p>
			<ul>
				<li>Calculate \(y_{h}\) the general solution to \( y'' + m y' + n y = 0 \)</li>
				<li>Use <b>the method of undetermined coefficients</b> (creating an ansatz, substituting, and solving algebraically) to determine \(y_{p}\)</li>
				<li>\(y(x) = y_c + y_p\)</li>
			</ul>



---

## Sequences and series

				<li>Sequence</li>
				<li>Series</li>
				<li>Geometric series</li>
				<li>Ratio test</li>
				<li>Leibniz test</li>
				<li>Comparison test</li>
