日記2

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

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

定理1.11 15項

定理1.11 15項 のとき,,とする.このとき (ⅰ) () (ⅱ) () (ⅲ) () () (ⅳ) () (ⅴ) () () と成る. (証明) すべて同じ証明なので(ⅰ)のみを示す. s.t. () ① s.t. () ① s.t. () ② < < < を考える. に対して と置くと < < < ☆ () i.e. < < < であるから < i.e. <…