IMO 1985 LL GDR36

Determine whether there exist 100 distinct lines in the plane

IMO 1985 LL GDR36

Origin: GDR

Problem

Determine whether there exist 100 distinct lines in the plane having exactly 1985 distinct points of intersection.