公式推导

给定条件，逐步推导数学公式，输出 LaTeX