diff --git a/如何选择现在吃什么.md b/如何选择现在吃什么.md
index cddb7f4e..6b0a4d73 100644
--- a/如何选择现在吃什么.md
+++ b/如何选择现在吃什么.md
@@ -11,6 +11,20 @@
 
 由此得到荤菜数量和素菜数量，再在上一步的菜谱中选择即可。
 
+#### 形式语言描述
+
+当 有人数 `N` 时，
+设 `素菜数` 为 `a`, `荤菜数`为 `b`。
+`N`, `a`, `b`均为整数。
+
+此时有下列不等式组：
+
+* a + b = N + 1
+* b >= a
+* b <= a + 1
+
+得到一组关于`a`, `b`的整数解即可。
+
 ### 菜的选择
 
 * 如果人数超过8人，考虑在荤菜中增加鱼类荤菜。