ていうか、とりあえず代数的に解いて、
出た解を吟味するのがアルゴリズム的には簡単。