Теорема 15.2

Теорема 15.2. Если две точки прямой принадлежат плоскости, то вся прямая

принадлежит этой плоскости.

Доказательство. Пусть а — данная прямая и @ — данная плоскость. По

аксиоме I существует точка А, не лежащая на прямой а. Проведем через прямую

а и точку А плоскость @'.

Если плоскость @' совпадает с @, то плоскость @ содержит прямую а, что и

утверждается теоремой. Если плоскость @' отлична от @ то эти плоскости

пересекаются по прямой а', содержащей две точки прямой а. По аксиоме 1

прямая а' совпадает с a, и, следовательно, прямая а лежит в плоскости @.

Теорема доказана.

Из теоремы 15.2 следует, что плоскость и не лежащая на ней прямая либо не

пересекаются, либо пересекаются в одной точке