Cho một điểm A cố định và một đường thẳng a cố định không đi qua A. Gọi O là một điểm thay đổi trên a. Chứng minh rằng các mặt cầu tâm O bán kính r = OA luôn luôn đi qua một đường tròn cố định