満たす\(X\)の要素\(a\)が存在する。0\)とすると、中間値の定理より\(f'(x)\)は常に\(0\)以上か常に\(0\)以下である。常に\(0\)以上として一般性を失わない。満たす\(Y\)の要素\(a\)が存在する(\(a\)は\(X\)の要素でもある)。(証明終わり)※上の証明は葛貫森信(くずにゃん)さんの以下のツイートをもとにしています。@hyuki『数学ガール』作者。結城メルマガとWeb連載を毎週書いてます。文章書きとプログラミングが好きなクリスチャン。noteお話の一覧を見る。