律诗格律的公理体系及推导办法
麦克王
目前为止，在网上能找到的关于律诗格律的资料都是一些归纳，没有成型的理论。既不方便记忆，也没有阐述其中的道理。本文的目的就是为律诗格律建立一套公理体系（相当于物理上的大统一理论），以及相应的推导方法。
律诗按字数分四种形式：五绝，七绝，五律，七律。每种形式有不同的起落方式，两种起的方式，两种起的方式，二二得四，一共有四种起落方式：仄起仄收，仄起平收，平起仄收，平起平收。四四一十六，所以一共有十六种格式。七绝，五律，七律的格式都是以五绝为基础，下面把五绝的四种形式一一列出：
仄起仄收：
仄仄平平仄, 白日依山尽
平平仄仄平。黄河入海流
平平平仄仄, 欲穷千里目
仄仄仄平平。更上一层楼
仄起平收：
仄仄仄平平, 北斗七星高
平平仄仄平。哥舒夜带刀
平平平仄仄, 至今窥牧马
仄仄仄平平。不敢过临洮
平起仄收：
平平平仄仄，鸣筝金粟柱
仄仄仄平平。素手玉房前
仄仄平平仄，欲得周郎顾
平平仄仄平。时时误拂弦
平起平收：
平平仄仄平, 花明绮陌春
仄仄仄平平。柳拂御沟新
仄仄平平仄, 为报辽阳客
平平仄仄平。流芳不待人
根据「数学归纳法」，我们总结出三条公理：
- 平仄公理：除第一行由边界条件决定以外，单数行仄字结尾，双数行平字结尾并且押韵。单仄双平讲条件。
- 交替公理：平仄交替，但如果出现以三平或三仄结尾，第一个字反转，平转仄，仄转平。平仄交替逢三反。
- 黏对公理：偶数行与前一行开头的平仄相反，奇数行与前一行开头的的平仄相同。联内相对联外黏。
现在我们具体推导仄起仄收。
［甲］根据边界条件，我们有：
仄仄◻︎ ◻︎ 仄
根据交替公理，未知数为「平平」，所以第一句就出来了：
仄仄平平仄
［乙］根据黏对公理，第二句应该是：
平平◻︎ ◻︎ ◻︎
根据平仄公理，最后一个字应该是平音，由此我们得到：
平平◻︎ ◻︎ 平
再根据交替公理，未知数为「仄仄」，所以第二句也出来了：
平平仄仄平（韵）
［丙］根据黏对公理和平仄公理，第三句是：
平平◻︎ ◻︎ 仄
根据交替公理，未知数为「仄仄」。可是问题来了，这样就出现「仄仄仄」结尾，「仄仄仄」要转换为「平仄仄」，所以第三句就是：
平平平仄仄
［丁］根据黏对公理和平仄公理，第四句应该是：
仄仄◻︎ ◻︎ 平
根据交替公理，未知数为「平平」。然后「平平平」要转换为「仄平平」。所以第四句就是：
仄仄仄平平（韵）
合在一起，五绝「仄起仄收」式的规则是：
仄仄平平仄 白日依山尽
平平仄仄平（韵）黄河入海流
平平平仄仄 欲穷千里目
仄仄仄平平（韵）更上一层楼
七绝就是在五绝的前面再加上两个字，根据公理第二条，七绝「平起仄收」式的规则是：
平平仄仄平平仄 伤心欲问前朝事
仄仄平平仄仄平（韵）惟见江流去不回
仄仄平平平仄仄 日暮东风春草绿
平平仄仄仄平平（韵）鹧鸪飞上越王台
五律和七律就是按照同样的方式再推导出四句，也就是把四句变成八句。五律和七律的中间两联要求对仗，举例：
仄仄平平仄，国破山河在
平平仄仄平。城春草木深
平平平仄仄，感时花溅泪 # 三四句
仄仄仄平平。恨别鸟惊心 # 对仗
仄仄平平仄，烽火连三月 # 五六句
平平仄仄平。家书抵万金 # 对仗
平平平仄仄，白头搔更短
仄仄仄平平。浑欲不胜簪
余下的三式「平起平收」，「平起仄收」，「仄起平收」可以依法推导出来。至此律诗的十六种格律都可以以上面所述公理严格推导出来，律诗格律的大统一理论至此完成。