Пусть a,b,c,d – стороны вписанного в окружность четырехугольника, p – его полупериметр, а S – его площадь. Тогда S=√(p−a)(p−b)(p−c)(p−d).
Рассмотрим вписанный четырёхугольник ABCD со сторонами AB=a,BC=b,CD=c,DA=d.
По теореме косинусов для треугольников ABC и ACD: AC2=a2+b2−2abcosB, AC2=c2+d2−2cdcosD.
Приравняв правые части этих равенств, получим: a2+b2−2abcosB=c2+d2−2cdcosD.
Так как четырёхугольник ABCD вписанный, то ∠B=180∘−∠D, следовательно, cosD=−cosB.
Тогда a2+b2−2abcosB=c2+d2+2cdcosB.
Возведя это равенство в квадрат, получим (a2+b2−c2−d2)2=4cos2B(ab+cd)2.
Кроме того S=SABC+SACD=12absinB+12cdsinD.
Умножив это равенство на 4 и возведя в квадрат, получим 16S2=4a2b2sin2B+8abcdsinBsinD+4c2d2sin2D.
А так как ∠B=180∘−∠D, то sinB=sinD.
Тогда
16S2=4a2b2sin2B+8abcdsinBsinB+4c2d2sin2B=4sin2B(a2b2+2abcd+c2d2)=4sin2B(ab+cd)2.
Таким образом 16S2=4sin2B(ab+cd)2.
Складывая равенства (1) и (2), получим
16S2+(a2+b2−c2−d2)2=4sin2B(ab+cd)2+4cos2B(ab+cd)2=4(ab+cd)2(sin2B+cos2B)=(2ab+2cd)2
или
16S2=(2ab+2cd)2−(a2+b2−c2−d2)2=(2ab+2cd+a2+b2−c2−d2)(2ab+2cd−a2−b2+c2+d2)=((a+b)2−(c−d)2)((c+d)2−(a−b)2)=(a+b−c+d)(a+b+c−d)(c+d+a−b)(c+d−a+b)=(2p−2c)(2p−2d)(2p−2b)(2p−2a).
Откуда следует, что S2=(p−a)(p−b)(p−c)(p−d) или S=√(p−a)(p−b)(p−c)(p−d).