Да, это трапеция. Можно было так?
Да, всё так, только я забыл, почему я задал вопросы, которые я задал
На самом деле, как я сейчас понимаю, я хотел, чтобы вы показали, что
, определённая как пересечение
и
, является как раз точкой пересечения диагоналей (меня сбивает по утру ваш рисунок, где
помечена, как будто она и есть такая точка, хотя определение вы ей дали как пересечение двух других линий). Вы доказали, и рисунок теперь у вас правильный, соответствует действительному доказательству.
Всё, теперь вам нужно выбросить
на помойку, просто забыть про эту линию, потому что вы можете эквивалентным образом определить
, как точку пересечения диагоналей в трапеции
.
У вас там есть пара подобных треугольников в трапеции
.
диагональ трапеции, с одной стороны, но с другой -- она хорошая линия, потому что она ещё связана позициями точек в четырёхгольнике -> вы легко найдёте её длину. Через подобие вы найдёте
(ну или
, что удобнее) и сравнением длин всё докажете.
Вам лишь нужно знать, что
и
обе сразу на
лежат для того, чтобы этот трюк с длинами провернуть, но это вроде у вас доказано как раз.