√3が無理ムリ数スウであること。
	√3が、有理数ユウリスウと仮定カテイすると、√3は、ある正セイの整数セイスウｐ、ｑによって以下イカのようにかけなければならなくなる。
	√3＝ｐ/ｑ　 　 　 　 　 ｐ、ｑは、有限ユウゲンな正セイの整数セイスウ。
	両辺リョウヘンを２乗ジョウして式シキを変形ヘンケイすると
	3×ｑ^2＝ｐ^2		�@
	左辺サヘンは、3を因数インスウにしているから、したがって、右辺ウヘンも３を因数インスウにしていなければならない。
	よって、ｐ＝3ｍと書カけなければならない。　このとき、ｍも正セイの整数セイスウ。
	すると、
	３×ｑ^2＝９×ｍ^2
	両辺リョウヘンを３で割ワって
	ｑ^2＝３×ｍ^2		�A
	�A式において 右辺は明らかに3を因数インスウにもつため、左辺もまた、３を因数インスウにもつこととなり、先サキと同様ドウヨウに
	ｑ＝３ｎと書カけなければならない。		このとき、ｎは正セイの整数セイスウ。
	９×ｎ^2＝３×ｍ＾2
	両辺リョウヘンを３で割ワって
	３×ｎ＾2＝ｍ＾2		�B
	以下イカ、こうした�Aと�Bの操作ソウサは　交互コウゴに無限ムゲンに繰クり返カエすことになる。
	しかし、この操作ソウサが無限ムゲンに続ツヅくことは、
	ｐ→∞、ｑ→∞
	を意味イミする。（3を因数インスウに無限ムゲンにもつ訳ワケだから：ｐ＝3×3×3×3×3×・・・×何ナンかの正セイの整数セイスウ）
	これは、√3が有限ユウゲンなｐ、ｑでは表現ヒョウゲンできないことであり、√3が有理数ユウリスウでないことを意味イミする。
	証明ショウメイ終オワ