On rational points of orthogonal group
  Let $n$ be a positive integer. We show that a unit rational space vector whose multiple by $n$ is an integer vector can be extended to a rational orthonormal basis whose all members have the same property. 
Masanori Kobayashi, Chikara Nakayama
math.NT