原来 \middle 可以使用多个

kuing

\middle 命令以前我已经介绍过，意思和 \left \right 类似，也是使其后的符号与整个式子等高，用法是 \left...\middle...\right...，比如常用于集合，用 \left\{ x \middle| x\ne\frac12\right\} 得到
\[
\left\{ x \middle| x\ne\frac12\right\}
\]
今天无意中才知道，原来中间的 \middle 可以有多个，
比如 \left\{ x \middle| x \middle( x \middle) \ne\frac12\right\} 得到
\[
\left\{ x \middle| x \middle( x \middle) \ne\frac12\right\}
\]
所有 \middle 都将其后的分界符变成与整个式子等高。

那这可以有什么用途呢？我马上想起了之前这帖 kuing.cjhb.site/forum.php?mod=viewthread&tid=4618，用它就可以使（同一行以内的）括号统一为与最大那个一样，
比如 \left. \middle[a^2+b^2\middle]+\middle[\sum_{i=1}^{n}c_i\middle] \right. 得到
\[
\left. \middle[a^2+b^2\middle]+\middle[\sum_{i=1}^{n}c_i\middle] \right.
\]
还有下面这种常见的情形也可以用到
\[
\left(\frac ab\right)+\left(\frac bc\right)+\left(\frac ca\right)
\ne
\left. \middle(\frac ab\middle)+\middle(\frac bc\middle)+\middle(\frac ca\middle) \right.
\]
上式中，左边为通常的输入方法 \left(\frac ab\right)+\left(\frac bc\right)+\left(\frac ca\right) ，
右边则为 \left. \middle(\frac ab\middle)+\middle(\frac bc\middle)+\middle(\frac ca\middle) \right.

kuing

关心细节的，还请继续听我说下去。

如果你会关注排版细节，就会发现用 \middle 之后，存在间距问题，这其实我以前也讲过，\middle 生成的分界符是属于哪类原子我现在还不清楚，总之它不会因为后面是 ( 就变成 mathopen，所以它和两边+号的间距肯定不正确。

所以，如果你不在乎间距细节，那就照用，否则我还是觉得根据实际情况选用 \Big \bigg 等来写吧，反正这种情况又不是经常会碰见。

isee

回复 2# kuing


我最老实，只用过\bigg\Big，都没用过\middle，换句话，都是手动加命令调的，都不知道还有统一的命令。

kuing

回复 2# kuing

续：确实要用的话，要解决间距问题也是有办法的，比如这样：

1. \newcommand\mdl[1]{\mathopen{}\middle#1}
2. \newcommand\mdr[1]{\middle#1\mathclose{}}
3. \newcommand\mdm[1]{\mathrel{}\middle#1\mathrel{}}

复制代码

然后就可以这样：

1. \[
2. \left(\frac ab\right)+\left(\frac bc\right)+\left(\frac ca\right)
3. \ne
4. \left. \mdl(\frac ab\mdr)+\mdl(\frac bc\mdr)+\mdl(\frac ca\mdr) \right.
5. \]
6. \[
7. \left\{x \middle| x\ne\frac12\right\}
8. \ne
9. \left\{x \mdm| x\ne\frac12\right\}
10. \]

复制代码

效果：

这样就没啥间距问题了……

青青子衿

非常不错
\begin{align*}
\left.\middle(\begin{matrix}
\dfrac{2+\sqrt3}{4}&\dfrac{2-\sqrt3}{4}&-\,\dfrac{1}{2\sqrt{2}}\\
\dfrac{2-\sqrt3}{4}&\dfrac{2+\sqrt3}{4}&\dfrac{1}{2\sqrt{2}}\\
\dfrac{1}{2\sqrt{2}}&-\,\dfrac{1}{2\sqrt{2}}&\dfrac{\sqrt3}{\,\,2}
\end{matrix}\middle)
\middle(\begin{matrix}
1\vphantom{\dfrac{\sqrt1}{\sqrt1}}\\
-1\vphantom{\dfrac{\sqrt1}{\sqrt1}}\\
0\vphantom{\dfrac{\sqrt1}{\sqrt1}}
\end{matrix}\middle)
\,=\,
\middle(\begin{matrix}
\dfrac{\sqrt3}{\,\,2}\\
-\dfrac{\sqrt3}{\,\,2}\\
\dfrac{\,\,1}{\sqrt2\,}
\end{matrix}\middle)
\right.
\end{align*}
对比
\begin{align*}
\left.\left(\begin{matrix}
\dfrac{2+\sqrt3}{4}&\dfrac{2-\sqrt3}{4}&-\,\dfrac{1}{2\sqrt{2}}\\
\dfrac{2-\sqrt3}{4}&\dfrac{2+\sqrt3}{4}&\dfrac{1}{2\sqrt{2}}\\
\dfrac{1}{2\sqrt{2}}&-\,\dfrac{1}{2\sqrt{2}}&\dfrac{\sqrt3}{\,\,2}
\end{matrix}\right)
\left(\begin{matrix}
1\\
-1\\
0
\end{matrix}\right)
\,=\,
\left(\begin{matrix}
\dfrac{\sqrt3}{\,\,2}\\
-\dfrac{\sqrt3}{\,\,2}\\
\dfrac{\,\,1}{\sqrt2\,}
\end{matrix}\right)
\right.
\end{align*}
对比
\begin{align*}
\left.\middle(\begin{matrix}
\dfrac{2+\sqrt3}{4}&\dfrac{2-\sqrt3}{4}&-\,\dfrac{1}{2\sqrt{2}}\\
\dfrac{2-\sqrt3}{4}&\dfrac{2+\sqrt3}{4}&\dfrac{1}{2\sqrt{2}}\\
\dfrac{1}{2\sqrt{2}}&-\,\dfrac{1}{2\sqrt{2}}&\dfrac{\sqrt3}{\,\,2}
\end{matrix}\middle)
\middle(\begin{matrix}
1\\
-1\\
0
\end{matrix}\middle)
\,=\,
\middle(\begin{matrix}
\dfrac{\sqrt3}{\,\,2}\\
-\dfrac{\sqrt3}{\,\,2}\\
\dfrac{\,\,1}{\sqrt2\,}
\end{matrix}\middle)
\right.
\end{align*}

isee

回复 5# 青青子衿

可能为矩阵而生

kuing

回复 5# 青青子衿

这其实算不上是好例子，事关 \middle 虽然能处理括号，但却处理不了里面的东西，里面矮的还是一样矮，所以我也看到你在第二个矩阵里面还需加 \vphantom 来撑高，但既然已经用到撑高的手段，那处理括号是不是又显得多余呢？

青青子衿

回复  青青子衿
这其实算不上是好例子，事关 \middle 虽然能处理括号，但却处理不了里面的东西，里面矮的 ...
kuing 发表于 2019-5-28 16:17

嗯，没错，里面目前还没想到有什么好办法处理