Доведения: ∆АВС - рівнобедрений (АВ = ВС).
∆CDK - рівнобедрений (CD = DK).
∟АСВ = ∟DCK (як вертикальні).
∟АСВ = ∟ВАС (як кути при основі ∆АВС).
∟DCK = ∆CKD (як кути при основі ∆CDK).
Тоді ∟ВАС = ∟CKD.
Оскільки ∟ВАС = ∟CKD - різносторонні при прямих АВ i DK
i січній АК, то за ознакою паралельних прямих АВ ‖ DK.
Доведения: ∆АВС - рівнобедрений (АВ = ВС).
∆CDK - рівнобедрений (CD = DK).
∟АСВ = ∟DCK (як вертикальні).
∟АСВ = ∟ВАС (як кути при основі ∆АВС).
∟DCK = ∆CKD (як кути при основі ∆CDK).
Тоді ∟ВАС = ∟CKD.
Оскільки ∟ВАС = ∟CKD - різносторонні при прямих АВ i DK
i січній АК, то за ознакою паралельних прямих АВ ‖ DK.