Phương trình mặt cầu và xác suất có điều kiện