Can we always form a cyclic quadrilateral using 4 side lengths? I was solving this problem on SPOJ http://www.spoj.com/problems/QUADAREA/. In order to find the maximum area of quadrilateral with side lengths given, I applied Brahmagupta's formula K={\sqrt {(s-a)(s-b)(s-c)(s-d)}}\, and i got AC. I am wondering, is that always possible? Is there any proof?