# Difference between revisions of "Characteristic polynomial"

m (→Proof 3 (Partial fractions)) |
(→Linear recurrences) |
||

(10 intermediate revisions by 4 users not shown) | |||

Line 26: | Line 26: | ||

Let <math>x_1, x_2, \ldots, </math> be a sequence of real numbers. Consider a monic [[homogenous]] [[linear recurrence]] of the form | Let <math>x_1, x_2, \ldots, </math> be a sequence of real numbers. Consider a monic [[homogenous]] [[linear recurrence]] of the form | ||

− | <center><cmath>x_{n} = | + | <center><cmath>x_{n} = c_{n-1}x_{n-1} + c_{n-2}x_{n-2} + \cdots + c_{n-k}x_{n-k}, \quad (*)</cmath></center> |

where <math>c_1, \ldots, c_k</math> are real constants. The characteristic polynomial of this recurrence is defined as the polynomial | where <math>c_1, \ldots, c_k</math> are real constants. The characteristic polynomial of this recurrence is defined as the polynomial | ||

− | <center><cmath>P(x) = x^k - | + | <center><cmath>P(x) = x^k - c_{k-1}x^{k-1} - c_{k-2}x^{k-2} - \cdots -c_1x - c_k.</cmath></center> |

For example, let <math>F_n</math> be the <math>n</math>th [[Fibonacci number]] defined by <math>F_1 = F_2 = 1</math>, and | For example, let <math>F_n</math> be the <math>n</math>th [[Fibonacci number]] defined by <math>F_1 = F_2 = 1</math>, and | ||

Line 67: | Line 67: | ||

<center><cmath>A = U^{-1} D U</cmath></center> | <center><cmath>A = U^{-1} D U</cmath></center> | ||

− | for | + | for a matrix <math>U</math> and a diagonal matrix <math>D</math>. Then, <math>A^2 = U^{-1} D U U^{-1} D U = U^{-1} D^2 U</math>, and in general, <math>A^n = U^{-1} D^n U</math>. Thus, <math>\bold{y}_{n} = A^{n}\bold{y}_0 = U^{-1}D^{n+k}U\bold{y}_0</math>. Here, <math>U^{-1}, U,</math> and <math>\bold{y}_0</math> are fixed (note that to find the values of <math>\bold{y}_0</math>, we may need to trace the recurrence backwards. We only take the <math>0</math>th index for simplicity). It follows that <math>y_{n}</math> is a linear combination of the diagonal elements of <math>D</math>, namely <math>r_1^n, r_2^n, \ldots, r_k^n</math>. <br><br> |

− | Suppose now that that the roots of <math>P_A</math> are not distinct. Then, we can write the matrix in the [[Jordan normal form]]. For simplicity, first consider just a single root <math>r</math> repeated | + | Suppose now that that the roots of <math>P_A</math> are not distinct. Then, we can write the matrix in the [[Jordan normal form]]. For simplicity, first consider just a single root <math>r</math> repeated <math>k</math> times. The corresponding Jordan form of the matrix is given by (that is, the matrix is [[similar]] to the following): |

<center><cmath>\begin{pmatrix} r & 1 & 0 & \cdots & 0 \\ 0 & r & 1 & \cdots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \cdots & r \end{pmatrix}</cmath>.</center> | <center><cmath>\begin{pmatrix} r & 1 & 0 & \cdots & 0 \\ 0 & r & 1 & \cdots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \cdots & r \end{pmatrix}</cmath>.</center> | ||

− | Exponentiating this matrix to the <math>n</math>th power will yield [[binomial coefficient]]s | + | Exponentiating this matrix to the <math>n</math>th power will yield [[binomial coefficient]]s as follows |

+ | |||

+ | <center><cmath>\begin{pmatrix} r^n & {n \choose 1}r^{n-1} & {n \choose 2}r^{n-2} & \cdots & {n \choose k}r^{n-k} \\ 0 & r & {n \choose 1}r^{n-1} & \cdots & {n \choose {k-1}}r^{n-k+1} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \cdots & r^n \end{pmatrix}.</cmath></center> | ||

+ | |||

+ | We can treat the binomial coefficient as a polynomial in <math>n</math>. Furthermore, we can scale away the powers of the eigenvalue (which is a constant); after taking the appropriate linear combinations of the binomial coefficients and a little bit of work, the result follows. <br><br> | ||

+ | |||

+ | See also a <url>viewtopic.php?t=290351 graph-theoretic</url> approach. | ||

=== Proof 2 (Induction) === | === Proof 2 (Induction) === | ||

Line 93: | Line 99: | ||

Then, writing the following expressing out and carefully comparing coefficients (try it), | Then, writing the following expressing out and carefully comparing coefficients (try it), | ||

− | <center><cmath>a_kG(x) \cdot x^{k-1} + a_{k-1}G(x) \cdot x^{k-2} + \cdots + a_{2}G(x) \cdot x + a_{1}G(x) = \frac{G(x) | + | <center><cmath>a_kG(x) \cdot x^{k-1} + a_{k-1}G(x) \cdot x^{k-2} + \cdots + a_{2}G(x) \cdot x + a_{1}G(x) = \frac{G(x) + R(x)}x,</cmath></center> |

− | where <math>R(x)</math> is a remainder polynomial with degree <math> | + | where <math>R(x)</math> is a remainder polynomial with degree <math>\le k-1</math>. Re-arranging, |

− | <center><cmath>G(x) = \frac{ | + | <center><cmath>G(x) = \frac{R(x)}{a_k\cdot x^{k} + a_{k-1}\cdot x^{k-1} + \cdots + a_{1}x - 1}</cmath></center> |

This polynomial in the denominator is the reverse of the characteristic polynomial of the recurrence. Hence, its roots are <math>1/r_1, 1/r_2, \ldots, 1/r_k</math>, assuming that the roots are distinct. Using [[partial fraction]] decomposition (essentially the reverse of the process of adding fractions by combining denominators, except we now pull the denominators apart), we can write | This polynomial in the denominator is the reverse of the characteristic polynomial of the recurrence. Hence, its roots are <math>1/r_1, 1/r_2, \ldots, 1/r_k</math>, assuming that the roots are distinct. Using [[partial fraction]] decomposition (essentially the reverse of the process of adding fractions by combining denominators, except we now pull the denominators apart), we can write | ||

Line 127: | Line 133: | ||

We can apply an induction technique similar to the section on linear recurrences above. | We can apply an induction technique similar to the section on linear recurrences above. | ||

− | From linear algebra, we can use the following theorem. | + | From linear algebra, we can use the following [[vector space]] decomposition theorem. Let <math>A: V \to V</math> be a linear operator for a [[vector space]]s <math>V</math> over a field <math>K</math>. Suppose that there exists a polynomial <math>f(x) \in K[x]</math> such that <math>f = gh</math>, where <math>g</math> and <math>h</math> are non-zero polynomials such that <math>\text{gcd}\,(g,h) = 1</math>, and such that <math>f(A) = O</math>. Then <math>V = \ker g(A) \oplus \ker h(A)</math>. This allows us to reduce the differential equation into finding the solutions to the equation <math>(D - \lambda I)^my = 0</math>, which has a basis of functions <math>e^{\lambda t}, te^{\lambda t}, \ldots, t^{m-1}e^{\lambda t}</math>. |

== Problems == | == Problems == | ||

Line 133: | Line 139: | ||

*Prove [[Binet's formula]]. Find a similar closed form equation for the [[Lucas sequence]], defined with the starting terms <math>L_1 = 2, L_2 = 1</math>, and satisfying the recursion <math>L_n = L_{n-1} + L_{n-2}</math>. | *Prove [[Binet's formula]]. Find a similar closed form equation for the [[Lucas sequence]], defined with the starting terms <math>L_1 = 2, L_2 = 1</math>, and satisfying the recursion <math>L_n = L_{n-1} + L_{n-2}</math>. | ||

*Let <math>\{x_n\}</math> denote the sequence defined by the recursion <math>x_0 = 3, x_1 = 1</math>, and <math>x_n = 2x_{n-1} + 3x_{n-2}</math>. Find a closed form expression for <math>x_n</math>. | *Let <math>\{x_n\}</math> denote the sequence defined by the recursion <math>x_0 = 3, x_1 = 1</math>, and <math>x_n = 2x_{n-1} + 3x_{n-2}</math>. Find a closed form expression for <math>x_n</math>. | ||

+ | *Given <math>a_0 = 1</math>, <math>a_1 = 3</math>, and the general relation <math>a_n^2 - a_{n - 1}a_{n + 1} = ( - 1)^n</math> for <math>n \ge 1</math>. Find a linear recurrence for <math>a_n</math>. (AHSME 1958, Problem 40) | ||

=== Intermediate === | === Intermediate === | ||

+ | *Let <math>S_n</math> denote the number of ternary sequences (consisting of <math>0</math>,<math>1</math>, and <math>2</math>s) of length <math>n</math>, such that they do not contain a substring of "10", "01", or "11". Find a closed form expression for <math>S_n</math>. | ||

*Let <math>\{X_n\}</math> and <math>\{Y_n\}</math> be sequences defined as follows: | *Let <math>\{X_n\}</math> and <math>\{Y_n\}</math> be sequences defined as follows: | ||

Line 148: | Line 156: | ||

*Let <math>a_{n}</math>, <math>b_{n}</math>, and <math>c_{n}</math> be geometric sequences with different common ratios and let <math>a_{n}+b_{n}+c_{n}=d_{n}</math> for all integers <math>n</math>. If <math>d_{1}=1</math>, <math>d_{2}=2</math>, <math>d_{3}=3</math>, <math>d_{4}=-7</math>, <math>d_{5}=13</math>, and <math>d_{6}=-16</math>, find <math>d_{7}</math>. ([[Mock AIME 1 2006-2007/Problem 13|Mock AIME 1 2006-2007, Problem 13]]) | *Let <math>a_{n}</math>, <math>b_{n}</math>, and <math>c_{n}</math> be geometric sequences with different common ratios and let <math>a_{n}+b_{n}+c_{n}=d_{n}</math> for all integers <math>n</math>. If <math>d_{1}=1</math>, <math>d_{2}=2</math>, <math>d_{3}=3</math>, <math>d_{4}=-7</math>, <math>d_{5}=13</math>, and <math>d_{6}=-16</math>, find <math>d_{7}</math>. ([[Mock AIME 1 2006-2007/Problem 13|Mock AIME 1 2006-2007, Problem 13]]) | ||

+ | |||

+ | *Find all possible values of <math>x_0</math> and <math>x_1</math> such that the sequence defined by: | ||

+ | |||

+ | <center><cmath>x_{n + 1} = \frac {x_{n - 1} x_n}{3x_{n - 1} - 2x_n}, \quad n \ge 1</cmath></center> | ||

+ | |||

+ | :contains infinitely many natural numbers. | ||

*Show that <math>a^n + b^n + c^n</math> can be written as a linear combination of the [[elementary symmetric polynomials]] <math>abc, ab+bc+ca, a+b+c</math>. In general, prove [[Newton's sums]]. | *Show that <math>a^n + b^n + c^n</math> can be written as a linear combination of the [[elementary symmetric polynomials]] <math>abc, ab+bc+ca, a+b+c</math>. In general, prove [[Newton's sums]]. | ||

Line 154: | Line 168: | ||

*Let <math>r</math> be a real number, and let <math>x_n</math> be a sequence such that <math>x_0 = 0, x_1 = 1</math>, and <math>x_{n+2} = rx_{n+1} - x_n</math> for <math>n \ge 0</math>. For which values of <math>r</math> does <math>x_1 + x_3 + \cdots + x_{2m-1} = x_m^2</math> for all positive integers <math>m</math>? ([[WOOT]]) | *Let <math>r</math> be a real number, and let <math>x_n</math> be a sequence such that <math>x_0 = 0, x_1 = 1</math>, and <math>x_{n+2} = rx_{n+1} - x_n</math> for <math>n \ge 0</math>. For which values of <math>r</math> does <math>x_1 + x_3 + \cdots + x_{2m-1} = x_m^2</math> for all positive integers <math>m</math>? ([[WOOT]]) | ||

* Let <math>a(x,y)</math> be the polynomial <math>x^2y + xy^2</math>, and <math>b(x,y)</math> the polynomial <math>x^2 + xy + y^2</math>. Prove that we can find a polynomial <math>p_n(a, b)</math> which is identically equal to <math>(x + y)^n + (-1)^n (x^n + y^n)</math>. For example, <math>p_4(a, b) = 2b^2</math>. ([[1976 Putnam Problems/Problem A2|1976 Putnam, Problem A2]]). | * Let <math>a(x,y)</math> be the polynomial <math>x^2y + xy^2</math>, and <math>b(x,y)</math> the polynomial <math>x^2 + xy + y^2</math>. Prove that we can find a polynomial <math>p_n(a, b)</math> which is identically equal to <math>(x + y)^n + (-1)^n (x^n + y^n)</math>. For example, <math>p_4(a, b) = 2b^2</math>. ([[1976 Putnam Problems/Problem A2|1976 Putnam, Problem A2]]). | ||

+ | *<math>a_1,a_2,a_3,b_1,b_2,b_3</math> are distinct positive integers such that <math>(n + 1)a_1^n + na_2^n + (n - 1)a_3^n|(n + 1)b_1^n + nb_2^n + (n - 1)b_3^n</math> holds for all positive integer <math>n</math>. Prove that there exists <math>k\in N</math> such that <math>b_i = ka_i</math> for <math>i = 1,2,3</math>. (2010 Chinese MO, Problem 6) | ||

== Hints/Solutions == | == Hints/Solutions == | ||

Line 159: | Line 174: | ||

* A proof of [[Binet's formula]] may be found in that link. The characteristic polynomial of the Lucas sequence is exactly the same. Hence, the only thing we have to change are the coefficients. | * A proof of [[Binet's formula]] may be found in that link. The characteristic polynomial of the Lucas sequence is exactly the same. Hence, the only thing we have to change are the coefficients. | ||

* We will work out this problem in full detail. The recurrence relation is <math>x_n -2x_{n-1} -3x_{n-2}</math>, and its characteristic polynomial is given by <math>x^2-2x-3</math>. The roots of this polynomial are <math>-1</math> and <math>3</math>. Thus, a closed form solution is given by <math>x_n = a \cdot (-1)^n + b \cdot 3^n</math>. For <math>n = 0</math>, we get <math>x_0 = a + b = 3</math>, and for <math>n = 1</math>, we get <math>x_1 = -a + 3b = 1</math>. Solving gives <math>a = 2, b = 1</math>. Thus, our answer is <math>x_n = 2 \cdot (-1)^n + 3^n</math>. | * We will work out this problem in full detail. The recurrence relation is <math>x_n -2x_{n-1} -3x_{n-2}</math>, and its characteristic polynomial is given by <math>x^2-2x-3</math>. The roots of this polynomial are <math>-1</math> and <math>3</math>. Thus, a closed form solution is given by <math>x_n = a \cdot (-1)^n + b \cdot 3^n</math>. For <math>n = 0</math>, we get <math>x_0 = a + b = 3</math>, and for <math>n = 1</math>, we get <math>x_1 = -a + 3b = 1</math>. Solving gives <math>a = 2, b = 1</math>. Thus, our answer is <math>x_n = 2 \cdot (-1)^n + 3^n</math>. | ||

+ | *<url>viewtopic.php?t=282744 Discussion</url> (1958 AHSME, 40) | ||

=== Intermediate === | === Intermediate === | ||

+ | *<url>viewtopic.php?t=335138 Discussion</url> | ||

*Answer (2007 iTest 47): The answer is <math>k = 7468</math> (before taking <math>\mod{2007}</math>). | *Answer (2007 iTest 47): The answer is <math>k = 7468</math> (before taking <math>\mod{2007}</math>). | ||

− | *Hint (Newton’s Sum): Let us work backwards. Suppose <math>a,b,c</math> are the roots of the characteristic polynomial of a linear recurrence. Then apply [[Vieta's | + | *<url>viewtopic.php?t=287441 Discussion</url> |

+ | *Hint (Newton’s Sum): Let us work backwards. Suppose <math>a,b,c</math> are the roots of the characteristic polynomial of a linear recurrence. Then apply [[Vieta's formulas]]. | ||

=== Olympiad === | === Olympiad === | ||

*Hint (WOOT): substitute the closed form solution. It is true for all <math>r</math>. | *Hint (WOOT): substitute the closed form solution. It is true for all <math>r</math>. | ||

*Hint (1976 Putnam A2): do the even and odd cases separately. | *Hint (1976 Putnam A2): do the even and odd cases separately. | ||

+ | *<url>viewtopic.php?search_id=804457492&t=327474 Discussion</url> (2010 Chinese MO, 6) | ||

[[Category:Linear algebra]] | [[Category:Linear algebra]] |

## Latest revision as of 01:27, 24 April 2020

The **characteristic polynomial** of a linear operator refers to the polynomial whose roots are the eigenvalues of the operator. It carries much information about the operator.

In the context of problem-solving, the characteristic polynomial is often used to find closed forms for the solutions of linear recurrences.

## Contents

## Definition

Suppose is a matrix (over a field ). Then the characteristic polynomial of is defined as , which is a th degree polynomial in . Here, refers to the identity matrix.

Written out, the characteristic polynomial is the determinant

## Properties

An eigenvector is a non-zero vector that satisfies the relation , for some scalar . In other words, applying a linear operator to an eigenvector causes the eigenvector to dilate. The associated number is called the eigenvalue.

There are at most distinct eigenvalues, whose values are exactly the roots of the characteristic polynomial of the square matrix. To prove this, we use the fact that the determinant of a matrix is iff the column vectors of the matrix are linearly dependent. Observe that if satisfies , then the column vectors of the matrix are linearly dependent. Indeed, if we define and let denote the column vectors of , this is equivalent to saying that there exists not all zero scalars such that

Hence, there exists a non-zero vector such that . Distributing and re-arranging, , as desired. In the other direction, if , then . But then, the column vectors of are linearly dependent, so it follows that .

Note that if , then . Hence, the characteristic polynomial encodes the determinant of the matrix. Also, the coefficient of the term of gives the negative of the trace of the matrix (which follows from Vieta's formulas).

By the Hamilton-Cayley Theorem, the characteristic polynomial of a square matrix applied to the square matrix itself is zero, that is . The minimal polynomial of thus divides the characteristic polynomial .

## Linear recurrences

Let be a sequence of real numbers. Consider a monic homogenous linear recurrence of the form

where are real constants. The characteristic polynomial of this recurrence is defined as the polynomial

For example, let be the th Fibonacci number defined by , and

Then, its characteristic polynomial is .

The roots of the polynomial can be used to write a closed form for the recurrence. If the roots of this polynomial are distinct, then suppose the roots are . Then, there exists real constants such that

If we evaluate different values of (typically ), we can find a linear system in the s that can be solved for each constant. Refer to the introductory problems below to see an example of how to do this. In particular, for the Fibonacci numbers, this yields Binet's formula.

If there are roots with multiplicity greater than , suppose . Then we would replace the term with the expression

That is, there is now a polynomial in multiplied with the exponent. Note that there are still the same number of constants that we must solve for. For example, consider the recurrence relation . It’s characteristic polynomial, , has a double root. Then, its closed form solution is of the type .

Given a linear recurrence of the form , we often try to find a new sequence such that is a homogenous linear recurrence. Then, we can find a closed form for , and then the answer is given by .

Of the following proofs, the second and third are more approachable.

### Proof 1 (Linear Algebra)

Note: The ideas expressed in this section can be transferred to the next section about differential equations. This requires some knowledge of linear algebra (upto the Spectral Theorem).

Let . Then, we can express our linear recurrence as the matrix

so that (try to verify this). The characteristic polynomial of is precisely . This is not difficult to show via Laplace's expansion and induction, and is left as an exercise to the reader.

If the roots of are distinct, then there exists a basis (of ) consisting of eigenvectors of (since eigenvectors of different eigenvalues are linearly independent). That is, applying a change of bases, we can write

for a matrix and a diagonal matrix . Then, , and in general, . Thus, . Here, and are fixed (note that to find the values of , we may need to trace the recurrence backwards. We only take the th index for simplicity). It follows that is a linear combination of the diagonal elements of , namely .

Suppose now that that the roots of are not distinct. Then, we can write the matrix in the Jordan normal form. For simplicity, first consider just a single root repeated times. The corresponding Jordan form of the matrix is given by (that is, the matrix is similar to the following):

Exponentiating this matrix to the th power will yield binomial coefficients as follows

We can treat the binomial coefficient as a polynomial in . Furthermore, we can scale away the powers of the eigenvalue (which is a constant); after taking the appropriate linear combinations of the binomial coefficients and a little bit of work, the result follows.

See also a <url>viewtopic.php?t=290351 graph-theoretic</url> approach.

### Proof 2 (Induction)

There are a couple of lower-level ways to prove this. One is by induction, though the proof is not very revealing; we can explicitly check that a sequence , for real numbers , satisfies the linear recurrence relation . If the two sequences are the same for the first values of the sequence, it follows by induction that the two sequences must be exactly the same.

In particular, for , we can check this by using the identity

It is also possible to reduce the recurrence to a telescoping sum. However, the details are slightly messy.

### Proof 3 (Partial fractions)

Another method uses partial fractions and generating functions, though not much knowledge of each is required for this proof. Let be a linear recurrence. Consider the generating function given by

Then, writing the following expressing out and carefully comparing coefficients (try it),

where is a remainder polynomial with degree . Re-arranging,

This polynomial in the denominator is the reverse of the characteristic polynomial of the recurrence. Hence, its roots are , assuming that the roots are distinct. Using partial fraction decomposition (essentially the reverse of the process of adding fractions by combining denominators, except we now pull the denominators apart), we can write

for some constants . Using the geometric series formula, we have . Thus,

Comparing coefficients with our original definition of gives , as desired.

The generalization to characteristic polynomials with multiple roots is not difficult from here, and is left to the reader. The partial fraction decomposition will have terms of the form for .

A note about this argument: all of the power series used here are defined formally, and so we do not actually need to worry whether or not they converge. See these blogposts for further ideas.

## Differential equations

Given a monic linear homogenous differential equation of the form , then the characteristic polynomial of the equation is the polynomial

Here, is short-hand for the differential operator.

If the roots of the polynomial are distinct, say , then the solutions of this differential equation are precisely the linear combinations . Similarly, if there is a set of roots with multiplicity greater than , say , then we would replace the term with the expression .

In general, given a linear differential equation of the form , where is a linear differential operator, then the set of solutions is given by the sum of any solution to the homogenous equation and a specific solution to .

### Proof

We can apply an induction technique similar to the section on linear recurrences above.

From linear algebra, we can use the following vector space decomposition theorem. Let be a linear operator for a vector spaces over a field . Suppose that there exists a polynomial such that , where and are non-zero polynomials such that , and such that . Then . This allows us to reduce the differential equation into finding the solutions to the equation , which has a basis of functions .

## Problems

### Introductory

- Prove Binet's formula. Find a similar closed form equation for the Lucas sequence, defined with the starting terms , and satisfying the recursion .
- Let denote the sequence defined by the recursion , and . Find a closed form expression for .
- Given , , and the general relation for . Find a linear recurrence for . (AHSME 1958, Problem 40)

### Intermediate

- Let denote the number of ternary sequences (consisting of ,, and s) of length , such that they do not contain a substring of "10", "01", or "11". Find a closed form expression for .
- Let and be sequences defined as follows:

- Let be the largest integer that satisfies all of the following conditions:

- (i) , for some positive integer ;
- (ii) , for some positive integer ;
- (iii) .

- Find the remainder when is divided by . (2007 iTest, #47)

- Let , , and be geometric sequences with different common ratios and let for all integers . If , , , , , and , find . (Mock AIME 1 2006-2007, Problem 13)

- Find all possible values of and such that the sequence defined by:

- contains infinitely many natural numbers.

- Show that can be written as a linear combination of the elementary symmetric polynomials . In general, prove Newton's sums.

### Olympiad

- Let be a real number, and let be a sequence such that , and for . For which values of does for all positive integers ? (WOOT)
- Let be the polynomial , and the polynomial . Prove that we can find a polynomial which is identically equal to . For example, . (1976 Putnam, Problem A2).
- are distinct positive integers such that holds for all positive integer . Prove that there exists such that for . (2010 Chinese MO, Problem 6)

## Hints/Solutions

### Introductory

- A proof of Binet's formula may be found in that link. The characteristic polynomial of the Lucas sequence is exactly the same. Hence, the only thing we have to change are the coefficients.
- We will work out this problem in full detail. The recurrence relation is , and its characteristic polynomial is given by . The roots of this polynomial are and . Thus, a closed form solution is given by . For , we get , and for , we get . Solving gives . Thus, our answer is .
- <url>viewtopic.php?t=282744 Discussion</url> (1958 AHSME, 40)

### Intermediate

- <url>viewtopic.php?t=335138 Discussion</url>
- Answer (2007 iTest 47): The answer is (before taking ).
- <url>viewtopic.php?t=287441 Discussion</url>
- Hint (Newton’s Sum): Let us work backwards. Suppose are the roots of the characteristic polynomial of a linear recurrence. Then apply Vieta's formulas.

### Olympiad

- Hint (WOOT): substitute the closed form solution. It is true for all .
- Hint (1976 Putnam A2): do the even and odd cases separately.
- <url>viewtopic.php?search_id=804457492&t=327474 Discussion</url> (2010 Chinese MO, 6)