Prove Brahmagupta's formula

Given a cyclic quadrilateral with side lengths a,b,c,d the area K can be found as:

K=\sqrt{(s-a)(s-b)(s-c)(s-d)}

√ √ || {} [] () → ~ ^ x x x → → ln log lg lim lim cos sin tan cot arcsin arccos arctan

∫ ∫ ∫ ∫ ∫ ∬ ∬ ∬ ∬ ∬ ∭ ∭ ∭ ∭ ∭ ⨌ ⨌ ⨌ ⨌ ⨌

∑ ∑ ∑ ∑ ∑ ∮ ∮ ∮ ∮ ∮ ∏ ∏ ∏ ∏ ∏ ∐ ∐ ∐ ∐ ∐

+ - × ÷ ± ∓ = ∪ ∩ ≠ ∼ ≈ ∅ ∀ ∃ ∈ ∋ ∝ ≤ ≥ ≃ ≅ ≡ < > ≪ ≫ ⊂ ∉ ⊃ ⊆ ⊇ ⇒ ⇐ ⇔ ⇒ ⇐ ⇔ ⇑ ⇓ ⇕ → ← ↔ → ← ↔ ↑ ↓ ↕ ↖ ↗ ↘ ↙ ↪ ↩ ⇀ ↼ ⇁ ↽

° ∂ ∞ α β γ δ θ λ μ ν ξ π ρ σ φ ω ε ƒ κ τ υ Γ Δ Λ Σ Π Ω