Brahmagupta theorem (source code)

= Brahmagupta theorem
{wiki=Brahmagupta_theorem}