MathDB
Power Series with special coefficients is rational function

Source: VJIMC 2017, Category II, Problem 1

April 2, 2017
algebrapolynomialrational functionfunction

Problem Statement

Let (an)n=1(a_n)_{n=1}^{\infty} be a sequence with an{0,1}a_n \in \{0,1\} for every nn. Let F:(1,1)RF:(-1,1) \to \mathbb{R} be defined by F(x)=n=1anxnF(x)=\sum_{n=1}^{\infty} a_nx^n and assume that F(12)F\left(\frac{1}{2}\right) is rational. Show that FF is the quotient of two polynomials with integer coefficients.