16/02/27 00:45:19.91 1+fqVkkU.net
>>228
根a,b(a≠bとする)が有理数であれ無理数であれ、
根の一次式VとしてV=a-b(≠V')を考えることにすれば、
>>170の方法に従ってV,V'を根とするVの方程式
Π{V-ψ(a,b)}={V-(a-b)}{V-(b-a)}=0
を構成することができる。左辺は根a,bを置換して掛け合わせたものだ。
このVの方程式がQ上可約だろうが既約だろうが、>>170の方法に従い、
aを固定することによりF(V,a)=V-(a-b)=0なる方程式が得られる。
ここからa=f(V),同様にb=f(V')なるVの式fが得られることは既に示した。
俺が上記および>>211や>>215で示したのは
『与えられた方程式の根a,b(a≠b)が有理数であっても
a=f(V)かつb=f(V')なるfは存在する。』である。
これは>>170に引用されたfの構成方法に沿っている。
お前はこれが間違っていると言いたいのか？