ａｒｃｃｏｓｈ（ｘ）＝ｌｏｇ（ｘ＋√（ｘ^2−１））

＝ｌｏｇ２ｘ−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／ｘ^2n

の方が使いやすいと思われる．

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

　ａｒｃｃｏｓｈ（３ｘ／２）＝ｌｏｇ（３ｘ）−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／（３ｘ／２）^2n

　ａｒｃｃｏｓｈ（３ｙ／２）＝ｌｏｇ（３ｙ）−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／（３ｙ／２）^2n

　ａｒｃｃｏｓｈ（３ｚ／２）＝ｌｏｇ（３ｚ）−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／（３ｚ／２）^2n

ｆ（ｘ）＋ｆ（ｙ）＝ｌｏｇ（９ｘｙ）−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／（３ｘ／２）^2n−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／（３ｘ／２）^2n

＝ｌｏｇ（９ｘｙ）−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！｛１／（３ｘ／２）^2n＋１／（３ｙ／２）^2n｝

＝ｌｏｇ（９ｘｙ）−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！｛（３ｘ／２）^2n＋（３ｙ／２）^2n｝／（９ｘｙ／４）^2n

ｆ（ｚ）＝ｌｏｇ（３ｚ）−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／（３ｚ／２）^2n

　　ｘ^2＋ｙ^2＋ｚ1^2＝３ｘｙｚ1

　　ｘ^2＋ｙ^2＋ｚ2^2＝３ｘｙｚ2

　ｚ1＝ｘｙ／２・｛３＋（９−４／ｘ^2−４／ｙ^2）^1/2｝

　ｚ2＝ｘｙ／２・｛３−（９−４／ｘ^2−４／ｙ^2）^1/2｝

　ｚ＝ｚ1＋ｚ2＝３ｘｙ

　ｚ1ｚ2＝（ｘｙ／２）^2（４／ｘ^2＋４／ｙ^2）＝ｘ^2＋ｙ^2

ｆ（ｚ1＋ｚ2）＝ｌｏｇ（３（ｚ1＋ｚ2））−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／（３（ｚ1＋ｚ2）／２）^2n

＝ｌｏｇ（９ｘｙ）−Σ（２ｎ−１）！！／２ｎ（２ｎ）！！・１／（９ｘｙ／２）^2n

１／（９ｘｙ／２）^2n＝｛（３ｘ／２）^2n＋（３ｙ／２）^2n｝／（９ｘｙ／４）^2n

１／２^2n＝｛（３ｘ／２）^2n＋（３ｙ／２）^2n｝

１＝｛（３ｘ）^2n＋（３ｙ）^2n｝であればよい？？？

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