User:Ybab321/Sandbox

Feel free to help or even complete whatever proofs appear here.

= Cosine Multiple Angle Formula =

Theorem

 * $\displaystyle \cos n \theta = n \sum^{\left\lfloor{\frac n 2}\right\rfloor}_{k \mathop = 0} \frac{\left({-1}\right)^k \left({n-k-1}\right)! 2^{n-2k-1} \cos^{n-2k} \theta}{k!\left({n-2k}\right)!}$

Proof 2
= Partial Fraction Decomposition =


 * $\dfrac {ax - b} {(c_1 x - d_1)(c_2 x - d_2)} = \left(\dfrac {a d_1 - b c_1} {c_2 d_1 - c_1 d_2}\right) \left(\dfrac 1 {c_1 x - d_1}\right) - \left(\dfrac {a d_2 - b c_2} {c_2 d_1 - c_1 d_2}\right) \left(\dfrac 1 {c_2 x - d_2}\right)$


 * $\dfrac {(a_1 x - b_1) (a_2 x - b_2)} {(c_1 x - d_1) (c_2 x - d_2) (c_3 x - d_3)} =

\left(\dfrac {(a_1 d_1 - b_1 c_1) (a_2 d_1 - b_2 c_1)} {(c_1 d_2 - d_1 c_2) (c_1 d_3 - d_1 c_3)}\right) \left(\dfrac 1 {c_1 x - d_1}\right) + \left(\dfrac {(a_1 d_2 - b_1 c_2) (a_2 d_2 - b_2 c_2)} {(c_2 d_3 - d_2 c_3) (c_1 d_2 - d_1 c_2)}\right) \left(\dfrac 1 {c_2 x - d_2}\right) + \left(\dfrac {(a_1 d_3 - b_1 c_3) (a_2 d_3 - b_2 c_3)} {(c_3 d_1 - d_3 c_1) (c_3 d_2 - d_3 c_2)}\right) \left(\dfrac 1 {c_3 x - d_3}\right)$

Algebra is too unmanageable to expand now

= Polynomial Expansion = $f(n,k) = \begin{cases} – & : k = 0\\ \displaystyle \bigcup_{(a,b) \in f(k-1,n)} \bigcup^n_{i=\sup(a)} \{(a \cup \{i\}, b \setminus \{i\})\} & : k \ne 0 \end{cases}\\ \\ \displaystyle \prod^n_{k=1} (a_k x - b_k) = \sum^n_{k=0} (-x)^{n-k} \sum_{(p,q) \in f(k,n)} \prod_{i \in p} a_i \prod_{i \in q} b_i $