✨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: : $S=\backslash sqrt\{(p-a)(p-b)(p-c)(p-d)\}$, trong đó p là nửa chu vi của tứ giác: :$p=\backslash frac\{a+b+c+d\}\{2\}$.

Các công thức tương đương: : $S=\backslash frac\{1\}\{4\}\backslash sqrt\{(-a+b+c+d)(a-b+c+d)(a+b-c+d)(a+b+c-d)\}$ : $S=\backslash frac\{\backslash sqrt\{(a^2+b^2+c^2+d^2)^2+8abcd-2(a^4+b^4+c^4+d^4)\{4\}\backslash cdot$

Chứng minh

nhỏ|phải

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:

:$S=\backslash frac\{1\}\{2\}ab\backslash sin\; A\; +\; \backslash frac\{1\}\{2\}cd\backslash sin\; C$.

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 $\backslash sin\; A=\backslash sin\; C$. Vậy: :$S=\backslash frac\{1\}\{2\}(ab+cd)\backslash sin\; A$

:$S^2=\backslash frac\{1\}\{4\}(ab+cd)^2\backslash sin^2\; A$

:$4S^2=(ab+cd)^2(1-\backslash cos^2\; A)$

:$4S^2=(ab+cd)^2-(ab+cd)^2\backslash cos^2\; A$.

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

:$a^2+b^2-2ab\backslash cos\; A=c^2+d^2-2cd\backslash cos\; C$.

Thay $\backslash cos\; C=-\backslash cos\; A$ (do hai góc A và C bù nhau):

:$2(ab+cd)\backslash cos\; A=a^2+b^2-c^2-d^2$.

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

:$16S^2=4(ab+cd)^2-(a^2+b^2-c^2-d^2)^2$

:$=\backslash left[2(ab+cd)+a^2+b^2-c^2-d^2\backslash right]\backslash left[2(ab+cd)-a^2-b^2+c^2+d^2\backslash right]$

:$=\backslash left[(a+b)^2-(c-d)^2\backslash right]\backslash left[(c+d)^2-(a-b)^2\backslash right]$

:$=\; (a+b+c-d)(a+b-c+d)(a-b+c+d)(-a+b+c+d).$

Thay $a+b+c+d=2p$, thu được:

:$16S^2=(2p-2a)(2p-2b)(2p-2c)(2p-2d)$,

hay

:$S=\backslash sqrt\{(p-a)(p-b)(p-c)(p-d)\}$.

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): *: $S=\backslash sqrt\{(p-a)(p-b)(p-c)(p-d)-abcd\backslash cos^2\backslash theta\}$,

: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ừ đó cos²(180° − θ) = cos²θ.

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

:: $S=\backslash sqrt\{(p-a)(p-b)(p-c)(p-d)-\backslash textstyle\{1\backslash over4\}(ac+bd+uv)(ac+bd-uv)\}$,

: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. )