■円周等分と正１７角形（その８５）
実２次体Ｑ（√2）の整数環はユークリッド整域であり、したがって、一意分解整域である。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
実２次体Ｑ（√3）の整数環はユークリッド整域であり、したがって、一意分解整域である。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
