﻿A quadratic corollary of Green-Tao Theorem - N. Lygeros

A quadratic corollary of Green-Tao Theorem

N. Lygeros

 Theorem (Green-Tao) Let A be any subset of the prime numbers of positive relative upper density, thus where denotes the number of primes less than or equal to N. Then A contains arithmetic progressions of length K for all K. Specialization : Consider the set of primes p = 1 (mod 4) Theorem : (classical) Every prime p = 1 (mod 4) can be written as the sum of two squares. Quadratic corollary : There are arbitrarily long arithmetic progressions consisting of numbers which are the sum of two squares. Special case : k = 4. Theorem (Heath-Brown) Let S be the set of sums of two squares. There are infinitely many 4-term arithmetic progressions in S. Proof : The numbers (n-1)2+(n-8)2, (n-7)2+(n+4)2, (n+7)2+(n-4)2 and (n+1)2+(n+8)2 form a 4-term arithmetic progression for any strictly positive integer. Remark : n = 1 : 72, 62+52, 82+32, 22+92 (Degenerated cases) n = 4 : 32+42, 32+82, 112, 52+122 n = 7 : 62+12, 112, 142+32, 82+152 n = 8 : 72, 12+122, 152+42, 92+172

Opus
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://lygeros.org/articles.php?n=832&l=en", "fetch_time": 1560735659000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2019-26/segments/1560627998339.2/warc/CC-MAIN-20190617002911-20190617024911-00273.warc.gz", "warc_record_offset": 110801501, "warc_record_length": 2218, "token_count": 362, "char_count": 1089, "score": 3.625, "int_score": 4, "crawl": "CC-MAIN-2019-26", "snapshot_type": "latest", "language": "en", "language_score": 0.7663795948028564, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00051-of-00064.parquet"}