2.3.15

背理法で示す。3+2=q\sqrt{3} + \sqrt{2} = qが有理数とする。 無理数を消すために両辺に32\sqrt{3} - \sqrt{2}をかけると、 1=(32)q1 = (\sqrt{3} - \sqrt{2})qである。 q>0q > 0なのでqqで割ると32=1q\sqrt{3} - \sqrt{2} = \frac{1}{q}である。

最初の等式に足すと23=q+1q, 3=q+1q22\sqrt{3} = q + \frac{1}{q},\ \sqrt{3} = \frac{q + \frac{1}{q}}{2}となる。 右辺は有理数同士の和と除算だけなので有理数であるが、これは3\sqrt{3}が無理数であることに矛盾する。

results matching ""

    No results matching ""