三角恒等式

三角恒等式与初等几何定理的机械化证明

Trigonometric identity and the mechanical theorem proving in elementary geometry

两个三角恒等式的证明

The Proof of Two Trigonometric Identity

两个三角恒等式及Euler公式的推广

Two trigonometric identities and Euler formula ' proof

同时由于将所有物理量，包括非线性耦合项，均沿环向进行了Fourier展开，并通过适当的三角恒等式将非线性耦合项处理成伪载荷。

All dependent variables , including the nonlinear terms , are expanded into Fourier series in the circumferential direction , with the nonlinear coupling terms treated as " pseudo loads " by appropriate trigonometric identities .

三角恒等式证明的一个注记

A Note on Proof of Triangular Identical Equation

本文主要是构作一些特殊的代数方程，利用韦达定理及单位根性质导出一些三角恒等式。

This peper , intends to make some special algebraic equations and introduces some trigonometric identities by using the vieta theorem and the property of unit root .

通过求解递推关系式，给出了几类循环图上简单随机游动任意两点之间的平均首达时间的表达式；并利用双计法得到了一些新的三角恒等式。

By solving the recurrent relations , we obtain the explicit expressions for the expected hitting times for simple random walks on several kinds of circulant graphs .