Algorithmic Manipulation of Fibonacci Identities
Methods for manipulating trigonometric expressions, such as changing sums to products, changing products to sums, expanding functions of multiple angles, etc., are well-known , In fact, the process of verifying trigonometric identities is algorithmic (see  or ). Roughly speaking, all trigonometric identities can be derived from the basic identity sin2x cos2x = 1.
KeywordsCanonical Form Fibonacci Number Reduction Formula Fundamental Identity Trigonometric Identity
Unable to display preview. Download preview PDF.
- Dobbs, David E. “Proving Trig. Identities to Freshpersons”. The MATYC Journal, Vol. 14 (1980): pp. 39–42.Google Scholar
- Maeder, Roman. The Mathematica Programmer. Boston, MA: Academic Press, 1994.Google Scholar
- Rabinowitz, Stanley. “Algorithmic Manipulation of Third-Order Linear Recurrences”. submitted to The Fibonacci Quarterly.Google Scholar
- Wulczyn, Gregory. “Problem B-464”. The Fibonacci Quarterly, Vol. 20 (1982): p. 370.Google Scholar