This question was asked in Ex 12.3, 16

Prove that 1/root 2 is irrational

Bimi Singh's image