Πόσο σχολική θα ήταν η πιο κάτω λύση;
Από θεώρημα μέσης τιμής στο
![[a,b] [a,b]](/forum/ext/geomar/texintegr/latexrender/pictures/2c3d331bc98b44e71cb2aae9edadca7e.png)
υπάρχει

με

.
(1) Αν

για κάθε

, τότε για κάθε

, από θεώρημα μέσης τιμής στο
![[a,x] [a,x]](/forum/ext/geomar/texintegr/latexrender/pictures/a7783208283b6aa11e1a07378a1ae7dc.png)
παίρνουμε

και άρα

, και από θεώρημα μέσης τιμής στο
![[x,b] [x,b]](/forum/ext/geomar/texintegr/latexrender/pictures/0a71ae2e9ad3befd7219a6c1a95d59b1.png)
παίρνουμε

και άρα

. Άρα

για κάθε
![x \in [a,b] x \in [a,b]](/forum/ext/geomar/texintegr/latexrender/pictures/af3c1adca188345d2a91c0d13a891b9f.png)
. Σε αυτήν την περίπτωση οποιαδήποτε διαφορετικά

δουλεύουν αφού

για κάθε
![\xi \in [a,b] \xi \in [a,b]](/forum/ext/geomar/texintegr/latexrender/pictures/f83ba3f626ed0ec9d1df2f3139d398d0.png)
.
(2) Αν

για κάθε

τότε με παρόμοιο τρόπο βρίσκουμε

για κάθε
![x \in [a,b] x \in [a,b]](/forum/ext/geomar/texintegr/latexrender/pictures/af3c1adca188345d2a91c0d13a891b9f.png)
και άρα πάλι μπορούμε να βρούμε τα ζητούμενα

.
(3) Μπορούμε λοιπόν να υποθέσουμε πως υπάρχουν

και

με

. Αρκεί τώρα να βρούμε
![r_1,\ldots,r_4 \in [c,d] r_1,\ldots,r_4 \in [c,d]](/forum/ext/geomar/texintegr/latexrender/pictures/2b9c1272ef997e140e04fdffebadf7bf.png)
όλα διαφορετικά μεταξύ τους ώστε

. Πράγματι από Darboux, θα υπάρχουν

ώστε

και προφανώς τα

θα είναι όλα διαφορετικά.
Μπορούμε εύκολα να βρούμε τέτοια

. Π.χ αρκεί να βρούμε

ώστε να μπορούμε να ορίσουμε

και

. Για να μπορούμε να το κάνουμε αυτό αρκεί

και

τα οποία ισχύουν αν

αρκετά μικρό.
Ακριβώς η ιδέα δουλεύει και
για αυτήν την άσκηση.