A Proof of Irrationality of by Contraposition
We point out that the proof of irrationality of by Niven can be modified to a proof by contraposition. As a warm-up, we also give a proof of irrationality of and in a similar way.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We point out that the proof of irrationality of π by Niven can be modified to a proof by contraposition. As a warm-up, we also give a proof of irrationality of 2 and 3 in a similar way.
A three-dimensional orthoscheme is defined as a tetrahedron whose base is a right-angled triangle and an edge joining the apex and a non-right-angled vertex is perpendicular to the base. A generalization, called complete orthoschemes, of orthoschemes is known in hyperbolic geometry. Roughly speaking, complete orthoschemes consist of three kinds of polyhedra; either compact, ideal or truncated. We consider a particular family of hyperbolic complete orthoschemes, which share the same base. They are parametrized by the "height", which represents how far the apex is from the base. We prove that the volume attains maximal when the apex is ultraideal in the sense of hyperbolic geometry, and that such a complete orthoscheme is unique in the family.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.