Данное рассуждение корректно потому, что треугольники ABK и EOM равны, т.к. это 2 прямоугольных треугольника с равными катетами (OM = KB, OE = AB). Следовательно, эти треугольники дополняют друг друга до прямоугольника с длинами сторон равными катетам этих треугольников.