An Integer Hidden in a Recursion

Problem

A sequence {an}\{a_n\} satisfies a1=1a_1 = 1 and

an+1=12an+1an.a_{n+1} = \frac{1}{2}a_n + \frac{1}{a_n}.

Prove that for every n2n \geqslant 2,

2an22\frac{2}{\sqrt{a_n^2 - 2}}

is a positive integer.

Answer

Solution

Difficulty8/10
Topicsnumber theory, Recursion, sequences, Induction

Whiteboard

Your sketch is saved only in this browser. To share it, export your drawing as an image (whiteboard menu → Export as → PNG), then upload that image in the comments below.

Discussion

Ask questions, share alternate solutions, and use LaTeX freely.

0 comments
Log in to join the discussion.

No comments yet.