Nota:
Daca consideram M(x,y) ca punct in reperul cartezian de coordonate pe care se afla si punctele A(a,a'), B(b,b'), C(c,c'), atunci problema se leaga de functia definita pe (o bucata de) plan cu valori reale data de formula:
Aceasta functie se studiaza in mod cat de cat propriu cu analiza de facultate, derivata ei secunda fiind (la facultate) o matrice 2x2
- o suma de trei matrici semipozitiv definite care nu au vector propriu comun, daca nu avem triunghi degenerat -
deci avem de-a face cu o functie
convexa.
(Graficul 2-dimensional de sub orice triunghi ce uneste trei puncte de pe grafic este "sub" triunghiul determinat de ele in spatiu.)
Explicit:
In suma de mai sus apar trei matrici de forma
si testul de semidefinire din definitie este imediat:
Ei bine, este atunci clar, din motive de convexitate, ca maximul expresiei se obtine in unul din varfuri.
Nota: Este un lucru straniu sa cautam maximul unei functii convexe, de obicei se cauta minimul...