在 Mathematica 中,用 /; 表示条件,functions.wolfram.com 有很多例子:functions.wolfram.com/ElementaryFunctions/Sin/24/01/0001/\[
\prod_{k=1}^{n-1}\sin\!\Bigl(\frac{k\pi}{n}\Bigr)
=\frac{n}{2^{n-1}}\quad/;
\quad n\in\mathbb{N}^+
\]Product[Sin[(k Pi)/n], {k, 1, n - 1}] == n/2^(n - 1) /; Element[n, Integers] && n > 0 |