MathDB
The number is irrational - [Iran Second Round 1983]

Source:

December 30, 2010

Problem Statement

Prove that the number x=1+2x = \sqrt{1 + \sqrt 2} is irrational.