Compute the ordered pair of positive integers (x,y) such that xy+1=yx,2xy=yx+7.
Let x^y=a,y^x=b. Then, a+1=b, 2a=b+7 so 2a=a+8 which means a=8,b=9 so x=2,y=3.