Processing math: 100%

Формула Брахмагупты

Пусть a,b,c,d – стороны вписанного в окружность четырехугольника, p – его полупериметр, а S – его площадь. Тогда S=(pa)(pb)(pc)(pd).

Доказательство

Рассмотрим вписанный четырёхугольник ABCD со сторонами AB=a,BC=b,CD=c,DA=d.

По теореме косинусов для треугольников ABC и ACD: AC2=a2+b22abcosB, AC2=c2+d22cdcosD.

Приравняв правые части этих равенств, получим: a2+b22abcosB=c2+d22cdcosD.

Так как четырёхугольник ABCD вписанный, то B=180D, следовательно, cosD=cosB.

Тогда a2+b22abcosB=c2+d2+2cdcosB.

Возведя это равенство в квадрат, получим (a2+b2c2d2)2=4cos2B(ab+cd)2.

Кроме того S=SABC+SACD=12absinB+12cdsinD.

Умножив это равенство на 4 и возведя в квадрат, получим 16S2=4a2b2sin2B+8abcdsinBsinD+4c2d2sin2D.

А так как B=180D, то sinB=sinD.

Тогда

16S2=4a2b2sin2B+8abcdsinBsinB+4c2d2sin2B=4sin2B(a2b2+2abcd+c2d2)=4sin2B(ab+cd)2.

Таким образом 16S2=4sin2B(ab+cd)2.

Складывая равенства (1) и (2), получим

16S2+(a2+b2c2d2)2=4sin2B(ab+cd)2+4cos2B(ab+cd)2=4(ab+cd)2(sin2B+cos2B)=(2ab+2cd)2

или

16S2=(2ab+2cd)2(a2+b2c2d2)2=(2ab+2cd+a2+b2c2d2)(2ab+2cda2b2+c2+d2)=((a+b)2(cd)2)((c+d)2(ab)2)=(a+bc+d)(a+b+cd)(c+d+ab)(c+da+b)=(2p2c)(2p2d)(2p2b)(2p2a).

Откуда следует, что S2=(pa)(pb)(pc)(pd) или S=(pa)(pb)(pc)(pd).