高校基礎(理系)

ウォリス積分，またはワリス積分 (Wallis integral) と呼ばれる積分\int_0^{\pi/2} \sin^n x dx, \int_0^{\pi/2} \cos^n x dx について紹介しましょう。証明は理系高校生でも理解できるものです。

高校理系数学や大学教養数学（微分積分学）に登場する，平均値の定理 (mean value theorem) と，その準備としてロルの定理 (Rolle's theorem) をわかりやすく紹介し，それぞれの証明を行います。