从而就有
即
于是有
当时,有
且
证明 设所对的角分别为、、则是直角,为锐角,于是
思路分析 由条件联想到勾股定理,可构成直角三角形的三边,进一步联想到三角函数的定义可得如下证法。
例6 已知均为正实数,满足关系式,又为不小于的自然数,求证:
若,由已知条件易得 即,显然也有.