Postitused: 125
Keel: Esperanto
sergejm (Näita profiili) 10. veebruar 2021 18:05.50
En ortangula triangulo ABC kun orta angulo C hipotenuzo AB estas 10, alteco CD de C al la hipotenuzo estas 6. Kia estas areo de la triangulo?
Mi mem malĝuste solvis la taskon.
nornen (Näita profiili) 11. veebruar 2021 0:45.23
En kia geometrio ni troviĝas? Certe ne en la Eŭklida Ebeno, ĉar laŭ la teoremo de Taleso en rektangula triangulo la maximuma alteco sur la hipotenuzo estas la duono de la hipotenuzo. Tial la triangulo priskribita de vi ekzistas nur en kurba spaco. Tamen oni devas scii, kiel kurba estas tiu spaco. Ĉu mi miskomprenis ion?
Ĉu temas pri triangulo sur la surfaco de io regula? De sfero? De hiperbola spaco?
sergejm (Näita profiili) 11. veebruar 2021 5:10.54
Simpla solvo estas multipliki hipotenuzon je alteco kaj dividi je 2 kun respondo 10*6/2=30, ja areo ne dependas ĉu la trianglo estas ortangula aŭ ne.
Sed necesas kontroli, ĉu tia triangulo ekzistas, kaj la ĝusta respondo estas: Tia triangulo ne ekzistas.
Mi ne komprenis, ĉu Usonaj studentoj rimarkis tion aŭ tion rimarkis nur la rusaj.
Jen estas ligo al la video (ruslingva):
https://youtu.be/xsYDTPzOCrk
StefKo (Näita profiili) 11. veebruar 2021 15:51.33
sergejm (Näita profiili) 11. veebruar 2021 19:35.14
Tiam la triangulo havos du rektajn angulojn, C kaj ekzemple B. Tiam kateto a = h = 6. Angulo A = a/r = 6*pi/20 = 3*pi/10.
La areo de la triangulo S = r^2 * (A + B + C - pi) = A * r^2 = 120/pi.
Sed ni povas elekti alian radiuson de la sfero.
Helpilo se vi volas kalkuli: Teoremo analoga al teoremo de Pitagoro por sfera triangulo:
cos(c/r) = cos(a/r)*cos(b/r)
Sur ebeno de Lobaĉevskij tia triangulo ankaŭ ne ekzistas.
nornen (Näita profiili) 11. veebruar 2021 22:01.58
Ŝajnas, ke ni trovas tian triangulon sur sfero kun radio r, ni ankaŭ trovos tian triangulon sur ĉiu sfero kun radio 0 < ρ < r. Tiu triangulo povas esti "stranga", enhavante parton de si mem, sed: kial ne?
Mi konjektas tion:
Ekzistas radio R, tia ke:
Sur sfero kun radio R (0 < R) ekzistas nur unu tia triangulo (senrigarde de movado, rotacio, spegulado) [1].
Sur sferoj kun radio ρ tia, ke 0 < ρ < R, ekzistas nefiniaj tiaj trianguloj kun malsamaj anguloj inter la hipotenuso kaj la katedoj.
Sur sferoj kun radio ρ tia, ke R < ρ, ne ekzistas tia triangulo.
(La argumento estas facila, sed eble malvera: Se R alproksimiĝasas +∞ ni troviĝas denove sur la ebeno, kie tia triangulo ne ekzistas.)
Ĉu vere? Se vere, kia estas R?
- - - -
[1] Alivorte kaj eble pli precize: Ĉiuj trianguloj sur tia sfero havas la samajn angulojn.
sergejm (Näita profiili) 12. veebruar 2021 5:40.17
Almenaŭ hipotenuzo ne estu pli longa ol ekvatoro de la sfero: c ≤ 2*pi*r
Maksimuma R povas esti kalkulata, uzante menciita de mi teoremo de Pitagoro por sfera triangulo.
Estu x kaj y partoj de hipotenuzo, je kiuj ĝin dividas alteco.
Tiam
cos(c/R) = cos(a/R) * cos(b/R)
cos(a/R) = cos(h/R) * cos(x/R)
cos(b/R) = cos(h/R) * cos(y/R)
cos(c/R) = cos(h/R)^2 * cos(x/R) * cos(y/R)
cos(c/R) = cos((x+y)/R) = cos(x/R) * cos(y/R) - sin(x/R) * sin(y/R)
sin(h/R)^2 * cos(x/R) * cos(y/R) = sin(x/R) * sin(y/R)
sin(h/R)^2 = tg(x/R) * tg(y/R) (se la anguloj estas malpli ol 90°)
tg(c/R) = tg((x+y)/R) = (tg(x/R) + tg(y/R))/(1 - tg(x/R) * tg(y/R)) = (tg(x/R) + tg(y/R))/cos(h/R)^2
Nun faru kvadratan ekvacion, kies radikoj estas tg(x/R) kaj tg(y/R) kaj kalkulu diskriminanton.
nornen (Näita profiili) 12. veebruar 2021 16:45.42
sergejm (Näita profiili) 12. veebruar 2021 20:20.15
X² - (tg(10/R) cos²(6/R)) X + (sin²(6/R)) = 0 (laŭ teoremo de Viète)
Δ = tg²(10/R) cos⁴(6/R) − 4 sin²(6/R) >= 0
Se la anguloj estas malpli ol 90°, ni povas simpligi:
tg(10/R) ≥ 2 sin(6/R)/cos²(6/R)
tg(10/R) ≥ 2 sin(6/R)/(1 - sin²(6/R))
tg(10/R) = 2 tg(5/R)/(1 - tg²(5/R))
tg(5/R) ≥ sin(6/R)
PS: en miaj antaŭaj mesaĝoj necesas anstataŭi 'rektangula' al 'ortangula'
nornen (Näita profiili) 12. veebruar 2021 21:47.45
tg(c/R) cos²(h/R) = tg(x/R) + tg(y/R)
tg(x/R) = tg(c/R) cos²(h/R) − tg(y/R)
sin²(h/R) = tg(x/R) tg(y/R)
sin²(h/R) = (tg(c/R) cos²(h/R) − tg(y/R)) tg(y/R)
sin²(h/R) = tg(c/R) cos²(h/R) tg(y/R) − tg²(y/R)
tg²(y/R) − tg(c/R) cos²(h/R) tg(y/R) + sin²(h/R) = 0
Δ = tg²(c/R) cos⁴(h/R) − 4 sin²(h/R) = tg²(10/R) cos⁴(6/R) − 4 sin²(6/R)
Tamen restas la problemo pri nefinia multo da nedifiniejoj kaj la nefinia multo da radikoj sur ĉiu intervalo enhavanta 0.
Mi estas stulta. Problemo solvita. Ĉar la anguloj devas estis malpli ol π/2, R devas esti pli ol 20/π. Sur la malfermita intervalo ]20/π; +∞[ ekzistas nur unu radiko ĉirkaŭ ρ ≈ 9,1. Sur ]20/π; +∞[ la funkcio Δ(R) estas monotone falanta, kun positivaj valoroj sur ]20/π; ρ[ kaj negativaj valoroj sur ]ρ; +∞[. Tial la krita radiuso estas ρ ≈ 9,1.
- - - -
Mi ne scias kiel mi eraris en mia lasta afiŝo.
Redaktaĵoj: Eraro mia trovita: Per ia cerbofarto, mi komencis ĉion per (1 −tg(x/R)) (1 − tg(y/R)) kaj ne ĝuste per (x −tg(x/R)) (x − tg(y/R)).
- - - -
Estis granda plezuro por mi ĉi tiu konversacio kun vi. Mi levas mian ĉapelon antaŭ viaj matematikaj scioj kaj spertoj.