Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
1) Сумма углов треугольника 180°. В ∆ АВС угол В=180°-50°-60°=70°. В ∆ А1В1С1 угол А1=180°-708-608=50°. Треугольники АВС и А1В1С1 подобны по равенству всех углов.
2) По условию АС║BD, АВ и СD - секущие. Образовавшиеся при пересечении секущими параллельных прямых накрестлежащие углы равны. ⇒ ∠СAО=∠DBO=61°. Треугольники АОС и BOD подобны по равенству накрестлежащих углов, а стороны, содержащие вертикальные углы при О - пропорциональны. k=АО:ВО=12:4=3, k=СО:DO=30:10=3. Отношение площадей подобных фигур равно квадрату коэффициента их подобия. S(AOC):S(BOD)=k²=3²=9
S(осн.) = (48-30)/2 = 9 см
В основании четырехугольной призмы квадрат, значит а = √S(осн.)
a = √9 = 3 см
S(1 грани) = S(бок.поверх) /4 = 30/4 = 7,5 см
Боковая грань имеет одну сторону а = 3 и вторую с -?
S(1 грани)= а*с
7,5 = 3 * с
с = 7,5/3
с= 2,5 см -высота призмы