This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

DifferenceRootReduce

DifferenceRootReduce
attempts to reduce expr to a single DifferenceRoot object as a function of n.
Reduce the Fibonacci sequence to a DifferenceRoot object:
Compare the values:
Prove the Cassini identity:
Reduce the Fibonacci sequence to a DifferenceRoot object:
In[1]:=
Click for copyable input
Out[1]=
Compare the values:
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
Prove the Cassini identity:
In[1]:=
Click for copyable input
Out[1]=
Polynomial functions:
Rational functions:
Hypergeometric terms:
Addition:
Termwise multiplication:
Multisection:
General expressions:
DifferenceRootReduce threads automatically over lists:
DifferenceRootReduce can give non-homogeneous equations:
Use the option Method to get a homogeneous equation:
A finite sum:
The difference equation shows that all the values at are odd:
Define Padovan numbers:
Prove recurrence relations:
Prove summation identity:
New in 7