実２次体の基本単数は一意に定まります．Ｑ（√ｍ）を実２次体とすると，

［ａ］ｍ＝２，３（ｍｏｄ４）のとき

　基本単数を

　　ε＝ａ＋ｂ√ｍ

とすると

　　ε~＝ａ−ｂ√ｍ

εが単数←→εε~＝ａ^2−ｍｂ^2＝±１

また，

　　ε^n＝ａn＋ｂn√ｍ

と書くと

　　ε^(n+1)＝ε・ε^n＝（ａ＋ｂ√ｍ）（ａn＋ｂn√ｍ）

　　　　　　＝ａａn＋ｂｂnｍ＋（ａｂn＋ｂａn）√ｍ

　これより

　　ａn+1＝ａａn＋ｂｂnｍ

　　ｂn+1＝ａｂn＋ｂａn

　このことから０＜ａ1＜ａ2＜・・・，０＜ｂ1＜ｂ2＜・・・となるのですが，より，ａ，ｂはペル方程式：

　　ａ^2−ｍｂ^2＝±１

の解の中で（ａ，ｂ）が最小なものとして与えられます．ペル方程式の自明な解（ａ＝±１，ｂ＝０）には単数±１が，自明でない解のなかで絶対値｜ａ｜または｜ｂ｜が最小なものには基本単数が対応するというわけです．

　Ｑ（√２），Ｑ（√３），Ｑ（√６），Ｑ（√７）の基本単数を求めると，それぞれ，

　　ｘ^2−２ｙ^2＝±１，複号は−１で（１，１）が最小→ε＝１＋√２

　　ｘ^2−３ｙ^2＝±１，複号は＋１で（２，１）が最小→ε＝２＋√３

　　ｘ^2−６ｙ^2＝±１，複号は＋１で（５，２）が最小→ε＝５＋２√６

　　ｘ^2−７ｙ^2＝±１，複号は＋１で（８，３）が最小→ε＝８＋３√７

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