Это рассуждение есть в учебнике 7 класса Мордковича 2009 года в первой части на 20 странице (может кому-то понадобится, делюсь, дочка сутки искала этот факт в учебниках, одобренных Минпросом, вместо подготовки к инфе), поэтому дополнительных доказательств , почему в этой точке нет решений не нужно (это очевидно). Иначе можно с аксиом геометрию выводить. А в этой точке ребенок показала, что решений нет на прямой. Апелляцию готовим, подадим. Но там тоже засада-ту, что подготовила нужно сокращать в 5 раз, так как ограничение в 500 символов.