Yanofsky's proof of irrationality of sqrt(2): Drawn V.Pratt (a − b)² (a − b)² (2b − a)² a a b b b b