10.12.2000-16.12.2000 - lausn

 

Ltum ABCD vera ferhyrning.  er AC < AB + BC og AC < AD + DC, .e. 2AC < AB + BC + AD + DC.  samsvarandi htt fst a BD < BA + AD og BD < BC + CD, .e. 2BD < BA + AD + BC + CD.  Samlagning gefur v
2AC + 2BD < 2AB + 2BC + 2CD + 2DA  og ar me  AC + BD < AB + BC + CD + DA.