ｎ＝３の場合の逆三角関数の倍角公式を取り上げたい．

２ａｒｃｔａｎｘ＋ａｒｃｔａｎｘ

＝ａｒｃｔａｎ（２ｘ／（１−ｘ^2））＋ａｒｃｔａｎｘ

＝ａｒｃｔａｎ（２ｘ／（１−ｘ^2）＋ｘ）／（１−２ｘ^2／（１−ｘ^2））

＝ａｒｃｔａｎ（２ｘ＋ｘ（１−ｘ^2））／（１−ｘ^2−２ｘ^2））

＝ａｒｃｔａｎ｛（３ｘ−ｘ^3）／（１−３ｘ^2）｝

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝