Cho tam giác ABC và M là một điểm tùy ý trong mặt phẳng của tam giác. Chứng minh rằng điều kiện cần và đủ để cho các hình chiếu D, E, F của M lần lượt trên các cạnh BC, CA, AB thẳng hàng là M nằm trên đường tròn ngoại tiếp tam giác ABC (Định lí Símon; DEF gọi là đường thẳng Simson)