В основі піраміди лежить ромб зі стороною 50 см та більшою діагоналлю 80 см.Висота піраміди дорівнює 32 см і проходить через точку перетину діагоналей ромба.Знайдіть радіус сфери вписаної в піраміду

Доказательство утверждения  проводится следующим образом. Сначала принимают предположение, что утверждение  неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .

В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.