>>520
４ページ目の定理８「ラドンの一般化」の等号成立条件は、
power meanを使っている時点で、a_1 = … = a_n が要るから、
a_1/b_1 = … = a_n/b_n じゃなくて、a_1 = … = a_n かつ b_1 = … = b_n じゃない？