На прямій k позначено точки В і О. По різні боки від прямої позначено точки А і С так, що АО = ОС і АВ = ВС. На продовженні прямої за точку О позначено точку К. Доведіть, що АК=КС.

Для доведення, що АК=КС, розглянемо трикутники АКО і КСО. Оскільки АО=ОС, АОК=КОС (за властивістю рівних довжин відрізків доведено), та КО=КО (спільна сторона), отже, за кут-катет нерівності трикутників АКО і КСО можемо зробити висновок, що АК=КС.