Cho mặt phẳng (P). Gọi A là một điểm nằm trên (P) và B là một điểm nằm ngoài (P) sao cho hình chiếu H của B trên (P) không trùng với A. Một điểm M chạy trên mặt phẳng (P) sao cho góc ∠ABM = ∠BMH. Chứng minh rằng điểm M luôn luôn nằm trên một mặt trụ xoay có trục là AB.