使用庞加莱圆盘模型在双曲几何中绘制三角形和四边形：tkz-euclide 包错误

Question

我正在尝试在双曲几何中绘制三角形/四边形，特别是在庞加莱圆盘模型中。我发现了一个看似简单易用的代码，但它会导致错误。

代码我发现如下：

\documentclass{article}
\usepackage{tkz-euclide}

\begin{document}
\begin{tikzpicture}[scale=3]
  \tkzDefPoint(0,0){O}
  \tkzDefPoint(1,0){A}
  \tkzDrawCircle(O,A)
  \tkzDefPoint(0.3,-0.25){z1}
  \tkzDefPoint(-0.5,-0.5){z2}
  \tkzClipCircle(O,A)
  \tkzDrawCircle[orthogonal through=z1 and z2](O,A)
  \tkzDrawPoints[color=black,fill=red,size=12](z1,z2)
  \tkzLabelPoints(z1,z2)
\end{tikzpicture}
\end{document}

然而，当我尝试编译此代码时背页，出现以下错误：

软件包 pgfkeys 错误：我不知道您传递了“z1 and z2”的密钥“/tikz/orthogonal through”，我将忽略它。也许您拼错了。

我已经检查过手动的但tkz-euclide我似乎找不到orthogonal through...与\tkzDrawCircle函数配对的参数的具体用途。

有人能帮我修复这个代码吗？

Answer 1

我无法检查链接的答案是否在某个时间点起作用，但对于的最新版本tkz-euclide，orthogonal trough显然不适用于\tkzDrawCircle，但可以适用于\tkzDefCircle。

\tkzGetPoints{G}{g} \tkzDrawCircle(G,g)您可以通过添加代码来绘制圆圈：

\documentclass{article}
\usepackage{tkz-euclide}

\begin{document}
\begin{tikzpicture}[scale=3]
  \tkzDefPoint(0,0){O}
  \tkzDefPoint(1,0){A}
  \tkzDrawCircle(O,A)
  \tkzDefPoint(0.3,-0.25){z1}
  \tkzDefPoint(-0.5,-0.5){z2}
  \tkzClipCircle(O,A)
  \tkzDefCircle[orthogonal through=z1 and z2](O,A)
  \tkzGetPoints{G}{g}
  \tkzDrawCircle(G,g)
  \tkzDrawPoints[color=black, fill=red, size=5](z1,z2)
  \tkzLabelPoints(z1,z2)
\end{tikzpicture}
\end{document}