Multiplier par le complexe conjugué : mult_c_conjugate multiplier_conjugue

6.12.9 Multiplier par le complexe conjugué : mult_c_conjugate multiplier_conjugue_complexe

Si une expression a un dénominateur complexe, mult_c_conjugate multiplie le numérateur et le dénominateur de cette expression par le complexe conjugué du dénominateur.
Si une expression n’a pas de dénominateur complexe, mult_c_conjugate multiplie le numérateur et le dénominateur de cette expression par le complexe conjugué du numérateur.
On tape :

mult_c_conjugate((2+i)/(2+3*i))

On obtient :

(2+i)*(2+3*(-i))/((2+3*(i))*(2+3*(-i)))

On tape :

mult_c_conjugate((2+i)/2)

On obtient :

(2+i)*(2+-i)/(2*(2+-i))