This question was asked in Ex 14.1, 1
Prove that root 5 is irrational

Voil Ansari's image