Ich würde es ganz "naiv" machen:
a=2+5⇒a−2=5
Quadrieren liefert
a2−22a+2=5, also
−22a=3−a2.
Quadrieren liefert
8a2=9−6a2+a4.
a ist also Nullstelle des Polynoms X4−14X2+9.
Eine weitere Überlegung bzgl. der sukzessiven quadratischen
Körpererweiterungen besagt, dass [Q(2+5) : Q]=4 ist.
Damit ist X4−14X2+9 das Minimalpolynom von a.