В математике каждое утверждение, справедливость которого устанавливается путем рассуждения называется теорему. А сами рассуждения называются доказательством теоремы
1) Рассмотрим 2 треугольника: АВВ1, АОС1: - оба прямоугольные - уголВАО общий известно, что сумма острых углов прямоугольного треугольника величина постоянная (равна π/2), или: уголАВВ1+уголВАВ1=уголАОС1+уголС1АО(=π/2), очевидно: уголВАВ1≡уголС1АО(≡ВАО), уголАВВ1≡уголАВС, уголАОС1≡уголАОС⇒получаем: уголАВС+уголВАО=уголАОС+уголВАО, уголАВС=уголАОС, ч.т.д
или вот так: уголВСС1=уголОСВ1 (вертикальные при пересекающихся ОС1иВВ1)) Тогда π/2-уголВСС1=π/2-уголОСВ1, а из треугольников(прямоугольных) ΔВСС1, ΔОСВ1 получим, что эти углы равны тем которые нам надо сравнить: уголАВС=уголАОС, ч.т.д
2) это утверждение верно, только если АС=СВ, то есть нам дан равнобедренный тупоугольный треугольник.
ответ. Если у пары внутренних накрест лежащих углов один угол заменить вертикальным ему, то получится пара углов, которые называются соответственными углами данных прямых с секущей. Что и требовалось объяснить. Из равенства внутренних накрест лежащих углов следует равенство соответственных углов, и наоборот. Допустим, у нас есть две параллельные прямые (так как по условию внутренние накрест лежащие углы равны) и секущая, которые образуют углы 1, 2, 3. Углы 1 и 2 равны как внутренние накрест лежащие. А углы 2 и 3 равны как вертикальные. Получаем: ∠∠1 = ∠∠2 и ∠∠2 = ∠∠3. По свойству транзитивности знака равенства следует, что ∠∠1 = ∠∠3. Аналогично доказывается и обратное утверждение. Отсюда получается признак параллельности прямых по соответственным углам. Именно: прямые параллельны, если соответственные углы равны. Что и требовалось доказать.
