>>731
aとbが互いに素 ⇔ an - bc = 1となる自然数、n, c がある。
bc/a の整数部を nとすれば 小数部は bc/a-n.

こんなところかなあ。