This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Suppose that there is an irrational number ′ a ′ such that
A = n a + a 2 − 1 + n a − a 2 − 1 is rational
Let α = n a + a 2 − 1
Then α 1 = n a + a 2 − 1 1 = n a − a 2 − 1 (By Rationalizing)
⟹ A = α + α 1 is rational
We will prove that whenever A is rational this implies α n + α n 1 is rational.
We check with the starting powers 2 and 3
α 2 + α 2 1 = ( α + α 1 ) 2 − 2 is rational
and α 3 + α 3 1 = ( α + α 1 ) 3 − 3 ( α + α 1 ) is rational.
Using the identity ( α k + α k 1 ) = ( α k − 1 + α k − 1 1 ) ( α + α 1 ) − ( α k − 2 + α k − 2 1 )
it follows by induction that ( α k + α k 1 ) is rational for all positive integers k , hence ( α n + α n 1 ) is rational.
Thus ( a + a 2 − 1 + a − a 2 − 1 ) = 2 a is rational, which contradicts our assumption that ′ a ′ is irrational.
We conclude that there is N O irrational number ′ a ′ such that
A = n a + a 2 − 1 + n a − a 2 − 1 is rational