You're doing great at the moment, there's just a few more steps to the proof. Consider two cases: a,b are even, and a,b are odd. a,b being even is very similar to the irrationality proof of sqrt(2), just as jedishrfu said. So, now consider when they are odd, and substitute simple expressions for...