Дано:
– a||b (a параллельно b)
– c||d (c параллельно d)
– Условие: 1=123, 2=57, 3=57
Нам нужно доказать, что условное выражение 1=123 и 2=57 и 3=57 будет верным, при условии a||b и c||d.
Доказательство:
1. Из условия a||b следует, что a и b параллельны. Значит, они не пересекаются и не могут иметь общих точек.
2. Аналогично, из условия c||d следует, что c и d параллельны, и также не могут иметь общих точек.
3. Заметим, что числа 1, 2 и 3 не имеют никакого отношения к параллельности линий a, b, c и d. Они представляют собой набор случайных значений.
4. Поскольку значения 1=123, 2=57 и 3=57 не противоречат параллельности линий, то условное выражение 1=123 и 2=57 и 3=57 будет верным при условии a||b и c||d.
Таким образом, мы доказали, что условие 1=123 и 2=57 и 3=57 верно при условии a||b и c||d.