DifferenceRootReduce

DifferenceRootReduce[expr,n]

attempts to reduce expr to a single DifferenceRoot object as a function of n.

Details and Options

Examples

open allclose all

Basic Examples  (2)

Reduce the Fibonacci sequence to a DifferenceRoot object:

Compare the values:

Prove the Cassini identity:

Scope  (8)

Polynomial functions:

Rational functions:

Hypergeometric terms:

Addition:

Term-wise multiplication:

Multisection:

General expressions:

DifferenceRootReduce threads automatically over lists:

Options  (1)

Method  (1)

DifferenceRootReduce can give non-homogeneous equations:

Use the option Method->"Homogeneous" to get a homogeneous equation:

Applications  (3)

Verify the negation formula for Fibonacci:

Addition formula:

Double-angle formula:

Successor relation:

Conjugation relation:

A finite sum:

The difference equation shows that all the values at are odd:

Define Padovan numbers:

Prove recurrence relations:

Prove summation identity:

Introduced in 2008
 (7.0)