>>449
(1）は新潟大学ですね。

>>451
〔掛谷の定理〕
F(x）= a_0 x^n + a_1 x^{n-1} ＋ …… + a_{n-1｝x + a_0,
　a_0 > a_1 > a_2 > …… > a_{n-1｝> a_n > 0
ならば、F(x）= 0 の解の絶対値は１より小さい。

(略証）
F(0）= a_n >0，F(1）> 0,
(1 - 1/x）F(x）/ x^n = a_0 - Σ[j=1，n］（a_{j-1} - a_j)/x^j - a_n / x^(n+1),
x=1 のときは
　0 = a_0 - Σ[j=1，n］(a_{j-1} - a_j）- a_n,
辺々引いて
(1 - 1/x）F(x) / x^n = Σ[j=1，n+1］（a_{j-1} - a_j)(1 - 1/x^j) + a_n（1 - 1/x^{n+1}),
ここで、｜x｜≧1, x≠1 ならば
Re｛1/x^j｝≦｜1/x|^j ≦ 1,
であるが、等号成立は x=1 に限るので
Re｛1 - 1/x^j｝> 0,
∴ Re｛右辺｝> 0,
∴ F(x）≠ 0,
∴｜α｜<1
http://www004.upp.so-net.ne.jp/s_honma/solution/solution.htm

「經濟研究」の別証明は、あまりにも迂回的で逆行的でござるな。
市大とちゃんと統合成立するかなぁ？