>22-23を踏まえて
√2は無理数であることを背理法を使わずに示せ。