Следствие - это утверждение, которое выводится из других утверждений (аксиом или теорем) путем логических рассуждений.
Доказательство:
- Пусть даны две параллельные прямые a и b, и прямая c, пересекающая прямую a в точке A.
- Предположим, что прямая c не пересекает прямую b.
- Тогда прямые b и c параллельны.
- Но тогда через точку A проходят две прямые (a и c), параллельные прямой b, что противоречит аксиоме параллельных прямых (аксиоме Евклида).
- Следовательно, наше предположение о том, что прямая c не пересекает прямую b, неверно.
- Таким образом, прямая c пересекает прямую b.
Ответ: Следствие - утверждение, выведенное из других утверждений. Прямая, пересекающая одну из параллельных, пересекает и другую (доказано).