ｆ（ｚ）＝ｌｏｇ（３ｚ／２＋√（９ｚ^2／４−１））

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

　ｚ1＋ｚ2＝３ｘｙ

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

　　　＝ｘ^2ｙ^2（１／ｘ^2＋１／ｙ^2）＝ｘ^2＋ｙ^2

　ｚ1^2＋ｚ2^2＝９ｘ^2ｙ^2−２ｘ^2−２ｙ^2

とすることはできるだろうか？

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

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

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

（ｚ1^2−ｚ2^2）＝３ｘｙ（ｚ1−ｚ2）

　ｚ1＋ｚ2＝３ｘｙ

ｚ1^2ｚ2^2＋（ｘ^2＋ｙ^2）（ｚ1^2＋ｚ2^2）＋（ｘ^2＋ｙ^2）^2＝９ｘ^2ｙ^2ｚ1ｚ2

あるいは

ｚ1（ｘ^2＋ｙ^2＋ｚ2^2）＝ｚ2（ｘ^2＋ｙ^2＋ｚ1^2）

ｚ1ｚ2（ｚ2−ｚ1）−（ｚ2−ｚ1）（ｘ^2＋ｙ^2）＝０

ｚ1ｚ2＝（ｘ^2＋ｙ^2）

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

ｆ（ｚ1＋ｚ2）＝ｌｏｇ（３（ｚ1＋ｚ2）／２＋√（９（ｚ1＋ｚ2）^2／４−１））

ｆ（ｚ1ｚ2）＝ｌｏｇ（３（ｚ1ｚ2）／２＋√（９（ｚ1ｚ2）^2／４−１））

は可能であるが，しかし，この後で，

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

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

　　　＝ｘ^2ｙ^2（１／ｘ^2＋１／ｙ^2）＝ｘ^2＋ｙ^2＝ｚ^2

とすることはできない．

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