Для замены "пусть" и "вернёмся" в уравнении CosХ=t можно использовать альтернативные выражения, например:

Если CosХ=t, то X=arccos(t)Предположим, что CosХ=t, следовательно, X=arccos(t)Если CosХ=t, то мы можем записать X=arccos(t)