>>429
xが正の有理数であるとすれば、0<x<1のはずなので、
x=b/a （b<aでa,bは公約数を持たない）
とおいて式変形すればよいのでは？