### 6.13.2 Polynôme minimal d’un nombre algébrique : `pmin`

`pmin` a comme argument `a` un nombre algébrique réel (resp complexe).
`pmin` renvoie le polynôme de plus petit degré ayant comme coefficients des entiers qui admet `a` comme racine.
On tape :

`pmin(sqrt(2)+sqrt(3))`

On obtient :

`poly1[1,0,-10,0,1]`

On tape :

`pmin(sqrt(2)+sqrt(3),x)`

On obtient :

`x```^```4-10*x```^```2+1`

En effet (√2+√3)2=5+2√6 et donc :
((√2+√3)2−5)2=24 donc
(√2+√3)4−10(√2+√3)2+1=0 On tape :

`pmin(sqrt(2)+i*sqrt(3))`

On obtient :

`poly1[1,0,2,0,25]`

On tape :

`pmin(sqrt(2)+i*sqrt(3),x)`

On obtient :

`x```^```4-4*i*x```^```2-100`

En effet (√2+i√3)2=−1+2i√6 et donc :
((√2+i√3)2+1)2=−24 donc
(√2+i√3)4+2(√2+i√3)2)+25=0 On tape :

`pmin(sqrt(2)+2*i)`

On obtient :

`poly1[1,0,4,0,36]`

On tape :

`pmin(sqrt(2)+2*i,x)`

On obtient :

`x```^```4+4*x```^```2+36`

En effet (√2+2*i)2=(4*i)*sqrt(2)−2 et donc :
((√2+2*i)2+2)2=−32 donc
(√2+2*i)4+4(√2+2*i)2+36+0