.Demetres έγραψε: ↑Δευ Ιαν 15, 2018 11:04 pm
Λήμμα Gauss: Το γινόμενο δύο αρχικών πολυωνύμων είναι αρχικό.
Από το λήμμα του Gauss, όντως παίρνουμε ότι το έχει ακέραιους συντελεστές. Πράγματι, έστω τέτοιο ώστε το να είναι αρχικό. Τότε το είναι αρχικό. Επειδή το έχει ακέραιους συντελεστές, πρέπει . Άρα και το έχει ακέραιους συντελεστές.
Για το ωραιότατο αυτό Λήμμα αξίζει να δείτε τα ποστ #31 έως #35 από παλιότερη συζήτηση στο
[u] http://www.mathematica.gr/forum/vie ... 273181[/u]