Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
ответ: 2688 см²
Объяснение:
В четырехугольник можно вписать окружность тогда и только тогда, когда суммы длин его противолежащих сторон равны.
Для трапеции АВСD, в которую вписана окружность, BC+AD=AB+CD=60+16+36=112 см.
Стороны трапеции - касательные к вписанной окружности. Обозначим точки касания на ВС– Е, на СD - К, на AD-М. По свойству равенства отрезков касательных, проведенных из одной точки, СЕ=СК=16, DK=DM=36.
Соединим точки касания на основаниях отрезком ЕМ. Опустим высоту СН. МН=ЕС=16
DH=DM-CE=36-16=20.
По т.Пифагора СН=√(CD²-DH²)=√(52²-20²)=48 (см)
Площадь трапеции равна произведению полусуммы оснований на высоту.
S(ABCD)=0,5(BC+AD)•CH=0,5•112•48=2688 см².
