>>323
判別式が正の平方数のときだけ可能だよ。

>>326
連続性を課せば、実数上の稠密な部分集合である有理数上の関数を
一意に実数上の関数へ拡張できるはず。