(1) の外心をとおく。 を満たすようにをとると、の外心はである。つまり、はを中心とする半径1の円周上にある。 ここで、である。これよりはの中点であるからを中心とする半径1の円周上または内部に存在する。すなわちであり、についても同様。 (2) の外心を…

とおく。被積分関数をとおく。より、よりであるから、最大値はの範囲で求めればよい。 とおくと、（）よりは広義単調増加なので、のとき、よりである。 従って、であるから、最大値はとなる。は周期の周期関数である。はを一周期分積分した値であるからの値…