Formal Book

12 The slope problem

Theorem 12.1

If \(n\ge 3\) points in the plane do not lie on one single line, then they determine at least \(n - 1\) different slopes, where equality is possible only if \(n\) is odd and \(n \ge 5\).

Proof
  1. TODO

  2. TODO

  3. TODO

  4. TODO

  5. TODO

  6. TODO