[HEOI2012]Akai 的数学作业

题目：
https://www.luogu.com.cn/problem/P4598

给出一个一元$n$次方程：
$$a_0+a_{1}x+a_2{x}^2+...a_n{x}^n=0$$
求此方程的所有有理数解。$n\le 100,|a_i|\le 2\ast 10^7,a_n\ne 0$

思路：
设$x=\frac{p}{q}$，且gcd(p,q)=1，则有：
$$\sum _{i=0}^n{a}_i(\frac{p}{q}{)}^i=0$$
通分得：
$$\sum _{i=0}^n{a}_i{p}^i{q}^{n-i}=0$$
取模有：
$$\{\begin{array}{l}{a}_0{q}^n+{\sum }_{i=1}^n{a}_i{p}^i{q}^{n-i}\equiv 0(modp)\\ {\sum }_{i=0}^{n-1}{a}_i{p}^i{q}^{n-i}+a_n{p}^n\equiv 0(modq)\end{array}$$
得：
$$\{\begin{array}{l}{a}_0{q}^n\equiv 0(modp)\\ a_n{p}^n\equiv 0(modq)\end{array}$$
因为$gcd(p,q)=1$，得：
$$\{\begin{array}{l}p|a_0\\ q|a_n\end{array}$$
当然如果$a_0=0$ 的话需要找到一个最小的$t$满足$a_t\ne 0$，然后就可以枚举$p|a_0,q|a_n$，然后暴力判断是否可行，判断的方法和解方程这道题一样，即放到模$mod$剩余系下判断是否为$0$