Define a sequence hf0(x), f1(x), f2(x), . . .i of functions by
f0(x) = 1, f1(x) = x,
􀀀
fn(x)

2
− 1 = fn+1(x)fn−1(x), for n  1.
Prove that each fn(x) is a polynomial with integer coefficients