公式推理包括兩個方面：推導和證明。
1. 推導：即從已知的數學公式出發，根據數學性質和運算規則，逐步推導出新的數學公式。推導的過程可以使用代數運算、幾何性質和邏輯推理等方法。
例如，我們已知 a+b=b+a 是加法的交換律，現在要推導出 a-b=b-a 是減法的交換律。我們可以利用減法的定義來進行推導。減法的定義是 a-b=a+(-b)，其中 (-b) 是 b 的相反數，即滿足 b+(-b)=0 的數。根據交換律，我們知道 a+(-b)=(-b)+a。因此，a-b=b-a。
2. 證明：即通過邏輯推理和數學論證，證明一個數學公式的正確性。證明的過程需要使用已知的數學性質、定義和推理法則。
例如，我們要證明 a^2-b^2=(a+b)(a-b) 是完全平方公式。我們可以通過展開右邊的乘法，得到 (a+b)(a-b)=a^2-ab+ba-b^2=a^2-b^2。因此，我們得到了與左邊相等的結果，從而證明了完全平方公式的正確性。
在進行公式推理過程中，需要運用數學知識、邏輯思維和推理技巧。對於初中數學來說，掌握基本的代數運算、幾何性質和邏輯推理的方法是非常重要的。同時，多進行練習和思考，積累經驗和思維方式，有助於提高公式推理的能力。