Ισότητα από άλλη ισότητα

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

Άβαταρ μέλους
KARKAR
Δημοσιεύσεις: 17622
Εγγραφή: Τετ Δεκ 08, 2010 6:18 pm

Ισότητα από άλλη ισότητα

#1

Μη αναγνωσμένη δημοσίευση από KARKAR »

Ισότητα  από άλλη  ισότητα.png
Ισότητα από άλλη ισότητα.png (17.85 KiB) Προβλήθηκε 621 φορές
Το C είναι σημείο του ημικυκλίου διαμέτρου AOB=2r και η AD είναι η διχοτόμος της \widehat{BAC} .

Οι εφαπτόμενες του τόξου στα C , D τέμνουν την προέκταση της AB στα σημεία S , T αντίστοιχα .

Αν : TS=r , εξετάστε αν είναι και : AD=CS .

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

Re: Ισότητα από άλλη ισότητα

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Αποσύρω την λύση ως εσφαλμένη, αλλά θα επανέλθω με σωστή.

Αποδεικνύεται ότι υπάρχει μία και μοναδική A ώστε να ισχύει η εν λόγω ισότητα.

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

Re: Ισότητα από άλλη ισότητα

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Απέσυρα το προηγούμενο ως εσφαλμένο.

Συνεπώς η άσκηση είναι ακόμα ανοικτή.

Έχω σωστή λύση, παραλλαγή της εσφαλμένης, την οποία θα γράψω κάποια στιγμή.
Άβαταρ μέλους
george visvikis
Επιμελητής
Δημοσιεύσεις: 14909
Εγγραφή: Παρ Νοέμ 01, 2013 9:35 am

Re: Ισότητα από άλλη ισότητα

#4

Μη αναγνωσμένη δημοσίευση από george visvikis »

KARKAR έγραψε: Σάβ Ιαν 04, 2025 8:19 pm Ισότητα από άλλη ισότητα.pngΤο C είναι σημείο του ημικυκλίου διαμέτρου AOB=2r και η AD είναι η διχοτόμος της \widehat{BAC} .

Οι εφαπτόμενες του τόξου στα C , D τέμνουν την προέκταση της AB στα σημεία S , T αντίστοιχα .

Αν : TS=r , εξετάστε αν είναι και : AD=CS .

Θέτω BT=x. Είναι, \boxed{CS^2=(2r+x)^2-r^2=3r^2+4rx+x^2} (1)
Ισότητα από άλλη ισότητα.png
Ισότητα από άλλη ισότητα.png (24.91 KiB) Προβλήθηκε 533 φορές
Εξάλλου με νόμο συνημιτόνου στο ADT έχω:

\displaystyle D{T^2} = {(2r + x)^2} + A{D^2} - 2(2r + x)AD\frac{{AD}}{{2r}} κι επειδή DT^2=(r+x)^2-r^2,

θα είναι \displaystyle A{D^2} = \frac{{4{r^3} + 2{r^2}x}}{{r + x}}. Αν τώρα είναι AD=CS από την (1) καταλήγω στην εξίσωση

\displaystyle {x^3} + 5r{x^2} + 5{r^2}x - {r^3} = 0, όπου με χρήση λογισμικού βρίσκω μοναδική λύση \boxed{x\simeq 0,170086r}
Άβαταρ μέλους
KARKAR
Δημοσιεύσεις: 17622
Εγγραφή: Τετ Δεκ 08, 2010 6:18 pm

Re: Ισότητα από άλλη ισότητα

#5

Μη αναγνωσμένη δημοσίευση από KARKAR »

Κάνω μια ( ημιτελή )προσπάθεια :
is from is.png
is from is.png (24.32 KiB) Προβλήθηκε 488 φορές
Από το ODT , είναι : x+r=\dfrac{r}{\cos2\theta} και από το OCS είναι : x+2r=\dfrac{r}{\cos4\theta} .

Λύνοντας ως προς x καταλήγουμε ότι για την γωνία \theta , ισχύει : \cos4\theta=\dfrac{\cos2\theta}{2\cos^2\theta} (*).

(Σημειώστε ότι η γωνία αυτή έχει μέτρο περίπου \theta=15.6401349^0 ) . Καλούμαστε λοιπόν

να δείξουμε ότι αν ισχύει η (*) , τότε : AD=CS \Leftrightarrow  2r\cos\theta=r\tan4\theta

ή :   2\cos\theta=\tan4\theta , η οποία ελέγχθηκε ( με λογισμικό) ότι ισχύει .

Κάποιος περισσότερο επίμονος ίσως πάρει την δόξα της "παλληκαρήσιας" απόδειξης :roll:
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18452
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Ισότητα από άλλη ισότητα

#6

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

KARKAR έγραψε: Τετ Ιαν 08, 2025 10:26 am ή :   2\cos\theta=\tan4\theta , η οποία ελέγχθηκε ( με λογισμικό) ότι ισχύει .

Κάποιος περισσότερο επίμονος ίσως πάρει την δόξα της "παλληκαρήσιας" απόδειξης :roll:
Θανάση, παραπάνω όταν έγραφα ότι έχω λύση της άσκησης την οποία θα αναρτήσω, αυτήν ακριβώς την ακριβή απόδειξη είχα κατά νου. Δηλαδή την ισοδυναμία (με χρήση Τριγωνομετρίας, όχι λογισμικού)

( \tan 4\theta = 2 \cos \theta )  \Leftrightarrow \left ( \dfrac {1}{\cos 4 \theta } - \dfrac {1}{\cos 2 \theta } = 1\right )

(η δεύτερη είναι άλλη μορφή της (*) που αναφέρεσαι).

Θα την αναρτήσω κάποια στιγμή. Με αποτρέπει προσωρινά ο φόρτος εργασίας και διάφορες ομιλίες που έχω στο εξωτερικό, με Zoom. Το χρωστάω. Υπομονή.)
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18452
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Ισότητα από άλλη ισότητα

#7

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

KARKAR έγραψε: Σάβ Ιαν 04, 2025 8:19 pm Το C είναι σημείο του ημικυκλίου διαμέτρου AOB=2r και η AD είναι η διχοτόμος της \widehat{BAC} .

Οι εφαπτόμενες του τόξου στα C , D τέμνουν την προέκταση της AB στα σημεία S , T αντίστοιχα .

Αν : TS=r , εξετάστε αν είναι και : AD=CS .
α) Έχουμε  CS = OC \tan 4 \theta = r \tan 4 \theta και AD= 2OA  \cos  \theta = 2r \cos \theta. Άρα η AD=CS ισοδυναμεί με την

\boxed { \tan 4 \theta =  2\cos \theta }

β) Από τα τρίγωνα OCS, ODT έχουμε r=ST =OS-OT = \dfrac {r}{\cos 4\theta} -  \dfrac {r}{\cos 2\theta} άρα \boxed {\dfrac {1}{\cos 4\theta} -  \dfrac {1}{\cos 2\theta }=1}

Θα δείξουμε τώρα την ισοδύναμία στα α), β) δείχνοντας ότι και τα δύο είναι ισοδύμαμα με την \boxed {2C^3+2C^2-2C-1=0} ,\,(*) όπου C=\cos 2 \theta.

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

Είναι α)

(\tan 4 \theta =  2\cos \theta )   \Leftrightarrow ( 2\cos \theta = \dfrac {\sin 4 \theta } {\cos 4 \theta } =  \dfrac {2\sin2\theta \cos 2\theta  } {\cos 4 \theta }=  \dfrac {4\sin \theta \cos \theta \cos 2\theta  } {2  \cos ^2 2 \theta-1 } ισοδύναμα

 1 =  \dfrac {2 C\sin \theta  } {2  C ^2  -1 } από όπου 2C^2 -1 = 2C\sin \theta. Υψώνοντας στο τετράγωνο έχουμε

(2C^2 -1)^2 = 4C^2 \sin ^2  \theta 2C^2 (1-C) και άρα 4C^4+2C^3-6C^2+1=0, ισοδύναμα

(2C-1)(2C^3+2C^2-2C-1)=0. Όμως 2C-1\ne 0 διότι δίνει 2\theta = 60^o που απορρίπτεται γιατί το σχήμα απαιτεί 4\theta οξεία.

Τελικά ισχύει η (*). Το βήμα αυτό αντιστρέφεται ακριβώς διότι 2\theta \ne 60^ο.

β) Είναι

\left (\dfrac {1}{\cos 4\theta} -  \dfrac {1}{\cos 2\theta }=1 \right )  \Leftrightarrow \left (\dfrac {1}{2C^ 2 -1 } -  \dfrac {1}{C }=1 \right ) από όπου αμέσως η (*), και η απόδειξη ολοκληρώθηκε.
Απάντηση

Επιστροφή στο “Γεωμετρία”

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

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