解くべき問題が無くなって暇な人に…

〔掛谷の定理〕
正係数のn次多項式
　F（x）= a_0･x^n + a_1･x^{n-1} ＋ …… + a_{n-1｝･x + a_n,
について
・a_0 > a_1 > a_2 > …… > a_{n-1｝> a_n > 0　ならば
　F（x）= 0 の解の絶対値は１より小さい。
・0 < a_0 < a_1 < a_2 < …… < a_{n-1｝< a_n　ならば
　F（x）= 0 の解の絶対値は１より大きい。