И не обязательно (выводиь это свойство). Можно сосредоточится на поиске отрезка

, не трогая даже

. Кстати, в данной задаче совершенно невозбранно считать параллелограмм прямоугольником.
У Погорелова довольно много ценных теорем приведены именно в задачах для самостоятельного решения. Например, многие обратные теоремы. Признаки того же параллелограмма. Куча признаков типа "Если в параллелограмме диагонали перпендикулярны/диагональ является биссектрисой/можно вписать окружность/и т.д. то это — ромб.
Даже перечисление формулировок теорем займёт много места. А ведь любая задача на доказательство это теорема, раскрывающая подчас весьма интересное и полезное свойство. Поэтому для хорошей подготовки наряду с учебником, дающим основной маршрут по теории, надо использовать задачники.