BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Akira Ushijima appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
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 $\sqrt{2}$ and $\sqrt{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.