Algorithmic Manipulation of Fibonacci Identities

  • Stanley Rabinowitz


Methods for manipulating trigonometric expressions, such as changing sums to products, changing products to sums, expanding functions of multiple angles, etc., are well-known [1], In fact, the process of verifying trigonometric identities is algorithmic (see [2] or [5]). Roughly speaking, all trigonometric identities can be derived from the basic identity sin2x cos2x = 1.


Canonical Form Fibonacci Number Reduction Formula Fundamental Identity Trigonometric Identity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Dobbs, David E. “Proving Trig. Identities to Freshpersons”. The MATYC Journal, Vol. 14 (1980): pp. 39–42.Google Scholar
  2. [2]
    Dobbs, David E. and Hanks, Robert. A Modern Course on the Theory of Equations. Passaic, NJ: Polygonal Publishing House, 1980.zbMATHGoogle Scholar
  3. [3]
    Gosper, R. William, Jr., “Decision Procedure for Indefinite Hypergeometric Summation”. Proceedings of the National Academy of Sciences of the United Stated of America, Vol. 75 (1978): pp. 40–42.zbMATHCrossRefGoogle Scholar
  4. [4]
    Graham, Ronald L., Knuth, Donald E., and Patashnik, Oren. Concrete Mathematics. Reading, MA: Addison-Wesley Publishing Company, 1989.zbMATHGoogle Scholar
  5. [5]
    Klamkin, M.S. “On Proving Trigonometric Identities”. Mathematics Magazine, Vol. 56 (1983): pp. 215–220.MathSciNetzbMATHCrossRefGoogle Scholar
  6. [6]
    Lucas, Edouard. “Theorie des Fonctions Numeriques Simplement Periodiques”. American Journal of Mathematics, Vol. 1 (1878): pp. 184–240, 289–321; reprinted as The Theory of Simply Periodic Numerical Functions. Santa Clara, CA: The Fibonacci Association, 1969.MathSciNetCrossRefGoogle Scholar
  7. [7]
    Maeder, Roman. The Mathematica Programmer. Boston, MA: Academic Press, 1994.Google Scholar
  8. [8]
    Rabinowitz, Stanley. “Algorithmic Manipulation of Third-Order Linear Recurrences”. submitted to The Fibonacci Quarterly.Google Scholar
  9. [9]
    Vajda, S. Fibonacci & Lucas Numbers, and the Golden Section. West Sussex, England: Ellis Horwood Limited, 1989.zbMATHGoogle Scholar
  10. [10]
    Wulczyn, Gregory. “Problem H-324”. The Fibonacci Quarterly, Vol. 19 (1981): p. 93.MathSciNetGoogle Scholar
  11. [11]
    Wulczyn, Gregory. “Problem B-464”. The Fibonacci Quarterly, Vol. 20 (1982): p. 370.Google Scholar

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Stanley Rabinowitz

There are no affiliations available

Personalised recommendations