MathDB
recurrence relation wanted, number of numbers with n digits related

Source: Netherlands - Dutch NMO 1962 p3

January 31, 2023
number theoryrecurrence relationDigits

Problem Statement

Consider the positive integers written in the decimal system with nn digits, the start of which is not zero and where there are no two sevens next to each other. The number of these numbers is called unu_n. Derive a relation that expresses un+2u_{n+2} in terms of un+1u_{n+1} and unu_n.