>>933

・直線がy軸に平行の場合
　xは一定である。
　xが有理数rのとき、有理数のyをとれば成立。
　xが無理数qのとき、無理数のyをとれば成立。

・直線がy軸に平行でない場合。各実数xに対して y=f(x) が定まる。
　rが有理数で、f(r) も有理数ならば 成立。
　qが無理数で、f(q) も無理数ならば 成立。
　それ以外のとき、f(r)は無理数で f(q)は有理数。
　それらの中点では x=(q+r)/2, y={f(q)+f(r)}/2 だから、いずれも無理数。
　よって成立。

すごくつまらないでつ