Problems and Theorems in Analysis · 1
If and are rational numbers and is an integer, then and must be rational integers and ; and need not necessarily be rational integers.
If both and are rational, then must have one of the following five values:
Consider the interior angle included between two contiguous faces of a regular solid and call it
according as the solid is a tetra-, hexa-, octa-, dodeca-, or icosahedron (a hexahedron is a cube). Show that the ratios
are irrational.
Show first, using appropriate spherical triangles, that , , , , .
The numbers are called linearly dependent if there exist rational integers not all zero such that . If no relation of this kind exists then are called linearly independent. Thus, if , the numbers and are linearly dependent or independent according as is rational or irrational. The number is algebraic if there exists an (a positive rational integer) such that are linearly dependent.
The numbers (angles) and are linearly dependent; in fact
(see 197.2; it can be also proved by elementary geometry). Yet and are linearly independent.
(continued). Show that and are linearly independent. Also and are linearly independent, and any linear homogeneous relation with rational coefficients between and can differ only trivially (that is, only by a numerical factor) from the one given in 197.3.
If both and are rational then must have one of the following five values (regarding as ``rational''):
With the exception of the four cases , and 8, is irrational for all positive rational integers .