Talk:Square Root of 2 is Irrational

Complaint
Proof 2 is not a proof. --Ilan 17:30, 23 April 2012 (EDT)


 * Yes it is. --Alec  (talk) 22:38, 23 April 2012 (EDT)


 * Regarding our good friend Ilan's proof: :$\displaystyle (\sqrt{2} - 1)^n = a_n + b_n\sqrt{2} = \frac{a_n q + pb_n}{q}: a_n,b_n \in \Z$, can't make heads or tails of it, how does this follow from the binomial theorem? --GFauxPas 22:47, 23 April 2012 (EDT)


 * It seems correct to me:


 * Does that help to clarify? --abcxyz 23:13, 23 April 2012 (EDT)
 * Whoa yeah it does, good explanation. I never would've thought to split it that way into odd and even indices, is that a trick that's used a lot in proofs? --GFauxPas 23:18, 23 April 2012 (EDT)
 * Oh man, now I'm gonna feel like an idiot for deleting this if I'm wrong. Anyway, is there something I'm missing about why $a_n$ and $b_n$ are both positive?  DISREGARD THAT, they don't have to both be positive as long as the numerator is positive, which it must be since the whole fraction is positive.  So yes, I feel like an idiot, and my reversion has been reverted:p --Alec  (talk) 23:26, 23 April 2012 (EDT)
 * No I'm glad you made the mistake Alec, it means I'm not the only one who didn't get it <3 blame Ilan for not writing it well. I'm trying to "fix" it. --GFauxPas 23:30, 23 April 2012 (EDT)
 * I was trying to find the page that gave the desired contradiction for the convergence/divergence. Perhaps I should wait until after coffee for these things. --GFauxPas 10:56, 24 April 2012 (EDT)