我想为 Cantor 制作插图对角线论证，类似于 $4$ 或 $5$ 个十进制展开式的中心枚举$x_{i} = .d_{i1}d_{i2}d_{i3} \ldots$，然后插入一个与 外接的对角椭圆$d_{11}, d_{22}, d_{33}, \ldots$。
有什么好方法可以做到这一点？
我想到了以下内容，但我不确定它是否允许我插入对角椭圆？（我不知道该怎么做。）
欢迎提出任何建设性的意见。
我不知道乳胶文档的格式是否正确，因为这是我在这个网站上发布的第一篇问题帖子。
谢谢。
\documentclass{book} \usepackage{amsthm,latexsym,amssymb,amsmath,verbatim}
\pagestyle{empty}
\begin{document}
[ x_{1} = .d_{11}d_{12}d_{13}d_{14}d_{15} \ldots ] [ x_{2} = .d_{21}d_{22}d_{23}d_{24}d_{25} \ldots ] [ x_{3} = .d_{31}d_{32}d_{33}d_{34}d_{35} \ldots ] [ x_{4} = .d_{41}d_{42}d_{43}d_{44}d_{45} \ldots ] [ x_{5} = .d_{51}d_{52}d_{53}d_{54}d_{55} \ldots ] [ \hskip -100pt \vdots ]
\end{document}
答案1
我提出以下代码，基于alignat和pstricks：
\documentclass[11pt, svgnames]{book}
\usepackage{amsthm,latexsym,amssymb,amsmath, verbatim}
\usepackage{makebox}
\usepackage{pst-node, auto-pst-pdf}
\pagestyle{empty}
\begin{document}
\begin{postscript}
\everypsbox{\scriptstyle}
\begin{alignat*}{7}
x_{1} & = . &\: & d_{\rnode{d1}{1}1} & & d_{12} & & d_{13} & & d_{14} & & d_{15} & \; & \ldots \\
x_{2} & = . & & d_{21} & \enspace & d_{\rnode{d2}{2}2} & & d_{23} & & d_{24} & & d_{25} & & \ldots \\
x_{3} & = . & & d_{31} & & d_{32} & \enspace & d_{ \rnode{d3}{3}3} & & d_{34} & & d_{35} & & \ldots \\
x_{4} & = . & & d_{41} & & d_{42} & & d_{43} & \enspace & d_{\rnode{d4}{4}4} & & d_{45} & & \ldots \\
x_{5} & = . & & d_{51} & & d_{52} & & d_{53} & & d_{54} & \enspace & d_{\rnode{d5}{5}5} & & \ldots\\[-1.33ex]
\makebox*{$x_{5}$}{$ \vdots $} & & & & & & & \makebox*{$d_{53}$}{$ \vdots $} & & & & & \enspace & \Rnode{dd}{\ddots}
\end{alignat*}
\ncbox[boxsize=0.22, linearc=0.22, linecolor=FireBrick, nodesep=1.5ex, fillstyle=solid, fillcolor=FireBrick!20, opacity=0.3]{d1}{dd}
\end{postscript}
\end{document}
