［５］φ＝（１＋√５）／２は無理数である

　ｘは無理数，ａ，ｂ，ｃ，ｄは有理数とする．このとき

　　ｙ＝（ａｘ＋ｂ）／（ｃｘ＋ｄ）

は無理数である．なぜなら．ｙが有理数ならば

　　ｘ＝（ｄｙ−ｂ）／（ａ−ｃｙ）

は有理数となり矛盾が生じる．これよりφは無理数である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝