This question was asked in Ex 1.3, 2

Prove that root 2 is irrational

Hashman Sarao's image