このとき、−4と書くことができる。上の平均をとると消えるので、4の左辺の絶対値は三角不等式によって−5と−6で押さえることができる。あとはそれぞれを評価すればよろしい。導入すれば(分割をとっているので和の項で非零になり得るのは一項だけであることに注意)、これはと書くことができる。1を使えば−7と書き直せる。以下であることからと評価できる。よって、Cauchy-Schwarzの不等式より−8と評価できる。以下なので、三角不等式よりが成り立つ。以下なので、直交関係式とCauchy-Schwarzの不等式よりである。2よりなので、が成り立ち、と評価できる。上から押さえられることが示された。導入すれば(5の評価と同じ記号であるが定義し直している)、これはと書くことができる。1を使えば−9と書き直せる。5の評価のときと同様に−10と評価できる。以下なので、三角不等式よりが成り立つ。以下なので、直交関係式とCauchy-Schwarzの不等式よりである。2よりが成り立つので、と評価できる。上から押さえられることが示された。t...2017-09-22タオのセメレディ論文の§10を読む(その二)この記事でSzemerédiの定理の証明が完結します。»プロフィールid:integers整数、特に素数が大好き。素数に恋する女アジマティクスCorollaryは必然に。(22)広告について当ブログはお金を支払って「はてなブログPRO」を使用しているため広告は表示されません。将来にわたって広告などによる収入を得ることはありません。「はてなブログPRO」を解約し無料プランに変更したため、以降広告が表示されます。管理人が収入を得ていないことは変更ございません。はてなブログをはじめよう!integersさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。