>342
【加比の理】
　bd>0 ⇔ r=(a+c)/(b+d) は a/b と c/d の中間にある。
(略証)
　ad-bc =⊿ とおく。
　(a/b) -r = ⊿/{b(b+d)},
　r -(c/d) = ⊿/{d(b+d)}.
　を辺々かけて
　{(a/b) -r}{r -(c/d)} = ⊿^2 /{bd(b+d)^2}.　(終)