Рассмотрим ∆ АDP и ∆ BDE . DB=АВ-AD=9-3=6
ВD:DA=BE:DP=DE:AP=2:1
II признак подобия треугольников. Если три стороны одного треугольника пропорциональны трем сторонам другого треугольника, то такие треугольники подобны.
Из подобия ∆ АDP и ∆ BDE следует равенство их углов:
∠DBE=∠ADP.
Если соответственные углы при пересечении двух прямых третьей равны, то прямые параллельны. ⇒DE||AC. Доказано.