Maximaなどの数式処理ソフトでその辺の判定できないかな