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

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

　　ｚ^2−３ｘｙｚ＋ｘ^2＋ｙ^2−４／９＝０

　　ｚ＝１／２｛３ｘｙ±√（９ｘ^2ｙ^2−４ｘ^2−４ｙ^2＋１６／９）｝

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

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

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

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

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

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

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

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

　　ｚ＝１／２｛３ｘｙ±√（９ｘ^2ｙ^2−４ｘ^2−４ｙ^2＋１６／９）｝

を代入しても，直接ｆ（ｘ）＋ｆ（ｙ）＝ｆ（ｚ）を示すことは難しいようだ．

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