>>48
任意の正の数tに対してf(t)=tまたはf(t)=1/tになるのは
確かにそのとおりなのだが、この論証だけだともしかしたら
f(x)=x(xが有理数のとき)
f(x)=1/x(xが無理数のとき)の可能性もあるわけ
むしろこの問題の本質はココであって>>583は序章を解いたにすぎない