a^b、b^aがいずれも有理数となる無理数a、bは存在するか