射影观点下的直角坐标系

本文在无穷远直线上规定了绝对对合和圆环点后，定义垂线和圆。