Пошаговое объяснение: Док-во от противного: Пусть дана трапеция АВСД, где АВ-одна из боковых сторон, пусть МК-средняя линия трапеции, является диаметром, М-середина АВ, АМ=МА=х, М-точка касания окружности и боковой стороны, О-центр окружности, тогда ОМ =r. Рассмотрим ΔАОВ, он прямоугольный, т.к. ∠А+∠В=180°(сумма внутр односторон углов при параллельн основаниях, и центр окружностиО-точка пересечения биссектрис углов. ⇒∠ВАО+∠АВО=90° ⇒∠ВОА=90° Т.к. М-точка касания, то ОМ⊥АВ . Из ΔАОВ ⇒ВМ/ОМ == ОМ/АМ , т.е. х/r=r/x ⇒r²=x²⇒ r=x⇒ ΔАОМ прямоуг и равнобедренный ⇒∠МАО=∠МВО=45°⇒∠А=∠В=90°,что невозможно, значит средняя линия не может быть диаметром., чтд
Пошаговое объяснение:
Доказать тавтологию - значит показать, что при всех истинностных значениях булевых переменных логическое выражение будет принимать только значение ИСТИНА.
Для первого логического выражения составляем таблицу (F - ЛОЖЬ, T - ИСТИНА):
![\left[\begin{array}{cccc}A&B&B\to A&A\to(B\to A)\\F&F&T&T\\F&T&F&T\\T&F&T&T\\T&T&T&T\end{array}\right]](/tpl/images/1511/7968/07c66.png)
Видно, что последний столбец, соответствующий заданному логическому выражению, состоит только из значений ИСТИНА при любом наборе булевых переменных.
Для второго логического выражения также составляем таблицу:
![\left[\begin{array}{ccccccccccc}A&B&C&A\to B&A\to C&(A\to B)\to (A\to C)&B\to C& A \to (B\to C)&Func\\F&F&F&T&T&T&T&T&T\\F&F&T&T&T&T&T&T&T\\F&T&F&T&T&T&F&T&T\\F&T&T&T&T&T&T&T&T\\T&F&F&F&F&T&T&T&T\\T&F&T&F&T&T&T&T&T\\T&T&F&T&F&F&F&F&T\\T&T&T&T&T&T&T&T&T\end{array}\right]](/tpl/images/1511/7968/ca9d4.png)
Видно, что последний столбец, соответствующий заданному логическому выражению, состоит только из значений ИСТИНА при любом наборе булевых переменных.
Таблица для третьего логического выражения:
![\left[\begin{array}{ccccccccccc}A&B&A\to B&\lnot A\to B&(\lnot A\to B)\to B&(A\to B)\to ((\lnot A\to B)\to B) \\F&F&T&F&T&T\\F&T&T&T&T&T\\T&F&F&T&F&T\\T&T&T&T&T&T\end{array}\right]](/tpl/images/1511/7968/0d62d.png)
Видно, что последний столбец, соответствующий заданному логическому выражению, состоит только из значений ИСТИНА при любом наборе булевых переменных.
