あるプログラムのコードで arccos(x) の x=1 付近を 2√(1-√(x)) で近似していました。開発者はどうやってこれを導いたのだと思いますか？