>>594
次の順に証明できるはず。
A={q|q>0} と C={q|q>√2} は同相
B={q|q<0} と D={q|q<√2} は同相
Q-{0}=A∪B と Q=C∪D は同相。