《自推定义基本公式》