On angles whose squared trigonometric functions are rational

From MaRDI portal



Abstract: We consider the rational linear relations between real numbers whose squared trigonometric functions have rational values, angles we call ``geodetic. We construct a convenient basis for the vector space over Q generated by these angles. Geodetic angles and rational linear combinations of geodetic angles appear naturally in Euclidean geometry; for illustration we apply our results to equidecomposability of polyhedra.


The authors consider what they call pure geodetic angles, i.e., angles for which the squared trigonometric functions assume rational (or infinite) values. The term mixed geodetic angle is to mean a linear combination of pure geodetic angles with rational coefficients. Clearly, the mixed geodetic angles form a vector space over the rational numbers. An explicit basis of this space is given. These results are applied to the problem of equidecomposibility of polyhedra.











This page was built for publication: On angles whose squared trigonometric functions are rational

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1807607)