В прямоугольном треугольнике САВ найдем катетАВ по теореме Пифагора
СВ = корень(СА^2-АB^2) =корень(20^2-12^2) =корень(256) =16
Теперь найдем cosC = CB/CA =16/20
Заметим что угол ВАО равен углу С
Поэтому зная cosC =cosBAO легко найти радиус ОА
ОА=АВ/cosC = 12/(16/20) = 12*20/16 =15
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
ответ: 15
ответ: 3