12/02/03 23:46:52.71
>>54
１≦ｘ≦ｙ≦ｚ と仮定して一般性を失わない
ｘｙｚ＝ｘ＋ｙ＋ｚ≦３ｚ
ｘｙ≦３ だから、ｘ＝１
ｙ＝１ のとき、ｚ＝ｘｙｚ＝ｘ＋ｙ＋ｚ＝２＋ｚ となり矛盾。
ｙ＝２ のとき、
２ｚ＝ｘｙｚ＝ｘ＋ｙ＋ｚ＝３＋ｚ ⇒ ｚ＝３
ｙ＝３ のとき、 ３ｚ＝ｘｙｚ＝ｘ＋ｙ＋ｚ＝４＋ｚ となり矛盾。
12/02/03 23:46:52.71
>>54
１≦ｘ≦ｙ≦ｚ と仮定して一般性を失わない
ｘｙｚ＝ｘ＋ｙ＋ｚ≦３ｚ
ｘｙ≦３ だから、ｘ＝１
ｙ＝１ のとき、ｚ＝ｘｙｚ＝ｘ＋ｙ＋ｚ＝２＋ｚ となり矛盾。
ｙ＝２ のとき、
２ｚ＝ｘｙｚ＝ｘ＋ｙ＋ｚ＝３＋ｚ ⇒ ｚ＝３
ｙ＝３ のとき、 ３ｚ＝ｘｙｚ＝ｘ＋ｙ＋ｚ＝４＋ｚ となり矛盾。