Định lý Szemerédi–Trotter

Định lý Szemerédi–Trotter là một định lý trong hình học tổ hợp phát biểu rằng với mọi bộ "n" điểm và "m" đường thẳng trên mặt phẳng, số cặp đường thẳng-điểm sao cho điểm nằm trên đường thẳng là

Chặn trên này là chặt, nghĩa là tồn tại bộ "n" điểm và "m" đường thẳng có số giao điểm đạt đến giá trị đó (chỉ sai khác tỉ lệ hằng số).

Một hệ quả của định lý là như sau. Với mọi bộ "n" điểm và một số "k" > 2, số đường thẳng đi qua ít nhất "k" điểm là

Chứng minh đầu tiên của Szemerédi và Trotter khá phức tạp, sử dụng phương pháp "phân chia ô". Sau đó, Székely tìm ra một chứng minh đơn giản sử dụng bất đẳng thức số giao điểm của đồ thị.

Định lý Szemerédi–Trotter có nhiều hệ quả, chẳng hạn như định lý Beck trong hình học.

== Chứng minh ==
Ta có thể loại đi các đường thẳng chỉ chứa một hoặc hai điểm do chúng chỉ tạo ra không quá 2"m" cặp đường thẳng-điểm sao cho điểm đó nằm trên đường thẳng. Do đó, từ nay ta giả sử mọi đường thẳng đều chứa ít nhất ba điểm.

Nếu một đường thẳng chứa "k" điểm, thì nó bao gồm "k"−1 đoạn thẳng rời nhau nối hai trong số "n" điểm đã cho. Vì vậy nó chứa ít nhất "k"/2 đoạn thẳng như vậy, do ta giả sử "k"≥ 3.
Cộng các giá trị này từ tất cả "m" đường thẳng, ta thu được số đoạn thẳng bằng ít nhất một nửa số cặp đường thẳng-điểm. Nếu đặt "e" là số đoạn thẳng thì để có được định lý, ta chỉ cần chứng minh formula_3.

Xét đồ thị tạo bởi "n" điểm là các đỉnh, và "e" đoạn thẳng là các cạnh. Do các đoạn thẳng nằm trên "m" đường thẳng, và hai đường thẳng giao nhau tại tối đa là một điểm, số giao điểm của đồ thị này là không quá formula_4. Áp dụng bất đẳng thức cho số giao điểm,
ta có hoặc "e" ≤ 7.5"n", hoặc "m" ≥ "e" / 33.75"n". Trong cả hai trường hợp "e" ≤ 3.24"n""m" + 7.5"n" và ta thu được kết quả formula_3.

== Chứng minh hệ quả ==
Mỗi cặp điểm xác định đúng một đường thẳng nên có tối đa "n"("n" − 1)/2 đường thẳng chứa ít nhất "k" điểm, vì "k" ≥ 2. Chặn trên này cho ta kết quả cần chứng minh nếu "k" nhỏ
(chẳng hạn "k" ≤ "C" với một hằng số cố định "C"). Do đó chỉ cần xem xét trường hợp "k" lớn, chẳng hạn "k" ≥ "C".

Giả sử có "m" đường thẳng chứa ít nhất "k" điểm. Các đường thẳng này tạo ra "mk" cặp đường thẳng-điểm mà điểm nằm trên đường thẳng, nên theo định lý Szemerédi–Trotter, ta có
Vì vậy xảy ra một trong ba khả năng sau: formula_7, formula_8, hoặc
formula_9. Trường hợp thứ ba bị loại do ta giả sử "k" lớn, nên chỉ có thể xảy ra hai trường hợp đầu.
Nhưng trong cả hai trường hợp đầu, với một số tính toán đơn giản ta đều thu được formula_10.

== Tổng quát hóa lên ℝ==
Một tổng quát hóa của định lý này cho ℝ được tìm ra bởi Agarwal và Aronov.
Cho một tập hợp formula_11 gồm formula_12 điểm, và một tập hợp formula_13 gồm formula_14 siêu phẳng, sao cho mỗi siêu phẳng đều sinh bởi formula_11, số giao điểm giữa formula_11 và formula_13 là không quá

Một cách tương đương, số siêu phẳng trong formula_13 chứa formula_20 điểm là không quá

Một ví dụ của Edelsbrunner cho thấy chặn trên này là tối ưu (không tính đến hằng số tuyệt đối).

Solymosi và Tao chứng minh được chặn trên gần chặt cho số giao điểm của một tập hợp điểm với một tập hợp các đa tạp đại số. Chứng minh của họ sử dụng định lý bánh mì dăm bông đa thức.