integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 等間隔に並ぶ素数を追い求めて Goldston-Yıldırım型定理Aを仮定して、が-線形形式条件を満たすことを証明します。命題 (Proposition 9.8) は-線形形式条件を満たす。を代表元をとる関数とする(全成分で代表元をとる写像も同じ記号を用いる)。証明. を正整数とする。分母・分子の絶対値が以下の個の有理数であって、個のベクトル はどの二つをとっても上一次独立であるようなものをとる。十分大きい素数を考え、各有理数を自然にの元とみなし、を任意にとって、に対して線形形式 をで定義する。このとき、示すべきことはであった。絶対値に関する条件をに置き換えることによって、は整数であると仮定してよい。理由: 有理数達の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2017%2F10%2F02%2F120000" title="グリーン・タオ論文の§9を読む（その二） - INTEGERS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/i/integers/20171002/20171002022254.png Hatena Blog https://hatena.blog 2017-10-02 12:00:00 rich https://integers.hatenablog.com/entry/2017/10/02/120000 1.0 100%