日記2

自然演繹を積極的に用いたい.

2023-10-29から1日間の記事一覧

定理2.8 平均値の定理 55項

定理2.8 平均値の定理 55項 とする.このときが区間で連続・微分可能なら s.t. < < s.t. が成立する. (証明) 区間で適当に < < となるようにを選んで,が区間で連続・微分可能より () に対して である.より であるから i.e. 同様にして,より i.e. を得る…

定理2.7 ロルの定理 54項

定理2.7 ロルの定理 54項 とする.このとき,が(開閉どちらでも)区間で連続,(開閉どちらでも)区間で微分可能なときとなる( < < )が存在する. (準備) 関数について s.t. s.t. s.t. i.e. とする. 閉区間について i.e. < < 選言三段論法 開区間について < < …