Question: How can we prove this equality?

I'm stucked in trying to prove that rel(n)  is true for each integer n > 1.

restart

rel := n -> (n-3)^(n/(n-1))*2^(n/(n-1))-((n-1)*2^(n/(n-1))-4*2^(1/(n-1)))*(n-3)^(1/(n-1)) = 0

proc (n) options operator, arrow; (n-3)^(n/(n-1))*2^(n/(n-1))-((n-1)*2^(n/(n-1))-4*2^(1/(n-1)))*(n-3)^(1/(n-1)) = 0 end proc

(1)

 

Download Prove_It_True.mw

Do you have any idea to do this?

TIA

Please Wait...