Доказательство от противного на примере параллельных прямых (например, что две прямые, параллельные третьей, не пересекаются).

1. Предположим противное: две прямые, параллельные третьей, пересекаются.
2. Это противоречит определению параллельных прямых, которые не пересекаются.
3. Следовательно, исходное предположение неверно, и две прямые, параллельные третьей, не пересекаются. Доказано.