Let nn be a positive integer. We show that a unit rational space vector whose multiple by nn is an integer vector can be extended to a rational orthonormal basis whose all members have the same property.
生成讲解博客的中文版本
生成AI智能校验的中文版本