分式方程有正整数解的条件