(1)
とおく。
…☆ である。
極値をとるのは つまり
のときであり、その値は
である。
のとき
であり、これらと極値をとる
との間の変化は単調であることに注意すると、グラフは(略)。
(2)
☆の両辺を から
まで積分して、
(与式左辺)-(与式右辺)
であるから、これが0となるとき すなわち
である。
(3)
(与式左辺)-(与式右辺) となる。右辺の被積分関数は
のとき正である。
であり、これらが相異なるので積分の値は0ではない。したがって与式の等号は成立しない。