abbiamo x, y, a, b reali tali che x^2+y^2<1>= ( x^2 + y^2 -1) ( a^2 +b^2 -1)
good work
x,y,a,b in R
allora ci provo a dirlo a parole. x e y sono numeri reali che nel piano cartesiano sarebbero interni alla circonferenza goniometrica. a e b sono altri due numeri reali. la tesi da dimostrare è ke (abbiamo x, y, a, b reali tali che (ax+by-1)^2 >= ( x^2 + y^2 -1) ( a^2 +b^2 -1).
se non si legge adesso non ci provo piu
se non si legge adesso non ci provo piu
si come ha scritto jordan e ho anche riportato ioCesco ha scritto:Ma se prendo x=y=0,9, ad esempio, ho che $ x^2=y^2=0,81 x^2+y^2>0 $
Forse intendete dire che il punto di coordinate (x;y) è interno alla circonferenza goniometrica?
Comunque ricapitolando e ipotesi sono che
1. $ x^2+y^2 -1 < 0 $
2. $ x,y,a,b \in \mathbb{R} $
La tesi è che
$ (ax+by-1)^2\geq(x^2+y^2 -1)(a^2+b^2-1) $
-
enomis_costa88
- Messaggi: 537
- Iscritto il: 01 gen 1970, 01:00
- Località: Brescia
Allora anche (a,b) è nella circonferenza goniometrica se no è banale.
sostituzioni $ x=\lambda \cos(\alpha) $
$ y=\lambda \sin(\alpha) $
$ a=\sigma \cos(\beta) $
$ b=\sigma \sin(\beta) $
con sigma e lambda minori di 1 e positivi.
Il LHS diventa:
$ (\sigma \lambda \cos(\alpha-\beta)-1)^2 $ che è minimo quando il coseno è massimo (sigma lambda e coseno sono più piccoli di 1).
La tesi si riscrive come:
$ (\sigma \lambda-1)^2\ge (\sigma^2-1)(\lambda^2-1) $ che svolti due conti è una QM-GM.
sostituzioni $ x=\lambda \cos(\alpha) $
$ y=\lambda \sin(\alpha) $
$ a=\sigma \cos(\beta) $
$ b=\sigma \sin(\beta) $
con sigma e lambda minori di 1 e positivi.
Il LHS diventa:
$ (\sigma \lambda \cos(\alpha-\beta)-1)^2 $ che è minimo quando il coseno è massimo (sigma lambda e coseno sono più piccoli di 1).
La tesi si riscrive come:
$ (\sigma \lambda-1)^2\ge (\sigma^2-1)(\lambda^2-1) $ che svolti due conti è una QM-GM.
"Tu che lo vendi cosa ti compri di migliore?"
Membro dell' "Associazione non dimenticatevi dei nanetti! "
Membro dell'EATO.
Membro dell' "Associazione non dimenticatevi dei nanetti! "
Membro dell'EATO.
avete capito ipotesi e tesi, ok....scusate cmq x cm lho postato..
ma sinceramente non ho capit la sostituzione di enomiscosta88 di x, y, a, b.
hai detto giustamente che anche a eb sono interni alla circonferenza goniometrica, ma dire x=kcos(alfa) e y=ksen(alfa) significa che x e y appartengono a una circonferenza di raggio r<1 e centro nell'origine...in pratica quello che hai fatto è un caso particolare giusto?
ma sinceramente non ho capit la sostituzione di enomiscosta88 di x, y, a, b.
hai detto giustamente che anche a eb sono interni alla circonferenza goniometrica, ma dire x=kcos(alfa) e y=ksen(alfa) significa che x e y appartengono a una circonferenza di raggio r<1 e centro nell'origine...in pratica quello che hai fatto è un caso particolare giusto?
-
enomis_costa88
- Messaggi: 537
- Iscritto il: 01 gen 1970, 01:00
- Località: Brescia
Hum..ci sei che preso un punto di coordinate (x,y) esiste comunque una circonferenza (eventualmente degenere) di centro nell'origine che passi per quel punto? Quella sostituzione dice solo questo..non perdo affatto di generalità..jordan ha scritto:ma dire x=kcos(alfa) e y=ksen(alfa) significa che x e y appartengono a una circonferenza di raggio r<1 e centro nell'origine...
"Tu che lo vendi cosa ti compri di migliore?"
Membro dell' "Associazione non dimenticatevi dei nanetti! "
Membro dell'EATO.
Membro dell' "Associazione non dimenticatevi dei nanetti! "
Membro dell'EATO.