Розглянемо прямокутний трикутник ABK(∠AKB=90°):
см.
Розглянемо тепер прямокутний трикутник BDK(∠BKD=90°).
За теоремою Піфагора: