Iniciante
Observe que:
(como )
O que é verdade, pois .
Intermediário
Considere as expressões abaixo:
Temos que e por :
Logo .
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 e se cortando em , pela desigualdade triangular:
- No triângulo temos ;
- No triângulo temos .
Portanto e a soma dos segmentos diminuí ao trocarmos e por e 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.