Поскольку AB=AF, ΔABF - равнобедренный, ∠AFB=∠ABF=∠FBD. Первый и последний углы являются накрест лежащими при прямых AB и CD, значит, они параллельны.
По свойству параллельных прямых, другие накрест лежащие углы ∠DEC=∠ECK, ∠ECK=∠ECD. В ΔCDE два равных угла, прилегающих к стороне CE, следовательно, он равнобедренный, CD=DE.