>>453 >>459

正係数のn次方程式
Σ[j=0，k] a_j {x^(n-j) + x^j} = 0,　（n>2k)
について、

a_0 > a_1 > a_2 > … > a_{n-1} > a_n > 0
ならば、解の絶対値はすべて１である。

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/141059/1/1665-03.pdf
http://suseum.jp/gq/question/2869　（アンドロメダ氏）
http://www.casphy.com/bbs/highmath/472060/269　（不等式２）