三角関数の厳密な定義を以下のようにして定義している本を知っている人はいませんか？

（１）円周率の定義
π:=2*∫_{-1}^{1} √(1-x^2) dx

（２）-1≦x≦1とする。x軸、原点と点(x, √(1-x^2))を結ぶ原点を中心とする半径1の円周上の弧、原点と点(x, √(1-x^2))を結ぶ線分で囲まれた扇形の面積をA(x)とすると、

A(x) = x*√(1-x^2)/2 + ∫_{x}^{1} √(1-t^2) dt

（３）0≦x≦πに対して、y = cos(x)をA(y) = x/2を満たすようなyと定義する。