ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F9687 on D5468: Triadic rational number
F9687
Formulation 0
A D994: Rational number $q \in \mathbb{Q}$ is a triadic rational number if and only if \begin{equation} \exists \, n \in \mathbb{Z}, \, m \in \mathbb{N} : q = \frac{n}{3^m} \end{equation}