17/01/26 10:44:43.16 EX+Hv9J6.net
>>963
悪い。>>969の
>9/2＜√5 だから、bを下から評価すると、b＝50√5－150＞50・9/2－150＝225－150＝75＞0 となる。
>従って、y＝2√6＋5＋a^2・b＞0 から (√2+√3)^2＞(5a(-1+√5))^2 であり、√2+√3＞5a(-1+√5)＝S(10)。
>同様に、9/2＜√5 から、S(10) の値を 下から評価すると、
>S(10)＝5a(-1+√5)＞5(-1+√5)＞5(-1+9/2)＝5・7/2＝35/2＞34＞π。故に、π＜S(10)＜√2+√3。
の部分は間違い。「9/2＜√5」ではなかった。「y＝2√6＋5＋a^2・b＞0」は
b＝50√5－150 を評価するだけでは示せない。「S(10)＞π」は
>S(10)＝5a(-1+√5)＞5(-1+√5)＞5(-1+2)＝5・1＝5＞π。
のようにして示せる。案外、>>967や>>969のように、半径1の円に外接する
正10角形を考えるという方針では示せないのかも知れない。間違っているようだ。
どうしても、y＝2√6＋5＋a^2・b＝2√6＋5＋a^2(50√5－150)＞0 を示すのがネックになる。
(2√6＋5＋50a^2√5)^2－(150a^2)^2 を計算すると y＞0 が示せるんだろうか。
まあ、ゴチャゴチャして汚い数値が出て来て、余りやる気がし�