Есть факт: если две прямые перпендикулярны третьей, то они параллельны.
=> a параллельна b
d не параллельна a => не параллельна b (Транзитивность параллельности)
=> d пересекает b
Есть факт: если две прямые перпендикулярны третьей, то они параллельны.
=> a параллельна b
d не параллельна a => не параллельна b (Транзитивность параллельности)
=> d пересекает b