有理数 q に対して, ある四整数 a, b, c, d が存在し, b＞0 かつ d=-b かつ gcd(a,b)=gcd(c,d)=1 かつ q=a/b=c/d.その四整数の組は有理数に対して一通りしかない.

続きを読む