关于空间作图的一个定理

在立体几何教程中研究的空间作图有两类。一类是“想象的”(或约定的);一类是绘象的(投影图)。 在“想象的”作图中,引进约定:1)如果给定了确定平面的元素,这个平面就是可作的;2)在任何平面内,可以进行在平面几何已证实过的全部作图。根据约定,对于作图命题:“已知直线l及线外一点P,求作过点P与直线l相交垂直的直线”,作法是:a)直线l与点P决定平面a;b)在平面。内作所求作的直线。可以看出,约定类的作图,实质上只是理论上明确了求作对象的位置,整个过程中涉及到的空间图形存在于“想象”之中。随伴的附图,仅仅是为了帮助思考与叙述,并不是“真正”的作图。