如何让GitHub Copilot网页版输出正确格式的行内LaTeX公式？

问题说明 #

使用GitHub Copilot网页版（模型版本为o3-mini）时，即便配置了明确的LaTeX公式格式提示词，行内公式仍无法正确渲染。部分行内公式能以单个$包裹正常显示，但多数被错误地用双$包裹，导致无法按行内公式样式渲染。

自定义提示词 #

请在回复中使用正确的LaTeX数学公式格式：

1. 行内公式：使用单个美元符号，例如 $E=mc^2$

2. 块级公式：使用双美元符号

异常输出示例 #

以下是Copilot生成的内容，可见多处本该是行内公式的内容被错误用双$包裹：

莱布尼茨判别法（又称交错级数审敛法）指出，交错级数

$$
\sum_{n=1}^{\infty} (-1)^{n-1} a_n,
$$

收敛的充要条件是序列 $(a_n)$ 满足以下两个条件：

1. 序列单调递减：
   $$
   a_1 \ge a_2 \ge a_3 \ge \cdots \ge 0,
   $$
2. 通项趋于0：
   $$
   \lim_{n\to\infty} a_n = 0.
   $$

下面是该判别法的经典证明。

---

**证明：**

定义级数的第 \( n \) 个部分和为

$$
s_n = \sum_{k=1}^n (-1)^{k-1} a_k.
$$

我们将通过证明部分和构成两个单调有界的子序列（偶下标部分和与奇下标部分和），且这两个子序列将原级数“夹逼”到唯一极限，来证明序列 \( (s_n) \) 收敛。

1. **考虑奇下标部分和子序列：**

   令
   $$
   s_{2n-1} = a_1 - a_2 + a_3 - \cdots + a_{2n-1}.
   $$

   要证明 \( (s_{2n-1}) \) 单调递减，观察：

   $$
   s_{2n-1} - s_{2n+1} = \Big[a_1 - a_2 + \cdots + a_{2n-1}\Big] - \Big[a_1 - a_2 + \cdots + a_{2n-1} - a_{2n} + a_{2n+1}\Big].
   $$

   化简得：

   $$
   s_{2n-1} - s_{2n+1} = a_{2n} - a_{2n+1}.
   $$

   由单调递减假设 \( a_{2n} \ge a_{2n+1} \)，可得：

   $$
   s_{2n-1} \ge s_{2n+1}.
   $$

   因此，奇下标部分和构成递减序列。

2. **考虑偶下标部分和子序列：**

   令
   $$
   s_{2n} = a_1 - a_2 + a_3 - \cdots - a_{2n}.
   $$

   比较连续的偶下标部分和：

   $$
   s_{2n+2} - s_{2n} = \Big[s_{2n} - a_{2n+1} + a_{2n+2}\Big] - s_{2n} = - a_{2n+1} + a_{2n+2}.
   $$

   由于 \( a_{2n+1} \ge a_{2n+2} \)，可得：

   $$
   - a_{2n+1} + a_{2n+2} \ge 0,
   $$

   因此：

   $$
   s_{2n+2} \ge s_{2n}.
   $$

   所以，偶下标部分和构成递增序列。

3. **两个子序列的有界性：**

   注意到对任意 \( n \)，有：
   $$
   s_{2n} \le s_{2n-1}.
   $$

   这是因为 \( s_{2n-1} = s_{2n} + a_{2n} \) 且 \( a_{2n} \ge 0 \)。

   由此，整个部分和序列被这两个子序列“夹逼”：
   
   - 递增序列 \( (s_{2n}) \) 以 \( s_1 \)（第一个奇下标部分和）为上界；
   - 递减序列 \( (s_{2n-1}) \) 以 \( s_{2n} \) 为下界。

   根据单调收敛定理，两个子序列均收敛，记：

   $$
   \lim_{n\to\infty} s_{2n} = L \quad \text{且} \quad \lim_{n\to\infty} s_{2n-1} = M.
   $$

   由于对所有 \( n \) 都有 \( s_{2n} \le s_{2n-1} \)，且两者的差 \( s_{2n-1} - s_{2n} = a_{2n} \) 趋于0（由假设），可得：
   $$
   \lim_{n\to\infty} \big(s_{2n-1} - s_{2n}\big) = 0.
   $$
   因此 \( L = M \)。

4. **结论：**

   由于两个子序列收敛于同一极限 \( L \)，部分和序列 \( (s_n) \) 也收敛于 \( L \)，即：

   $$
   \sum_{n=1}^{\infty} (-1)^{n-1} a_n = L.
   $$

综上，莱布尼茨判别法证明了该交错级数收敛。

---

证明完毕。

内容的提问来源于stack exchange，提问作者GongNanyue