A well-motivated proof that pi is irrational

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Chow, Timothy Y.
Format: Preprint
Veröffentlicht: 2024
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866916184154177536
author Chow, Timothy Y.
author_facet Chow, Timothy Y.
contents Ivan Niven's succinct proof that pi is irrational is easy to verify, but it begins with a magical formula that appears to come out of nowhere, and whose origin remains mysterious even after one goes through the proof. The goal of this expository paper is to describe a thought process by which a mathematician might come up with the proof from scratch, without having to be a genius. Compared to previous expositions of Niven's proof, perhaps the main novelty in the present account is an explicit appeal to the theory of orthogonal polynomials, which leads naturally to the consideration of certain integrals whose relevance is otherwise not immediately obvious.
format Preprint
id arxiv_https___arxiv_org_abs_2403_20140
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle A well-motivated proof that pi is irrational
Chow, Timothy Y.
History and Overview
Number Theory
11J72
Ivan Niven's succinct proof that pi is irrational is easy to verify, but it begins with a magical formula that appears to come out of nowhere, and whose origin remains mysterious even after one goes through the proof. The goal of this expository paper is to describe a thought process by which a mathematician might come up with the proof from scratch, without having to be a genius. Compared to previous expositions of Niven's proof, perhaps the main novelty in the present account is an explicit appeal to the theory of orthogonal polynomials, which leads naturally to the consideration of certain integrals whose relevance is otherwise not immediately obvious.
title A well-motivated proof that pi is irrational
topic History and Overview
Number Theory
11J72
url https://arxiv.org/abs/2403.20140