Найдите хорду, на которую опирается угол 150 градусов, вписанный в окружность радиуса 1

Использованы свойства вписанного и центрального углов, признак равностороннего треугольника

Дано:

AO=CO

угол BAO = углу DCO

угол OCD=37⁰

угол ODC=63⁰

угол COD=80⁰

Док-ть:

тр. AOB = тр. COD

Найти:

углы AOB, ABO, BAO - ?

Док-во:

Рассмотрим тр. AOB и COD

- AO=OC - по условию

- угол BAO = углу DCO - по условию

- угол AOB = углу COD - как вертикальные

След-но треугольники равны по стороне и двум прилежащим к ней углам.

тр. AOB = тр. COD ч.т.д.

угол BAO = углу DCO - по условию ⇒ угол BAO = 37⁰

угол COD = углу AOB - из док-ва ⇒ угол AOB = 80⁰

угол угол ABO = 180⁰-37⁰-80⁰ = 63⁰

Из вышеописанного док-ва тр. AOB = тр. COD:

угол BAO = углу DCO = 37⁰

угол COD = углу AOB = 80⁰

угол CDO = углу ABO = 63⁰

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

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