encore un triangle

salut

je propose :

ABC un triangle ,a=[BC] , b=[AC] , c=[AB]

montrer que :

2(a.cosA + b.cosB + c.cosC) =< a + b + c

.-------------------------

houssa a écrit:

salut

je propose :

ABC un triangle ,a=[BC] , b=[AC] , c=[AB]

montrer que :

2(a.cosA + b.cosB + c.cosC) =< a + b + c

.-------------------------

trivial conséquence de celle ci https://mathsmaroc.jeun.fr/premiere-f5/rayons-cotes-et-angles-t11445.htm

ou b1 cos(A)= (b^2+c^2-a^2)/2(bc) et les autres ossi
puis l'inég devient : abc(a+b+c) >= sum (a^2(b^2+c^2-a^2))
<=> a^4+b^4+c^4+ abc(a+b+c) >= sum( ab(a^2+b^2))
<=> sum( a^2(a-b)(a-c)) >= 0 ce qui est l'ami schur , et pour rendre la preuve plus rigoureuse elle équivaut à 1/2 * sum ( (a-b)^2(a+b-c)^2 ) >= 0 clairement vrai

salut

j'ai l'impression que tu tournes en rond

je vois pas clair ta 3eme ligne

<==> a^4 + b^4 + c^4 + abc(a+b+c) >= sum ab(a^2 + b^2)

c'est plutôt >= sum 2.a^2.b^2

.

houssa a écrit:

salut

j'ai l'impression que tu tournes en rond

je vois pas clair ta 3eme ligne

<==> a^4 + b^4 + c^4 + abc(a+b+c) >= sum ab(a^2 + b^2)

c'est plutôt >= sum 2.a^2.b^2

.

vs avez raison c'etait une réponse de vitesse , ( mais vs ne voyez pas que jé démntré une inég plus forte ?)
sinn a^4 + b^4 + c^4 + abc(a+b+c) >= 2sum (a*b)^2
equivaut à : sum( (a^2-b^2)^2 - c^2(a-b)^2 ) >= 0
ou encore : sum ( (a-b)^2 ( (a+b)^2-c^2 )) >=0 clairement vrai