czworokat quad: W wypukłym czworokacie ABCD zachodzi nierówność AB+BD < AC+CD. Wykaz ze AB<AC.

wredulus_pospolitus: Nie wprost. Zauważ, że gdyby tak nie było, to |BD| > |CD| związku z tym nie zachodzi wstępna założenie zadania. I mamy sprzeczność