К сожалению, решения задачи для 9 прямых я и сам не знаю.
Что я знаю об этой задаче (для произвольного n):
1) оценка сверху. Каждая прямая можеть быть основанием не более, чем
равнобедренных треугольников (равнобедренные треугольники, основания которых лежат на данной прямой, разбивают оставшиеся
прямые на пары). Поэтому всего не более, чем
равнобедренных треугольников.
Для
таким образом получается оценка сверху в 36.
2) оценка снизу. Если
, то пример строится очень просто: берем
прямых, которые проходят через одну точку и разбивают плоскость на равные углы. Параллельно переносим их, чтобы получить прямые общего положения - получаем пример для оценки, приведенной выше.
Если
, то в примере, приведенном выше, получаются равносторонние треугольники, и каждый из них считается по 3 раза (каждая сторона - основание такого треугольника).
Итого для
получается оценка снизу: 30 (36 треугольников всего, из них 3 посчитано по 3 раза).
Если
, то пример существует. Строим пример для
прямой, и 1 прямую выбрасываем, остается как раз
.
А вот что делать с числами
- я не знаю, 9 - наименьшее такое число.