1. В прямоугольном равнобедренном ΔABC: AB = BC и ∠BAC = ∠BCA = 45°.
2. В прямоугольном равнобедренном ΔADC: AD = DC и ∠DAC = ∠DCA = 45°.
3. Углы ∠BAC и ∠DCA являются накрест лежащими при прямых AB, CD и секущей AC.
4. Так как ∠BAC = ∠DCA = 45°, то AB || CD.
Доказано.