识别不变量

问：

不变量在解决问题时非常重要，但我不清楚有哪些方法可以轻松识别它们。 例： 如果我有类似以下内容：

i = i + 1;
j = j + 1;

很明显，无论 i 和 j 的实际值如何，变量的差异都将保持不变。
但是当我们遇到更复杂的情况时，例如：i - j

i = i + 3;  
j = j - 1;  

有哪些方法可以找出不变量？
在上面的例子中，我可以通过写出小数字来注意到模式来看到一些东西，但无法将其形式化为不变性。
有什么建议如何处理这个问题吗？3j + i