Треугольник АВК равнобедренный, поскольку AB = BK. Следовательно, углы ВАК и ВКА равны как углы при основании равнобедренного треугольника. Углы ВКА и КАD равны как накрест лежащие углы при параллельных прямых AD и BC и секущей АК. Значит, ∠BAK = ∠BKA = ∠KAD и АК — биссектриса угла BAD. Доказано.