Comment forcer Mathematica à simplifier cette expression?

Question

J'ai l'expression suivante $$2^{1-2 n^2} \left(3-\sqrt{5}\right)^{-n-1} \left(\sqrt{5}-1\right)^{n (n+1)} \left(\sqrt{5}+1\right)^{n^2}$$

Cela peut être simplifié pour $$\left(\frac{1}{2} \left(\sqrt{5}+1\right)\right)^{n+2}$$

Mais

 FullSimplify[2^(1 - 2*n^2)*(3 - Sqrt[5])^(-1 - n)*(-1 + Sqrt[5])^(n*(1 + n))*(1 + Sqrt[5])^n^2, n > 0]

renvoie non évalué

Fait intéressant, le rapport de ces deux expressions est simplifié:

FullSimplify[2^(1 - 2*n^2)*(3 - Sqrt[5])^(-1 - n)*(-1 + Sqrt[5])^(n*(1 + n))*((1 + Sqrt[5])^n^2 / ((1 + Sqrt[5])/2)^(n + 2)), n > 0]
(* 1 *)

Answer 1

C'est là que je peux l'apporter:

expr1 = 2^(1 - 2*n^2)*(3 - Sqrt[5])^(-1 - n)*(-1 + 
      Sqrt[5])^(n*(1 + n))*(1 + Sqrt[5])^n^2;
expr2 = expr1 /. (-1 + Sqrt[5])^(n (1 + n)) -> a*(-1 + Sqrt[5])^n^2 //
    Simplify;
expr3 = expr2 /. a -> (-1 + Sqrt[5])^n;
expr4 = expr3 /. (3 - Sqrt[5])^(-1 - n) -> a*(3 - Sqrt[5])^-n // 
   Simplify[#, n > 0] &;
expr5 = expr4 /. a -> (3 - Sqrt[5])^-1;
expr6 = Simplify[expr5/(3 + Sqrt[5]), n > 0]*(3 + Sqrt[5])

 (*   2^(-1 - n) (1 + Sqrt[5])^n (3 + Sqrt[5])   *)

S'amuser!

Answer 2

Le code suivant résout mon problème:

Simplify[FullSimplify[ExpToTrig[
2^(1 - 2*n^2)*(3 - Sqrt[5])^(-1 - n)*(-1 + 
Sqrt[5])^(n*(1 + n))*(1 + Sqrt[5])^n^2]] /. {1 + Sqrt[5] -> 
2 GoldenRatio, 3 + Sqrt[5] -> 2*GoldenRatio^2}]

 (* GoldenRatio^(2 + n) *)

Cependant, en général, Mathematica ne réussit pas très bien à simplifier les expressions contenant GoldenRatio. J'ai dû compléter la base de connaissances par des substitutions.

Merci à tous pour vos efforts!