Công thức Brahmagupta

Trong hình học Euclid, công thức Brahmagupta là công thức tính diện tích của một tứ giác nội tiếp (tứ giác mà có thể vẽ một đường tròn đi qua bốn đỉnh của nó) thông qua độ dài bốn cạnh.

Công thức
Nếu một tứ giác nội tiếp có độ dài các cạnh là a, b, c, d thì diện tích của nó được tính bằng công thức sau:
 ,
trong đó p là nửa chu vi của tứ giác:
.

Các công thức tương đương:

Chứng minh

Diện tích tứ giác cần tìm bằng tổng diện tích hai tam giác ADB và BDC:

.

Nhưng do ABCD là tứ giác nội tiếp nên hai góc A và C bù nhau (hai góc có tổng bằng 180°), suy ra . Vậy:

.

Sử dụng định lý cos cho hai tam giác ADB và BDC với cạnh DB chung:

.

Thay  (do hai góc A và C bù nhau):

.

Thay vào công thức bên trên, ta có:

Thay , thu được:

,

hay

.

Các nội dung liên quan, hệ quả 
Công thức Heron tính diện tích tam giác có thể được suy ra từ công thức Brahmagupta nếu xem một cạnh của tứ giác, chẳng hạn, d, bằng 0 (tam giác được xem là một trường hợp đặc biệt của tứ giác nội tiếp khi một cạnh của tứ giác nội tiếp bằng không).
Công thức Brahmagupta mở rộng tính diện tích một tứ giác bất kì (không nhất thiết nội tiếp) (còn được biết đến với tên gọi công thức Bretschneider):
 ,

trong đó θ là nửa tổng hai góc đối của tứ giác. Có thể chọn hai góc đối bất kì mà không ảnh hưởng đến kết quả của công thức, bởi tổng bốn góc trong một tứ giác bất kì bằng 360°, do đó nếu nửa tổng hai góc đối này bằng θ thì nửa tổng hai góc đối còn lại sẽ bằng 180° − θ, tuy nhiên cos(180° − θ) = −cosθ, từ đó cos2(180° − θ) = cos2θ.

Công thức này còn có thể được viết dưới dạng:

 ,

trong đó u và v — độ dài hai đường chéo của tứ giác. (Trong tứ giác nội tiếp, uv = ac + bd theo định lý Ptolemy, công thức này trở thành công thức Brahmagupta.)

Tham khảo

Diện tích
Brahmagupta
Hình học phẳng Euclid
Tứ giác
Định lý trong hình học phẳng