KMO 2015

For a fixed positive integer $k$ , there are two sequences $A_n$ and $B_n$ . They are defined inductively, by the following recurrences. $A_1 = k$ , $A_2 = k$ , $A_{n+2} = A_{n}A_{n+1}$ $B_1 = 1$ , $B_2 = k$ , $B_{n+2} = \frac{B^3_{n+1}+1}{B_{n}}$ Prove that for all positive integers $n$ , $A_{2n}B_{n+3}$ is an integer.

There are $2015$ distinct circles in a plane, with radius $1$ . Prove that you can select $27$ circles, which form a set $C$ , which satisfy the following.

For two arbitrary circles in $C$ , they intersect with each other or For two arbitrary circles in $C$ , they don't intersect with each other.