εξίσωση με παραγοντικό
Δημοσιεύτηκε: Παρ Οκτ 08, 2010 12:22 am
Να λυθεί στους θετικούς ακεραίους η εξίσωση:
.
.
.Ισοδύναμα:socrates έγραψε:Να λυθεί στους θετικούς ακεραίους η εξίσωση:.

η
τοτε
άτοπο.
και αν
σύνθετος, τότε υπάρχει πρώτος
που διαιρεί τον
, ομως αυτός εμφανίζεται στο παραγοντικό του
, οπότε παίρνοντας
προκειπτει:
, άτοπο.
να είναι πρώτος.
ειναι πρώτος με
, τότε θα είναι
, και τότε απο το θεώρημα Wilson:
, άρα υπάρχει
θετικός ακέραιος ώστε
.
, είναι ισοδύναμα
, άτοπο.
και το ζεύγος
επαληθεύει.
, για κάθε
πρώτο.