質問<691>
「「有心卵形:楕円の面積」」
日付 2001/11/14
質問者 だこりん


[問題]
a,b,cを実数として(a>0)
D=b^2-4ac<0ならば、
f(x,y)=ax^2+bxy+cy^2とおくとき、
f(x,y)≦2\(\sqrt{\quad}\)|D|/π
は(x,y)≠(0,0)以外の整数解を持つ事を示せ。

という問題において、f(x,y)=kは平面上の
楕円を表し、Sは原点を中心とする有心卵形で、
面積A(S)=2kd/\(\sqrt{\quad}\)|D|
である事が分かりません。これが分かれば、
k=2\(\sqrt{\quad}\)|D|/πのとき、A(S)=4なので
Minkowskyの定理から問題解決となるの
ですが・・。期限が迫ってるので出来るだけ
早く教えてください。よろしくお願いします。

お便り
日付 2002/9/2
回答者 juin


f(x,y)=a\(x^{2}\)+bxy+c\(y^{2}\)は2次形式なので、
直交行列を使って変数変換すると
a\(x^{2}\)+bxy+c\(y^{2}\)=p\(X^{2}\)+q\(Y^{2}\)と書ける。
ここで、p,qは固有値である。
a+c=p+q,ac-(\(\frac{b}{2}\)\()^{2}\)=pqを満たす実数である。
直交行列による変換は、座標軸の回転だから2点の距離を保つ。

a>0,\(b^{2}\)-4ac<0だから、c>0.よってp,qは正の実数である。
p\(X^{2}\)+q\(Y^{2}\)=kとすると、
これは、k>0のとき楕円を表し、
面積は
π(\(\sqrt{\quad}\)\(\frac{k}{p}\))(\(\sqrt{\quad}\)\(\frac{k}{q}\))=πk/\(\sqrt{\quad}\)(pq)
        =πk/\(\sqrt{\quad}\)(-D/4)
        =2πk/\(\sqrt{\quad}\)(-D)
よって、
元の2次形式a\(x^{2}\)+bxy+c\(y^{2}\)=kも楕円を表し、
面積は2πk/\(\sqrt{\quad}\)(-D)である。