GeoGebra齐次坐标,无穷远点

hbghlyj

依次输入以下GGB指令:
k=1
f:k y=x-1
A:intersect(f,yAxis)
k=0
便得到一个无穷远点A.保存ggb文件,扩展名改为zip,解压,找到geogebra.xml文件:
...

<element type="point" label="A">

<show object="true" label="true"/>

<objColor r="68" g="68" b="68" alpha="0.0"/>

<layer val="0"/>

<labelMode val="0"/>

<coords x="0.0" y="-1.0" z="0.0"/>

<pointSize val="4"/>

<pointStyle val="0"/>

</element>

...
geogebra内部的二维点表示为齐次坐标,$(x,y,z)$转换成坐标$\left(\frac xz,\frac yz\right)$,z值为"0.0"表示无穷远点.