Αρχιμήδεια ιδιότητα

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
(Ανακατεύθυνση από Αξίωμα Ευδόξου-Αρχιμήδη)
Μετάβαση σε: πλοήγηση, αναζήτηση

Η Αρχιμήδεια ιδιότητα στο σύνολο των πραγματικών αριθμών, δηλώνει ότι για όλους τους πραγματικούς αριθμούς x και y με x > 0, υπάρχει φυσικός αριθμός ν τέτοιος ώστε .

Η απόδειξη της ιδιότητας αυτής προκύπτει εύκολα από το γεγονός ότι το σύνολο N των φυσικών αριθμών δεν είναι άνω φραγμένο. Επειδή λοιπόν το N δεν είναι άνω φραγμένο ο πραγματικός αριθμός y/x δεν μπορεί να είναι άνω φράγμα του και επομένως υπάρχει τουλάχιστον ένας φυσικός αριθμός ν τέτοιος ώστε > y/x και ισοδύναμα .

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