1. 形式求解的解释：

可以用一个例子来形成印象：

这个过程其实就是一种形式求解。（我能找到的说法是）

诠释或者定义，就是已解决问题的相似问题的解决方法，可以是通过对已有问题的解进行形式变换，以启发相似问题的求解。

2. 通俗和书面：

很明显语言文字不适合用于形成印象，所以用于形成印象的语段都很长，如果还使用书面语那大概看不下去。

形成印象大概可以完成类似理解记忆概念的工作。

但是通俗语言描述的概念在复用和扩展使用上有很大局限性，因为太长了信息密度小。使用简短的书面语言（概念，专业术语）可以轻松复用和扩展使用语言，但是其内部的逻辑关系可以是被忽略的，即使用者大脑大概没有在使用前判断使用是否严谨，而听的人也会自动扩展书面语的语义以使得它符合语言习惯。

所以练习正确使用书面语表达事实上是一种使用新知识的实践，但是其反馈是有人告诉你这么用是对还是错。

所以人的表达具有两套在交流中是有必要性的。

3. 优秀的书面语：

能够用通俗语言简短完成的表述对书面语的需求会降低，特殊情况下可能仍然要使用书面。这导致了一些书面用法少被接受。

如果书面语字面上或通过其他形式与通俗信息有关，那书面语将对获取过通俗信息的人有奇效。这将易学易懂。

书面语要短，通常短的书面语可能会由其他书面语派生成，这还不能确定是不是好的，不过可以确定越高级抽象的书面语越难与通俗信息联系上，也即难理解。

4. 形式求解的再解释：

就是从旧问题答案猜新问题答案，很明显大多数猜想都是失败的。但是对于有相同特征的题目可以进行相同的猜想！

形式求解需要你验证问题确实具有你假想的形式，并且可能假想的形式不能直接使用，而需要求解更通用的形式。

常数变易法是一类问题的形式求解方法，在实践中起到很好的帮助。