1701000070
tanh===QR
1701000071
1701000072
1701000073
1701000074
1701000075
1701000076
由此可知，直角三角形OPS的面积是coshsinh，直角三角形OQR的面积是ORQR=tanh =。
1701000077
1701000078
现在，来看扇形OPR。单位圆的面积是 π12=π，扇形OPS是单位圆的h/(2π)倍。因此，扇形OPR的面积为π(h/2π) =h/2。
1701000079
1701000080
由于扇形OPR包含三角形OPS，同时被包含在三角形OQR中，因此这三个图形面积的关系满足：
1701000081
1701000082
1701000083
1701000084
1701000085
coshsinh<<
1701000086
1701000087
1701000088
同时乘以> 0，就会得到：
1701000089
1701000090
1701000091
1701000092
cosh<<
1701000093
1701000094
如果正数a、b、c满足a
1701000095
1701000096
1701000097
1701000098
cosh<<
1701000099
1701000100
由于h趋近0，所以cosh与1 / cosh都趋近1。这与我们想要的结果一致。
1701000101
1701000102
1701000103
1701000104
也就是说，= 1。 □
1701000105
1701000106
延伸阅读
1701000107
1701000108
1701000109
1701000110
有了上述结果，再通过代数运算（包括cos2h+ sin2h= 1），就可以证明= 0。
1701000111
1701000112
证明过程如下：
1701000113
1701000114
1701000115
1701000116
1701000117
1701000118
=·=
1701000119