Định lý Sylvester–Gallai

Phiên bản xạ ảnh và đối ngẫu

Cũng có thể xem xét sự tồn tại của đường thẳng tầm thường cho các điểm trên mặt phẳng xạ ảnh thực RP² thay vì mặt phẳng Euclid. Phiên bản này không phải là tổng quát hơn do mọi tập hữu hạn điểm xạ ảnh đều có thể được biến đổi thành một tập hợp điểm Euclid sao cho các đường thẳng tầm thường được giữ nguyên, tuy nhiên cách nhìn xạ ảnh giúp cho việc mô tả một số cấu hình dễ dàng hơn.
Theo đối ngẫu xạ ảnh, việc tồn tại đường thẳng tầm thường cho một tập n điểm không thẳng hàng trong RP² là tương đương với việc tồn tại một điểm tầm thường trong một tập hợp hữu hạn các đường thẳng không đồng quy. Một điểm là tầm thường nếu nó là giao của đúng hai đường thẳng.

Chứng minh của Kelly

Xem chứng minh của Gallai chẳng hạn ở Borwein & Moser (1990). Sau đây là chứng minh của Kelly.
Giả sử phản chứng là tồn tại một tập hợp S gồm hữu hạn điểm không thẳng hàng nhưng mọi đường thẳng qua hai điểm trong S đều chứa ít nhất ba điểm. Một đường thẳng gọi là đường nối nếu nó đi qua ít nhất hai điểm trong S. Giả sử (P,l) là cặp điểm và đường nối có khoảng cách dương nhỏ nhất trong mọi cặp điểm-đường nối.
Theo giả thiết, l đi qua ít nhất ba điểm trong S, nên nếu hạ đường cao từ P xuống l thì tồn tại ít nhất hai điểm nằm cùng một phía của đường cao (một điểm có thể nằm ở ngay chân đường cao). Trong hai điểm này, gọi điểm ở gần chân đường cao hơn là B, và điểm kia là C. Xét đường thẳng m nối P và C. Khoảng cách từ B tới m nhỏ hơn khoảng cách từ P tới l, mâu thuẫn với giả thiết về P và l. Một cách để thấy điều này là tam giác vuông với cạnh huyền BC đồng dạng và nằm bên trong tam giác vuông với cạnh huyền PC.
Do đó, không thể tồn tại khoảng cách dương nhỏ nhất giữa các cặp điểm-đường nối. Nói cách khác, mọi điểm đều nằm trên đúng một đường thẳng nếu mọi đường nối đều chứa ít nhất ba điểm.

Chứng minh Melchior

Năm 1940, trước chứng minh của Gallai, Melchior đã chứng minh mọi tập hợp hữu hạn các đường thẳng không đồng quy trong mặt phẳng xạ ảnh đều có ít nhất ba điểm tầm thường. Theo tính chất đối ngẫu, mọi tập hợp hữu hạn điểm không thẳng hàng đều có ít nhất ba đường thẳng tầm thường.
Melchior nhận xét thấy với mọi đồ thị trong RP², biểu thức V − E + F phải bằng 1 (đặc trưng Euler của RP²) trong đó V, E, và F, là số đỉnh, cạnh, và mặt của đồ thị. Mọi tập hợp đường thẳng không đồng quy trên RP² đều tạo ra một đồ thị trong đó mỗi mặt có ít nhất ba cạnh, và mỗi cạnh nằm trên hai mặt. Do đó ta có bất đẳng thức F ≤ 2E/3. Sử dụng bất đẳng thức này để khử F khỏi đặc trưng Euler, ta có bất đẳng thức E ≤ 3V − 3. Tuy nhiên nếu mọi đỉnh đồ thị đều là giao điểm của ít nhất ba đường thẳng thì số cạnh là ít nhất 3V, mâu thuẫn với bất đẳng thức trên. Do đó tồn tại ít nhất một điểm là giao của đúng hai đường thẳng, và nếu phân tích kĩ hơn như Melchior đã làm, thì có thể thấy cần ít nhất ba điểm tầm thường để thỏa mãn bất đẳng thức E ≤ 3V − 3.

Chứng minh của Coxeter

Coxeter (1969) đưa ra một chứng minh khác của định lý Sylvester–Gallai trong hình học thứ tự, một cách tiên đề hóa hình học, bao hàm cả hình học Euclid và nhiều hình học khác. Pambuccian (2009) liệt kê danh sách nhỏ nhất các tiên đề cần dùng để chứng minh định lý Sylvester–Gallai.