l'égalité a justifier n'est autre que la traduction de AB/AC=AC/BC avec AB=L et AC=l
Posons r=L/l alors l/(L-l)=(l/l)/(L/l-l/l)=1/(r-1) donc r est solution de r²-r-1=0
phi vaut 1,6180339887498948482045868343656 soit 1,618 au millième
comme phi²-phi=1 on a phi(phi-1)=1 donc phi a pour inverse phi-1 :
1/phi=(phi-1) ou 1/(phi-1)=phi
