数学公式及定理整理 解析几何 余弦定理(cosine law)的证明 平面上点到直线的距离公式证明 计算两个向量的夹角 根据两点坐标,计算过两点直线的一般方程 两向量的点积(内积) 数论 欧几里得算法(Euclidean algorithm)的证明与实现 扩展欧几里得算法(extended Euclidean algorithm)的证明与实现 三角函数 三角函数的加法定理及证明