Iniciante
Observe que:
(k+1)(n−k)>n⇔nk−k2+n−k>n⇔nk−k2−k>0 (como k>0) ⇔n−k−1>0⇔n>k+1
O que é verdade, pois k=1,2,3,...,n−2.
Intermediário
Considere as expressões abaixo:
S=ab+c+ba+c+ca+b
M=bb+c+ca+c+aa+b
N=cb+c+aa+c+ba+b
Temos que M+N=3 e por MA≥MG:
S+M=a+bb+c+b+ca+c+c+aa+b≥3
S+N=a+cb+c+b+aa+c+c+ba+b≥3
Logo M+N+2S≥6⇒2S≥3⇒S≥32.
Avançado
Veja a soma de todos os segmentos. Agora pegue o pareamento que possui a menor soma possível e suponha que ele possua dois segmentos que se cortam, digamos que AB e CD se cortando em O, pela desigualdade triangular:
- No triângulo AOD temos AO+OD>AD;
- No triângulo BOC temos BO+OC>BC.
Portanto AB+CD=AO+BO+CO+OD>AD+BC e a soma dos segmentos diminuí ao trocarmos AB e CD por AD e BC e logo o pareamento que possui soma mínima não pode ter dois segmentos que se cortem, se não por absurdo sempre haverá um pareamento com soma menor que a mínima. Logo existe um pareamento em que todos os segmentos não se cortam.