Τριγωνομετρική από Putnam

Συντονιστής: Demetres

Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Τριγωνομετρική από Putnam

#1

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Δεκ 13, 2010 12:17 pm

Να υπολογιστεί το \displaystyle{ \min_{x \in \mathbb{R}} |\sin(x) + \cos(x) + \tan(x) + \cot(x) + \sec(x) + \csc(x)|.}


dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1419
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Re: Τριγωνομετρική από Putnam

#2

Μη αναγνωσμένη δημοσίευση από dement » Δευ Δεκ 13, 2010 3:22 pm

Ωραία άσκηση!

Θέτοντας \displaystyle c = \sqrt{2} \cos \left( \frac{\pi}{4} - x \right), έχουμε (με λίγη τριγωνομετρία) :

\sin x + \cos x = c

\displaystyle \tan x + \cot x = \frac{2}{c^2 - 1}

\displaystyle \sec x + \csc x = \frac{2c}{c^2 - 1}

και έτσι, το άθροισμα όλων μαζί είναι \displaystyle f(c) = c + \frac{2}{c-1} \neq 0. Οπότε αρκεί να εξετάσουμε τα ακρότατα της f μαζί με τα οριακά σημεία \pm \sqrt{2}.

Ισχύει \displaystyle f^{\prime} (c) = 1 - \frac{2}{(c-1)^2}. Η παράγωγος μηδενίζεται στο c = 1 - \sqrt{2} (για το διάστημα [-\sqrt{2}, \sqrt{2}] που μας ενδιαφέρει).

Ετσι, αρκεί να εξετάσουμε τη συνάρτηση στα σημεία 1 - \sqrt{2}, \pm \sqrt{2}. Ισχύει f(1 - \sqrt{2}) = 1 -2 \sqrt{2}, f(- \sqrt{2}) = 2 - 3 \sqrt{2}, f(\sqrt{2}) = 2 + 3 \sqrt{2}. Η ελάχιστη τιμή του απόλυτου, λοιπόν, είναι 2 \sqrt{2} - 1.

Δημήτρης Σκουτέρης


Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18245
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Τριγωνομετρική από Putnam

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Δευ Δεκ 13, 2010 3:53 pm

Demetres έγραψε:Να υπολογιστεί το \displaystyle{ \min_{x \in \mathbb{R}} |\sin(x) + \cos(x) + \tan(x) + \cot(x) + \sec(x) + \csc(x)|.}
Πολύ ωραία λύση.

Το παρακάτω γράφημα των τριών συναρτήσεων \displaystyle{ \sin(x) + \ + \csc(x),\,\,\cos(x) +  \sec(x), \,\, \tan(x) + \cot(x) (κόκκινη, πράσινη, κίτρινη αντίστοιχα) αποσαφινίζει "τι τρέχει". Επίσης μας δίνει την ιδέα (πώς;) για τριγωνομετρική λύση.

Φιλικά,

Μιχάλης
Συνημμένα
putnam.JPG
putnam.JPG (22.85 KiB) Προβλήθηκε 809 φορές


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Τριγωνομετρική από Putnam

#4

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Δεκ 13, 2010 5:41 pm

Mihalis_Lambrou έγραψε: Το παρακάτω γράφημα ... μας δίνει την ιδέα (πώς;) για τριγωνομετρική λύση.
Μιχάλη, δεν καταλαβαίνω το σκεπτικό. Υποψιάζομαι πως υπολογίζεις το

\displaystyle{ \min_{x \in \mathbb{R}} (|\sin(x)| + |\cos(x)| + |\tan(x)| + |\cot(x)| + |\sec(x)| + |\csc(x)|).}

Να προσθέσω ότι είναι η άσκηση Α3 του 2003. Η λύση του Δημήτρη είναι η μία από τις προτεινόμενες λύσεις. Το ελάχιστο του f(c) στο [-\sqrt{2},\sqrt{2}] μπορεί επίσης να υπολογιστεί χωρίς την χρήση παραγώγων.

Η δεύτερη προτεινόμενη λύση είναι με χρήση πολλαπλασιαστών Lagrange. Θα ήταν καλό να την δούμε και αυτήν. (Θα περιμένω λίγο καιρό προτού βάλω αυτήν την λύση.)


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18245
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Τριγωνομετρική από Putnam

#5

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Δευ Δεκ 13, 2010 9:20 pm

Demetres έγραψε:
Mihalis_Lambrou έγραψε: Το παρακάτω γράφημα ... μας δίνει την ιδέα (πώς;) για τριγωνομετρική λύση.
Μιχάλη, δεν καταλαβαίνω το σκεπτικό. Υποψιάζομαι πως υπολογίζεις το

\displaystyle{ \min_{x \in \mathbb{R}} (|\sin(x)| + |\cos(x)| + |\tan(x)| + |\cot(x)| + |\sec(x)| + |\csc(x)|).}
Δημήτρη,

το γράφημα που έκανα είναι μόνο για το πρώτο τεταρτημόριο (χωρίς τα άκρα, που έχουμε πρόβλημα ορισμού). Για τα υπόλοιπα τετερτημόρια μπορεί κανείς να συμπεράνει τα γραφήματα από τα παραπάνω (π.χ. του \tan x + \cot x είναι το συμμετρικό του κίτρινου ως προς τον άξονα των χ.)

Φιλικά,

Μιχάλης


kwstas12345
Δημοσιεύσεις: 1052
Εγγραφή: Δευ Ιαν 11, 2010 2:12 pm

Re: Τριγωνομετρική από Putnam

#6

Μη αναγνωσμένη δημοσίευση από kwstas12345 » Τρί Δεκ 14, 2010 10:15 pm

Μια άλλη λύση με πολλαπλασιαστές Lagrange:

Αρχικά εύκολα βλέπουμε πως

Επειδή: \displaystyle \sin\left(x \right)+\cos\left(x \right)+\tan\left(x \right)+\cot\left(x \right)+\sec\left(x \right)+\csc\left(x \right)= \displaystyle \sin\left(x \right)+\cos\left(x \right)+\frac{\sin\left(x \right)}{\cos\left(x \right)}+ \displaystyle \frac{\cos\left(x \right)}{\sin\left(x \right)}+\frac{1}{\cos\left(x \right)}+\frac{1}{\sin\left(x \right)}

Θέτω: \displaystyle  u=\sin x,t=\cos x οπότε έχω την \displaystyle g\left(u,t \right)=u+t+\frac{1}{u}+\frac{1}{t}+\frac{u}{t}+\frac{t}{u} αλλά και τον περιορισμό \displaystyle u^2+t^2=1,-1< u,t< 1,u,t\neq 0

Για να υπολογίσω τα ακρότατα της g υπό τον περιορισμό αυτόν θεωρώ την συνάρτηση: \displaystyle f\left(u,t \right)=u+t+\frac{1}{u}+\frac{1}{t}+\frac{u}{t}+\frac{t}{u}-k\left(u^2+t^2-1 \right)

Για την οποία ισχύει ότι: \displaystyle \frac{\partial f}{\partial u}=1-\frac{1}{u^{2}}+\frac{1}{t}-\frac{t}{u^{2}}-2ku=\left(t+1 \right)\left(\frac{u^{2}-t}{u^2 t} \right)-2ku ,\displaystyle \frac{\partial f}{\partial t}=\left(u+1 \right)\left(\frac{t^{2}-u}{t^{2}u} \right)-2kt

Έχω να λύσω το σύστημα: \displaystyle \frac{\partial f}{\partial u}=0,\frac{\partial f}{\partial t}=0 ή \displaystyle \left(t+1 \right)\left(u^{2}-t \right)=2ku^{3}t,\left(u+1 \right)\left(t^{2}-u \right)=2kut^{3},u,t\neq 0

Διαιρώντας τις παραπάνω δυο κατα μέλη θα πάρω: \displaystyle \frac{u^{2}}{t^{2}}=\frac{\left(t+1 \right)\left(u^{2}-t \right)}{\left(u+1 \right)\left(t^{2}-u \right)}\Leftrightarrow u^3t^2-u^4-u^3=t^3u^2-t^4-t^3 \displaystyle u^{2}t^{2}\left(u-t \right)+\left(t^{2}-u^{2} \right)\left(t^2+u^2 \right)+\left(t-u \right)\left(t^2+u^2+ut \right)=0\Leftrightarrow

\displaystyle  \left(u-t \right)\left(t^2+u^2+ut+t+u-u^2t^2 \right)=0\Leftrightarrow \left(u-t \right)\left(u+1 \right)\left[t^{2}\left(1-u \right)+u+t \right]= 0 \displaystyle \Leftrightarrow \left(u-t \right)\left(t+1 \right)\left(u+1 \right)\left(t-\frac{u}{u-1} \right)=0

Τα πιθανά σημεία \displaystyle \left(-1,0 \right),\left(0,-1 \right) απορίπτονται εξ αρχής. Πιθανά σημεία είναι τα \displaystyle \left(u,u \right),\left( u,\frac{u}{u-1}\right)

Άν u=t παίρνουμε τα \displaystyle \left(\pm \frac{1}{\sqrt{2}},\pm \frac{1}{\sqrt{2}} \right).

Άν \displaystyle t=\frac{u}{u-1}\Leftrightarrow ut=u+t\Rightarrow u^{2}t^{2}=1+2ut\Leftrightarrow ut=1\pm \sqrt{2}.

Άν \displaystyle ut=1+\sqrt{2}\Rightarrow u=\frac{1+\sqrt{2}}{t}\Rightarrow u^{2}+\frac{\left(\sqrt{2}+1 \right)^{2}}{u^{2}}=1

η οποία είναι αδύνατη.

Άν \displaystyle ut=1-\sqrt{2}... θα προκύψουν λύσεις:

Τέλος εύκολα βλέπουμε πως \displaystyle g\left(\frac{1}{\sqrt{2}},\frac{1}{\sqrt{2}} \right)=3\sqrt{2}+1,g\left(-\frac{1}{\sqrt{2}},-\frac{1}{\sqrt{2}} \right), \displaystyle -\frac{1}{\sqrt{2}} \right)=2-3\sqrt{2},g\left(u_{0},t_{0} \right)=2\sqrt{2}-1

Η ελάχιστη τιμή του απόλύτου είναι η μικροτερη από τις τιμές που προκύπτουν : \displaystyle \min_{x \in \mathbb{R}}\left|\sin\left(x \right)+\cos\left(x \right)+\tan\left(x \right)+\cot\left(x \right)+\sec\left(x \right)+\csc\left(x \right) \right|=2\sqrt{2}-1
Πιστευω να είμαι σωστός...


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Τριγωνομετρική από Putnam

#7

Μη αναγνωσμένη δημοσίευση από Demetres » Τετ Δεκ 15, 2010 7:07 pm

kwstas12345 έγραψε: Πιστευω να είμαι σωστός...
:10sta10:

Επειδή είμαστε στους διαγωνισμούς για φοιτητές θέλω να γράψω και ένα θεώρημα που μας επιτρέπει να χρησιμοποιήσουμε τους πολλαπλασιαστές Lagrange κάτω υπό κάποιες συνθήκες (οι οποίες ισχύουν στην περίπτωσή μας). Θα το κάνω αργότερα απόψε ή αύριο.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Τριγωνομετρική από Putnam

#8

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Δεκ 16, 2010 10:16 pm

Κώστα, τώρα που ξαναβλέπω την λύση σου υπάρχει ένα μικρό πρόβλημα (διορθώνεται εύκολα). Η συνάρτηση που μας ενδιαφέρει δεν είναι η f που έγραψες αλλά η |f| και άρα πρέπει να είμαστε λίγο πιο προσεκτικοί.

Δεν ξέρω πόση αυστηρότητα ζητάνε στους διαγωνισμούς όταν γίνεται χρήση των πολλαπλασιαστών Lagrange (η προτεινόμενη λύση είναι ουσιαστικά αυτή που έβαλε ο Κώστας με την επιπλέον δικαιολόγηση για την |f|). Βάζω όμως ένα θεώρημα που μας επιτρέπει την χρήση των πολλαπλασιαστών.

Θεώρημα: Έστω U ένα ανοικτό υποσύνολο του \mathbb{R}^n και f,g_1,\ldots,g_k παραγωγίσιμες συναρτήσεις από το U στο \mathbb{R}. Έστω ότι υπάρχει x \in U ώστε
(α) g_i(x) = 0 για κάθε 1 \leqslant i \leqslant k
(β) f(x) \leqslant f(y) για κάθε y \in U με g_i(y) = 0 για κάθε 1 \leqslant i \leqslant k.
Τότε υπάρχουν \lambda_1,\ldots,\lambda_k \in \mathbb{R} ώστε όλες οι μερικές παράγωγοι της συνάρτησης F = f - \sum_{i=1}^k \lambda_1 f_i μηδενίζονται στο x.

Στην περίπτωσή μας ο Κώστας έκανε χρήση του θεωρήματος με U = \{(u,t) \in \mathbb{R}^2: -1 < u,t < 1 \wedge u \neq 0 \wedge t \neq 0\}, f(u,t) = u + t + 1/u + 1/t + u/t + t/u και g(u,t) = u^2 + t^2 - 1.

Το μόνο που χρειάζεται να ελέγξουμε, (πέρα από την διαδικασία που έκανε ο Κώστας) είναι ότι πραγματικά υπάρχει σημείο στο U για το οποίο η f παίρνει την ελάχιστή της τιμή. Για αυτό μπορούμε να χρησιμοποιήσουμε συμπάγεια:

Κατ' αρχήν παρατηρούμε (πράξεις τις οποίες παραλείπω) ότι η f δεν ισούται ποτέ με 0 στο U. Παρατηρούμε επίσης (πάλι παραλείπονται πράξεις) ότι υπάρχει \delta > 0 ώστε όταν |u| < \delta ή |u| > 1 - \delta ή |t| < \delta ή |t| > 1 - \delta και επίσης u^2 + t^2 = 1, τότε |f(u,t)| > 1.9 > 2\sqrt{2} - 1

Έστω
V_1 = \{(u,t) \in \mathbb{R}^2: -1+\delta \leqslant u \leqslant -\delta,  -1+\delta \leqslant t \leqslant -\delta\}

V_2 = \{(u,t) \in \mathbb{R}^2: -1+\delta \leqslant u \leqslant -\delta,  \delta \leqslant t \leqslant 1-\delta\}

V_3 = \{(u,t) \in \mathbb{R}^2: \delta \leqslant u \leqslant 1-\delta,  -1+\delta \leqslant t \leqslant -\delta\}

V_4 = \{(u,t) \in \mathbb{R}^2: \delta \leqslant u \leqslant 1-\delta,  \delta \leqslant t \leqslant 1-\delta\}

Τέλος παρατηρούμε ότι το ελάχιστο της |f| πρέπει να εμφανίζεται σε ένα από τα V_1,\ldots,V_4 και επειδή κάθε ένα από αυτά είναι κλειστό και φραγμένο θα υπάρχει σημείο όπου η |f| παίρνει την ελάχιστη τιμή.


Απάντηση

Επιστροφή σε “Διαγωνισμοί για φοιτητές”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 3 επισκέπτες