Пря­мо­уголь­ные тре­уголь­ни­ки ABE и CDF равны по ги­по­те­ну­зе и остро­му углу (AB = CD как про­ти­во­ле­жа­щие сто­ро­ны па­рал­ле­ло­грам­ма;  ∠BAE = ∠DCF как на­крест ле­жа­щие углы при па­рал­лель­ных пря­мых AB и CD и се­ку­щей AC). Сле­до­ва­тель­но, BE = DF. Кроме того, BE || DF, т. к. это пер­пен­ди­ку­ля­ры к одной пря­мой. Таким об­ра­зом, в че­ты­рех­уголь­ни­ке BFDE про­ти­во­ле­жа­щие сто­ро­ны равны и па­рал­лель­ны, по­это­му BFDE  — па­рал­ле­ло­грамм, а BF || DE.