空間幾何作圖的基礎

在平面幾何中,所有幾何作圖皆是實際的,也就是說,它們可以利用適當的工具,在平展的圖上得以實現,並且,這些工具本身包含了所對應的幾何圖形:直線(直尺)、圓(圓規)、垂直直線(帶直角的尺)等等作圖的可能性。利用適當工具的幾何作圖可能性的理論基礎,在各種情况下,是被關係於幾何圖形作圖的可作元素類的定義系統所规定。這樣,如果考慮到作為作圖工具的圓規和直尺,那么,這些作圖的形式被下述之定義系統所實观。如下元素是可作的:一 1)在作圖題中的所有已知元素;以及對於平面上的任意點(這些點對於作圖是必要的輔助元素)。 2)直線,如果它是由兩個可作點所確定的。 3)圓,如果它是由可作的半徑和中心所確定的。 4)兩個可作直線的交點。 (定義系統是引自(?)契特維茹痕((?))教授的論文《在中學立體幾何學中,幾