Formal Book

12 The slope problem

Theorem 12.1

If n3 points in the plane do not lie on one single line, then they determine at least n1 different slopes, where equality is possible only if n is odd and n5.

Proof