Un quadrilatero.
In geometria , la formula di Bretschneider per il calcolo dell'area di un quadrilatero corrisponde alla seguente espressione:
A
=
(
p
−
a
)
(
p
−
b
)
(
p
−
c
)
(
p
−
d
)
−
a
b
c
d
cos
2
(
α
+
γ
2
)
{\displaystyle A={\sqrt {(p-a)(p-b)(p-c)(p-d)-abcd\cos ^{2}\left({\frac {\alpha +\gamma }{2}}\right)}}}
Dove a, b, c, d sono i lati del quadrilatero, p è il semiperimetro,
α
{\displaystyle \alpha }
e
γ
{\displaystyle \gamma }
sono i due angoli opposti.
La scoperta di tale formula si deve al matematico tedesco Carl Anton Bretschneider nel 1842. La formula di Bretschneider funziona per ogni quadrilatero, a prescindere dal fatto che esso sia ciclico o meno.
Indichiamo con A l'area del quadrilatero. Allora abbiamo
A
=
Area
(
A
D
B
△
)
+
Area
(
B
D
C
△
)
=
=
a
d
sin
α
2
+
b
c
sin
γ
2
{\displaystyle {\begin{aligned}A&=\operatorname {Area} ({\stackrel {\vartriangle }{ADB}})+\operatorname {Area} ({\overset {\vartriangle }{BDC}})=\\&={\frac {ad\sin \alpha }{2}}+{\frac {bc\sin \gamma }{2}}\end{aligned}}}
Perciò
4
A
2
=
(
a
d
)
2
sin
2
α
+
(
b
c
)
2
sin
2
γ
+
2
a
b
c
d
sin
α
sin
γ
.
{\displaystyle 4A^{2}=(ad)^{2}\sin ^{2}\alpha +(bc)^{2}\sin ^{2}\gamma +2abcd\sin \alpha \sin \gamma .\,}
Il teorema del coseno implica che
a
2
+
d
2
−
2
a
d
cos
α
=
b
2
+
c
2
−
2
b
c
cos
γ
,
{\displaystyle a^{2}+d^{2}-2ad\cos \alpha =b^{2}+c^{2}-2bc\cos \gamma ,\,}
poiché entrambi i lati sono uguali al quadrato della lunghezza della diagonale BD . Ciò può essere riscritto nella forma
(
a
2
+
d
2
−
b
2
−
c
2
)
2
4
=
(
a
d
)
2
cos
2
α
+
(
b
c
)
2
cos
2
γ
−
2
a
b
c
d
cos
α
cos
γ
.
{\displaystyle {\frac {(a^{2}+d^{2}-b^{2}-c^{2})^{2}}{4}}=(ad)^{2}\cos ^{2}\alpha +(bc)^{2}\cos ^{2}\gamma -2abcd\cos \alpha \cos \gamma .}
Sostituendo questo nella formula di sopra per
4
A
2
{\displaystyle 4A^{2}}
, si ottiene
4
A
2
+
(
b
2
+
c
2
−
a
2
−
d
2
)
2
4
=
(
a
d
)
2
+
(
b
c
)
2
−
2
a
b
c
d
cos
(
α
+
γ
)
.
{\displaystyle 4A^{2}+{\frac {(b^{2}+c^{2}-a^{2}-d^{2})^{2}}{4}}=(ad)^{2}+(bc)^{2}-2abcd\cos(\alpha +\gamma ).\,}
Questo può essere scritto come
16
A
2
=
(
a
+
b
+
c
−
d
)
(
a
+
b
+
d
−
c
)
(
a
+
c
+
d
−
b
)
(
b
+
c
+
d
−
a
)
−
16
a
b
c
d
cos
2
(
α
+
γ
2
)
.
{\displaystyle 16A^{2}=(a+b+c-d)(a+b+d-c)(a+c+d-b)(b+c+d-a)-16abcd\cos ^{2}\left({\frac {\alpha +\gamma }{2}}\right).}
Introducendo il semiperimetro
p
=
a
+
b
+
c
+
d
2
,
{\displaystyle p={\frac {a+b+c+d}{2}},}
la formula sopra diventa
16
A
2
=
16
(
p
−
a
)
(
p
−
b
)
(
p
−
c
)
(
p
−
d
)
−
16
a
b
c
d
cos
2
(
α
+
γ
2
)
{\displaystyle 16A^{2}=16(p-a)(p-b)(p-c)(p-d)-16abcd\cos ^{2}\left({\frac {\alpha +\gamma }{2}}\right)}
da cui segue la formula di Bretschneider.
La formula di Bretschneider generalizza la formula di Brahmagupta per l'area di un quadrilatero ciclico , la quale a sua volta generalizza la formula di Erone per l'area di un triangolo .
Si nota infatti che, per un quadrilatero ciclico, l'argomento del coseno è
α
+
γ
2
=
π
2
{\displaystyle {\frac {\alpha +\gamma }{2}}={\frac {\pi }{2}}}
, quindi il coseno è nullo e il secondo termine del radicando scompare.