>>301
n=0 も含めるなら
 + (1/10) (-1)^n δ_{n,0}
を追加せねば…
(n≧1 には影響ないが)


>>302
 AE・EC = BE・ED = x^2 とおく。

 AE:EC = ad:bc より
 AC = AE + EC = (ad+bc)/√(abcd)・x

 BE:ED = ab:cd より
 BD = BE + ED = (ab+cd)/√(abcd)・x

これらを トレミーの定理
 AC + BD = ac+bd,
に入れる。
 x^2 = abcd(ac+bd)/{(ad+bc)(ab+cd)},