IMO 1979 LL GRE35

Origin: GRE

Problem

Given a sequence (an), with a1 = 4 and an+1 = a2 n−2 (\foralln \inN), prove that there is a triangle with side lengths an −1, an, an + 1, and that its area is equal to an integer.