Show that, if $A$ and $B$ belong to $S_n^{++}(\mathbf{R})$, then:
$$\forall t \in [0,1], \quad \operatorname{det}((1-t)A + tB) \geq \operatorname{det}(A)^{1-t} \operatorname{det}(B)^t$$
Justify that this inequality remains valid for $A$ and $B$ only in $S_n^+(\mathbf{R})$.