对它们上方和下方的跳过以及缩进感到好奇。
答案1
对此事有不同的看法。
amsthm将每个定理类对象视为一个单独的单元，以段落分隔符开始和结束。取决于\theoremstyle（三个是预定义的），上面或下面可能有或可能没有额外的空间。紧接着定理类对象开始的文本总是被认为是开始一个新段落，除非被覆盖，否则它将被缩进；无论是否存在空行，情况都是如此（但为了便于阅读输入文件，空行是受到推崇的。）
同样的段落惯例也适用于proof的环境amsthm；然而，这里最后还有“墓碑”的额外视觉提示，以及上下的额外空间。
有关详细信息，请参阅amsthm用户指南—— texdoc amsthm。
答案2
看一下这个amsthm包。它提供了用于排版各种定理的命令和环境。还将设置段落上方和下方的空格。