x=y=z=2以外の解があるか?

すべて自然数、変数　a>b、 (a^2 - b^2)^x + (2ab)^y = (a^2 + b^2)^z　の解

答えしらず。 a=2 b=1だけはいまのところ他にないを証明可能