公式的应用