Q12 Matemática  (IMO Shortlist 1981)

Em um semicírculo com raio unitário são dadas quatro cordas consecutivas $AB,BC,CD,DE$ com comprimentos $a,b,c,d$, respectivamente. Prove que $$a^2+b^2+c^2+d^2+abc+bcd<4.$$