Кыскача жооп. Берилген тегиздик \(\alpha\), чекит \(A\notin\alpha\) болсун. \(A\) аркылуу \(\alpha\)-га параллель \(\beta\) тегиздигин жүргүзөбүз. \(A\) аркылуу өтүп, \(\alpha\)-га параллель болгон бардык түз сызыктар \(\beta\)-нын ичинде жатат.
Далил.
\(A\) аркылуу өтүп, \(\alpha\)-га параллель болгон каалаган \(l\) түз сызыгын алабыз. Демек \(l\) менен \(\alpha\)-нын жалпы чекити жок.
\(\alpha\)-да турган \(B\) чекитин алып, \(l\) жана \(B\) аркылуу \(\gamma\) тегиздигин өткөрөбүз.
\(\gamma\cap\alpha=a\) болсун. \(l\) менен \(a\) экөө тең \(\gamma\)-да жатат, бирок \(a\subset\alpha\) жана \(l\cap\alpha=\varnothing\). Ошондуктан \[ l\parallel a. \]\(\gamma\cap\beta=b\) болсун. \(A\in l\subset\gamma\) жана \(A\in\beta\), демек \(b\) сызыгы да \(A\) аркылуу өтөт.
\(\alpha\parallel\beta\) болгондуктан \(a\) менен \(b\) кесилишпейт; экөө тең \(\gamma\)-да жаткандыктан, \[ a\parallel b. \]\(\gamma\) тегиздигинде \(A\) чекити аркылуу \(a\)-га параллель бир гана түз сызык өтөт. \(l\) да, \(b\) да \(A\) аркылуу өтүп, \(a\)-га параллель. Демек \[ l=b. \]
\(b\subset\beta\), ошондуктан \(l\subset\beta\). \(l\) каалагандай тандалгандыктан, \(A\) аркылуу өтүп \(\alpha\)-га параллель болгон бардык сызыктар \(\beta\) тегиздигинде жатат. Ал эми \(\beta\parallel\alpha\).
Далилденди.
Негизги идея: кошумча \(\gamma\) тегиздигин жүргүзүп, параллель тегиздиктер менен кесилишкенде пайда болгон сызыктардын параллелдигин жана чекит аркылуу берилген сызыкка параллель бир гана сызык өтөрүн колдондук.
