По определению, середина отрезка делит его на два равных отрезка.
Так как точка К является серединой отрезка АС, то она делит отрезок АС на два равных отрезка: АК и КС.
Следовательно, \( AK = KC \).
Доказано.