「ピタゴラスの定理」の版間の差分

削除された内容 追加された内容
482行目:
極座標の動径の定義より、OA=r、OB=sと書ける。
 
三角関数はべき級数によって定義されているものとする。余弦関数は {{math|0 < α - β < π2}} において[[単調写像|狭義単調減少関数]]であり、ある正の数を {{math|''x''}} として
:<math>\begin{align} AB^2 &= OA^2+OB^2-x\cos( \alpha - \beta ) \\
&= r^2+s^2-x\cos( \alpha - \beta )\end{align}</math>