С рисунком!На ребре BB1 куба ABCDA1B1C1D1 взята точка K так, что А1К : KB1 = 3 : 1. Найдите угол между прямой AK и плоскостью BС1D1.

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

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

Если две стороны одного треугольника пропорциональны двум сторонам другого треугольника, а углы, заключенные между этими сторонами равны, то треугольники подобны.

Дано: ∠А = ∠А₁; АВ : А₁В₁  =  АС : А₁С₁ .
Доказать: ΔАВС подобен ΔА₁В₁С₁.
Доказательство:
Достроим на стороне АС треугольник АВ₂С, в котором углы, прилежащие к стороне АС, равны углам в треугольнике А₁В₁С₁ (как на рисунке) .
Тогда ΔАВ₂С подобен ΔА₁В₁С₁ по двум углам. Запишем отношение сторон в этих треугольниках:
АВ₂ : А₁В₁ = АС : А₁С₁.
Сравним полученную пропорцию с данной в условии:
АВ : А₁В₁  =  АС : А₁С₁
Значит, АВ₂ = АВ.
Но тогда ΔАВС = ΔАВ₂С по двум сторона и углу между ними (АС - общая, АВ₂ = АВ и ∠А = ∠А₁ = ∠1 по условию).
Итак, ΔАВС = ΔАВ₂С, а ΔАВ₂С подобен ΔА₁В₁С₁, значит
ΔАВС подобен ΔА₁В₁С₁.
Доказано.