ルート2が無理数であることの証明（方程式による）

動機

代数的数について考えていたら、「有理数って定義1で書けるよね」、と思ったので
これを用いて表題の証明を考えてみたいと思います。議論に穴があったら優しく教えてください。

前提

議論の前提として、以下の命題を示しておく

感覚だが、たぶん成り立つ

解と係数の関係から明らか

$\sqrt{2}$が無理数であることの証明

$\sqrt{2}$は次の方程式の解である。
$$x^2-2=0$$
一方、有理数解をもつ2次方程式は整数$a_1$、$b_1$、$a_2$、$b_2$を用いて
$$(a_1x-b_1)(a_2x-b_2)=0$$
と表せる。
よって$\sqrt{2}$が有理数であると仮定すると、以下の恒等式が成立するような
整数$a_1$、$b_1$、$a_2$、$b_2$が存在する。
$$(a_1x-b_1)(a_2x-b_2)=x^2-2$$
つまり
$$a_1a_2x^2-(a_1b_2+a_2b_1)x+b_1b_2=x^2-2$$
各次数の係数を比較すると
$$a_1a_2=1$$
$$a_1b_2+a_2b_1=0$$
$$b_1b_2=-2$$
$a_1a_2=1$を満たす整数$(a_1,a_2)$の組は$(1,1)、(-1,-1)$の2組である。
$b_1b_2=-2$を満たす整数$(b_1,b_2)$の組は
$(-1,2)、(1,-2)、(-2,1)、(2,-1)$
の4組である。
どの組み合わせを選んでも$a_1b_2+a_2b_1=0$を満たさないので、所望の整数$a_1$、$b_1$、$a_2$、$b_2$の組は存在しない。
よって$\sqrt{2}$は無理数である。

おわりに

代数的数は「整数係数の代数方程式の解になり得る数」と定義されるそうです。
「因数分解できない$n$次の代数方程式の解となり得る数」を$n$次の代数的数として
代数的数を分類したら面白かったりするんだろうか