есть такая теорема.
если прямая, не лежащая в данной плоскости, параллельна какой-нибудь прямой, лежащей в этой плоскости, то она параллельна самой плоскости.
если прямая bc параллельна ad, то по данной теореме всё доказывается.
осталось доказать, что bc параллельна ad.
углы при параллельных прямых и секущей так часто используются в , что в им даны специальные названия. подразумеваем секущую ас.
в данном случае имеем дело с накрест лежащими углами.
накрест лежащие углы равны (по условию), значит прямая ас пересекает параллельные прямые bc и ad.
