(Q180345)

Statements

instance of

theorem

0 references

root-finding algorithm

0 references

defining formula

${\displaystyle \forall x\in \mathbb {Q} \forall a_{0},a_{n}\in \mathbb {Z} \setminus \{0\}\forall a_{1},\dotsc ,a_{n-1}\in \mathbb {Z} \colon a_{n}x^{n}+a_{n-1}x^{n-1}+\dotsb +a_{0}=0\implies \exists p,q\in \mathbb {Z} \colon (x=p/q\land \gcd\{p,q\}=1\land p\mid a_{0}\land q\mid a_{n})}$

1 reference

imported from Wikimedia project

English Wikipedia

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers