Μια εναλλακτική λύση:
Έστω

και

.
Θα δείξουμε ότι υπάρχει μία ένα προς ένα και επί απεικόνιση

, οπότε θα είναι

, και αφού τα σύνολα

είναι προφανώς μια διαμέριση του
![[0,1] [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/ccfcd347d0bf65dc77afe01a3306a96b.png)
(είναι

και
![S \cup T=[0,1] S \cup T=[0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/d3fcfdd7655fec89b9f5222b212c5ee0.png)
), έχουμε ότι η πιθανότητα μια τριάδα

να ανήκει στο

είναι

.
Έστω μία τριάδα

, και WLOG

. Τότε, ορίζουμε

. Είναι προφανώς

και

,

.
Επίσης, είναι

, όπου η τελευταία ανισότητα ισχύει διότι

. Άρα

. Αντίστροφα, έστω μία τριάδα

όπου WLOG

, τότε προφανώς

.
Άρα, υπάρχει ένα προς ένα και επί απεικόνιση

, συνεπώς η ζητούμενη πιθανότητα είναι πράγματι

.
(Στην πιο πάνω λύση, βέβαια, πρέπει να προσέξουμε την πιθανότητα για μία τριάδα

να ισχύει

, καθώς τότε

, οπότε τα

δεν σχηματίζουν τρίγωνο. Δηλαδή μας ενδιαφέρει η πιθανότητα μια τριάδα

με τα
![a,b,c \in [0,1] a,b,c \in [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/eb8f6c1628622d73176b4a5f9cc18269.png)
να ικανοποιεί την

.
Αν σταθεροποιήσουμε το

, τότε το πείραμα τύχης είναι η επιλογή δύο αριθμών

και

στο

, ώστε

. Έστω λοιπόν η μεταβλητή

, και θέλουμε την

.
Η μεταβλητή

παίρνει τιμές στο
![[0,2a] [0,2a]](/forum/ext/geomar/texintegr/latexrender/pictures/9caa1c04c5b4af0f5b77e55dd2befcab.png)
, επειδή

. Αφού όμως η μεταβλητή είναι συνεχής (το
![[0,2a] [0,2a]](/forum/ext/geomar/texintegr/latexrender/pictures/9caa1c04c5b4af0f5b77e55dd2befcab.png)
είναι υπεραριθμήσιμο), η πιθανότητα ισούται με

. Άρα δεν έχουμε πρόβλημα)
Προσθήκη: Η λύση έχει λάθος. Ευχαριστώ τον κ. Μιχάλη για την διόρθωση! Το άπειρο έχει τα παράδοξά του ...