x^(log(y)-log(z))*y^(log(z)-log(x))*z^(log(x)-log(y))=1
xlog(y)−log(z)⋅ylog(z)−log(x)⋅zlog(x)−log(y)?=1|log()log(xlog(y)−log(z)⋅ylog(z)−log(x)⋅zlog(x)−log(y))?=log(1)|log(1)=0log(xlog(y)−log(z))+log(ylog(z)−log(x))+log(zlog(x)−log(y))?=0
[ log(y)−log(z) ]⋅log(x)+[ log(z)−log(x) ]⋅log(y)+[ log(x)−log(y) ]⋅log(z)?=0
log(y)⋅log(x)−log(z)⋅log(x)+log(z)⋅log(y)−log(x)⋅log(y)+log(x)⋅log(z)−log(y)⋅log(z)?=0
log(y)⋅log(x)−log(x)⋅log(y)−log(z)⋅log(x)+log(x)⋅log(z)+log(z)⋅log(y)−log(y)⋅log(z)?=00+0+0?=00=0
x^(log(y)-log(z))*y^(log(z)-log(x))*z^(log(x)-log(y))=1
xlog(y)−log(z)⋅ylog(z)−log(x)⋅zlog(x)−log(y)?=1|log()log(xlog(y)−log(z)⋅ylog(z)−log(x)⋅zlog(x)−log(y))?=log(1)|log(1)=0log(xlog(y)−log(z))+log(ylog(z)−log(x))+log(zlog(x)−log(y))?=0
[ log(y)−log(z) ]⋅log(x)+[ log(z)−log(x) ]⋅log(y)+[ log(x)−log(y) ]⋅log(z)?=0
log(y)⋅log(x)−log(z)⋅log(x)+log(z)⋅log(y)−log(x)⋅log(y)+log(x)⋅log(z)−log(y)⋅log(z)?=0
log(y)⋅log(x)−log(x)⋅log(y)−log(z)⋅log(x)+log(x)⋅log(z)+log(z)⋅log(y)−log(y)⋅log(z)?=00+0+0?=00=0