>>439
　[>>442]の続き
　↑AM(k) = (1 -k/n)↑AB + (k/n)↑AC かつ ↑AB ⊥ ↑AC より [>>445]も参照して
　|↑AM(k)|^2 = (1 -k/n)^2 |↑AB｜^2 + (k/n)^2|↑AC|^2
　Σ[k=1 to n-1] |↑AM(k)|^2 = {Σ[k=1,n-1] (k/n)^2}{|↑AB|^2 + |↑AC|^2}
　= {(2n-1)(n-1)/6n}|↑BC|^2 = {(2n-1)(n-1)/6n}a^2.

>>454　
　整式には、 x^4 +x^2 +1 = (x^2 +1)^2 -x^2 = (x^2 +x+1)(x^2 -x+1).
　実はこれ以上できぬ {(x +1/2)^2 +3/4}{(x -1/2)^2 +3/4} >(3/4)^2.