Skip to main content
minor
Source Link
KhashF
  • 3.6k
  • 2
  • 10
  • 34

I argue that the expression for infimum is more complicated and cannot be given by a single formula unless certain inequalities involving $a,b,c,d$ are assumed.

Let us work in the setting that OP considered for infimum: $a<b<c<d$. Denote the angle between edges of lengths $a,b$ by $\alpha$ and the one between edges of lengths $c,d$ by $\beta$. They are related only by the following constraint (which comes from considering the diagonal length $e$ in the picture):

$$a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta.$$

enter image description here

Thus the goal is to obtain the optima of the area function $f(\alpha,\beta)=\frac{1}{2}ab\sin\alpha+\frac{1}{2}cd\sin\beta$ subject to the constraint $g(\alpha,\beta)=(a^2+b^2-2ab\cos\alpha)-(c^2+d^2-2cd\cos\beta)=0$. Using Lagrange multipliers, let us consider the points where $\nabla f=\left(\frac{1}{2}ab\cos\alpha,\frac{1}{2}cd\cos\beta\right)$ is a multiple of $\nabla g=(2ab\sin\alpha,-2cd\sin\beta)$. This amounts to $\tan\alpha=-\tan\beta$, i.e. $\alpha+\beta=\pi$. This is the case of maximum area mentioned in other answers. Therefore, to derive the infimum of $f(\alpha,\beta)$ given $g(\alpha,\beta)=0$, we should consider boundary values for $\beta$. The assumptions $d>a$ and $c>b$ imply $\beta\leq\pi$. Thus $\beta$ belongs to $[0,\pi]$. The boundary values for $\beta$ are thus uniquely determined by those of $\cos\beta$. Based on the constraint, the latter yield $\cos\alpha$ and hence two opposite choices for $\sin\alpha$. Substituting the negative one (which amounts to $\alpha>\pi$ and hence a concave quadrilateral) in the area formula yields a candidate for the minimum. In view of this discussion, let's analyze the extreme values that $\cos\beta$ takes.

Solving the equation above for $\cos\beta$, the fraction $\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ must be between $-1$ and $1$. Conversely, any such fraction in $[-1,1]$ determines $\beta$ uniquely. The range for $\cos\beta=\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ is

$$\left[\max\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd},-1\right), \min\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd},1\right)\right].$$

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow \require{enclose}\enclose{horizontalstrike}{d\geq a+b+c} \, c+d\geq a+b$ which always hold; and $\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So to simplify further, three two different regimes should be considered:

  • $\require{enclose}\enclose{horizontalstrike}{d\geq a+b+c}$ (in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ ($d\leq a+b+c$ must hold for a quadrilateral with side lengths $a,b,c,d$ to exist),

This pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$. Thus minimum area is $$\sqrt{\frac{a+b+d-c}{2}\cdot\frac{a-b+d-c}{2}\cdot\frac{-a+b+d-c}{2}\cdot\frac{a+b-d+c}{2}}$$.

  • $d\leq b+c-a$,

In this case, $\cos\beta$ attains all values in $\left[\frac{c^2+d^2-a^2-b^2-2ab}{2cd},\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right]$. In view of the constraint $a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta$, the endpoints of the interval correspond to $\cos\alpha=\pm 1$. In these cases we are dealing with triangles of side lengths $c,d,a+b$ or $c,d,b-a$. Their areas are given by
$$\sqrt{\frac{a+b+c+d}{2}\cdot\frac{-a-b+c+d}{2}\cdot\frac{a+b-c+d}{2}\cdot\frac{a+b+c-d}{2}},$$ $$\sqrt{\frac{-a+b+c+d}{2}\cdot\frac{a-b+c+d}{2}\cdot\frac{-a+b-c+d}{2}\cdot\frac{-a+b+c-d}{2}}.$$ It is not immediately clear to me if one of them is always larger than the other.

Conclusion) When $a<b<c<d$, the minimum of area is achieved inat one of degenerate cases where the angle $\beta$ between sides of lengths $c,d$ is $0$, or when the angle $\alpha$ between sides of lengths $a,b$ is $0$ or $\pi$. To see which of them happens and which of the resulting triangles yields the least possible area, further assumptions are required, e.g. if $a+d>b+c$ holds or not.

Note on the update) I corrected an error in the earlier version.

I argue that the expression for infimum is more complicated and cannot be given by a single formula unless certain inequalities involving $a,b,c,d$ are assumed.

Let us work in the setting that OP considered for infimum: $a<b<c<d$. Denote the angle between edges of lengths $a,b$ by $\alpha$ and the one between edges of lengths $c,d$ by $\beta$. They are related only by the following constraint (which comes from considering the diagonal length $e$ in the picture):

$$a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta.$$

enter image description here

Thus the goal is to obtain the optima of the area function $f(\alpha,\beta)=\frac{1}{2}ab\sin\alpha+\frac{1}{2}cd\sin\beta$ subject to the constraint $g(\alpha,\beta)=(a^2+b^2-2ab\cos\alpha)-(c^2+d^2-2cd\cos\beta)=0$. Using Lagrange multipliers, let us consider the points where $\nabla f=\left(\frac{1}{2}ab\cos\alpha,\frac{1}{2}cd\cos\beta\right)$ is a multiple of $\nabla g=(2ab\sin\alpha,-2cd\sin\beta)$. This amounts to $\tan\alpha=-\tan\beta$, i.e. $\alpha+\beta=\pi$. This is the case of maximum area mentioned in other answers. Therefore, to derive the infimum of $f(\alpha,\beta)$ given $g(\alpha,\beta)=0$, we should consider boundary values for $\beta$. The assumptions $d>a$ and $c>b$ imply $\beta\leq\pi$. Thus $\beta$ belongs to $[0,\pi]$. The boundary values for $\beta$ are thus uniquely determined by those of $\cos\beta$. Based on the constraint, the latter yield $\cos\alpha$ and hence two opposite choices for $\sin\alpha$. Substituting the negative one (which amounts to $\alpha>\pi$ and hence a concave quadrilateral) in the area formula yields a candidate for the minimum. In view of this discussion, let's analyze the extreme values that $\cos\beta$ takes.

Solving the equation above for $\cos\beta$, the fraction $\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ must be between $-1$ and $1$. Conversely, any such fraction in $[-1,1]$ determines $\beta$ uniquely. The range for $\cos\beta=\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ is

$$\left[\max\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd},-1\right), \min\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd},1\right)\right].$$

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow \require{enclose}\enclose{horizontalstrike}{d\geq a+b+c} \, c+d\geq a+b$ which always hold; and $\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So to simplify further, three two different regimes should be considered:

  • $\require{enclose}\enclose{horizontalstrike}{d\geq a+b+c}$ (in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ ($d\leq a+b+c$ must hold for a quadrilateral with side lengths $a,b,c,d$ to exist),

This pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$. Thus minimum area is $$\sqrt{\frac{a+b+d-c}{2}\cdot\frac{a-b+d-c}{2}\cdot\frac{-a+b+d-c}{2}\cdot\frac{a+b-d+c}{2}}$$.

  • $d\leq b+c-a$,

In this case, $\cos\beta$ attains all values in $\left[\frac{c^2+d^2-a^2-b^2-2ab}{2cd},\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right]$. In view of the constraint $a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta$, the endpoints of the interval correspond to $\cos\alpha=\pm 1$. In these cases we are dealing with triangles of side lengths $c,d,a+b$ or $c,d,b-a$. Their areas are given by
$$\sqrt{\frac{a+b+c+d}{2}\cdot\frac{-a-b+c+d}{2}\cdot\frac{a+b-c+d}{2}\cdot\frac{a+b+c-d}{2}},$$ $$\sqrt{\frac{-a+b+c+d}{2}\cdot\frac{a-b+c+d}{2}\cdot\frac{-a+b-c+d}{2}\cdot\frac{-a+b+c-d}{2}}.$$ It is not immediately clear to me if one of them is always larger than the other.

Conclusion) When $a<b<c<d$, the minimum of area is achieved in one of degenerate cases where the angle $\beta$ between sides of lengths $c,d$ is $0$, or when the angle $\alpha$ between sides of lengths $a,b$ is $0$ or $\pi$. To see which of them happens and which of the resulting triangles yields the least possible area, further assumptions are required, e.g. if $a+d>b+c$ holds or not.

Note on the update) I corrected an error in the earlier version.

I argue that the expression for infimum is more complicated and cannot be given by a single formula unless certain inequalities involving $a,b,c,d$ are assumed.

Let us work in the setting that OP considered for infimum: $a<b<c<d$. Denote the angle between edges of lengths $a,b$ by $\alpha$ and the one between edges of lengths $c,d$ by $\beta$. They are related only by the following constraint (which comes from considering the diagonal length $e$ in the picture):

$$a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta.$$

enter image description here

Thus the goal is to obtain the optima of the area function $f(\alpha,\beta)=\frac{1}{2}ab\sin\alpha+\frac{1}{2}cd\sin\beta$ subject to the constraint $g(\alpha,\beta)=(a^2+b^2-2ab\cos\alpha)-(c^2+d^2-2cd\cos\beta)=0$. Using Lagrange multipliers, let us consider the points where $\nabla f=\left(\frac{1}{2}ab\cos\alpha,\frac{1}{2}cd\cos\beta\right)$ is a multiple of $\nabla g=(2ab\sin\alpha,-2cd\sin\beta)$. This amounts to $\tan\alpha=-\tan\beta$, i.e. $\alpha+\beta=\pi$. This is the case of maximum area mentioned in other answers. Therefore, to derive the infimum of $f(\alpha,\beta)$ given $g(\alpha,\beta)=0$, we should consider boundary values for $\beta$. The assumptions $d>a$ and $c>b$ imply $\beta\leq\pi$. Thus $\beta$ belongs to $[0,\pi]$. The boundary values for $\beta$ are thus uniquely determined by those of $\cos\beta$. Based on the constraint, the latter yield $\cos\alpha$ and hence two opposite choices for $\sin\alpha$. Substituting the negative one (which amounts to $\alpha>\pi$ and hence a concave quadrilateral) in the area formula yields a candidate for the minimum. In view of this discussion, let's analyze the extreme values that $\cos\beta$ takes.

Solving the equation above for $\cos\beta$, the fraction $\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ must be between $-1$ and $1$. Conversely, any such fraction in $[-1,1]$ determines $\beta$ uniquely. The range for $\cos\beta=\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ is

$$\left[\max\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd},-1\right), \min\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd},1\right)\right].$$

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow \require{enclose}\enclose{horizontalstrike}{d\geq a+b+c} \, c+d\geq a+b$ which always hold; and $\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So to simplify further, three two different regimes should be considered:

  • $\require{enclose}\enclose{horizontalstrike}{d\geq a+b+c}$ (in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ ($d\leq a+b+c$ must hold for a quadrilateral with side lengths $a,b,c,d$ to exist),

This pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$. Thus minimum area is $$\sqrt{\frac{a+b+d-c}{2}\cdot\frac{a-b+d-c}{2}\cdot\frac{-a+b+d-c}{2}\cdot\frac{a+b-d+c}{2}}$$.

  • $d\leq b+c-a$,

In this case, $\cos\beta$ attains all values in $\left[\frac{c^2+d^2-a^2-b^2-2ab}{2cd},\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right]$. In view of the constraint $a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta$, the endpoints of the interval correspond to $\cos\alpha=\pm 1$. In these cases we are dealing with triangles of side lengths $c,d,a+b$ or $c,d,b-a$. Their areas are given by
$$\sqrt{\frac{a+b+c+d}{2}\cdot\frac{-a-b+c+d}{2}\cdot\frac{a+b-c+d}{2}\cdot\frac{a+b+c-d}{2}},$$ $$\sqrt{\frac{-a+b+c+d}{2}\cdot\frac{a-b+c+d}{2}\cdot\frac{-a+b-c+d}{2}\cdot\frac{-a+b+c-d}{2}}.$$ It is not immediately clear to me if one of them is always larger than the other.

Conclusion) When $a<b<c<d$, the minimum of area is achieved at one of degenerate cases where the angle $\beta$ between sides of lengths $c,d$ is $0$, or when the angle $\alpha$ between sides of lengths $a,b$ is $0$ or $\pi$. To see which of them happens and which of the resulting triangles yields the least possible area, further assumptions are required, e.g. if $a+d>b+c$ holds or not.

Note on the update) I corrected an error in the earlier version.

Error corrected. The discussion expanded.
Source Link
KhashF
  • 3.6k
  • 2
  • 10
  • 34

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow d\geq a+b+c$,$\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow \require{enclose}\enclose{horizontalstrike}{d\geq a+b+c} \, c+d\geq a+b$ which always hold; and $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$$\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So So to simplify further, threethree two different regimes should be considered:

  • $d\geq a+b+c$$\require{enclose}\enclose{horizontalstrike}{d\geq a+b+c}$ (in which case the quadrilateral is concave unlike the picture above),(in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ (this pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of$d\leq a+b+c$ must hold for a trianglequadrilateral with sidesside lengths $a,b,d-c$$a,b,c,d$ to exist);,

This pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$. Thus minimum area is $$\sqrt{\frac{a+b+d-c}{2}\cdot\frac{a-b+d-c}{2}\cdot\frac{-a+b+d-c}{2}\cdot\frac{a+b-d+c}{2}}$$.

  • $d\leq b+c-a$.,

In this case, $\cos\beta$ attains all values in $\left[\frac{c^2+d^2-a^2-b^2-2ab}{2cd},\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right]$. In view of the constraint $a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta$, the endpoints of the interval correspond to $\cos\alpha=\pm 1$. In these cases we are dealing with triangles of side lengths $c,d,a+b$ or $c,d,b-a$. Their areas are given by
$$\sqrt{\frac{a+b+c+d}{2}\cdot\frac{-a-b+c+d}{2}\cdot\frac{a+b-c+d}{2}\cdot\frac{a+b+c-d}{2}},$$ $$\sqrt{\frac{-a+b+c+d}{2}\cdot\frac{a-b+c+d}{2}\cdot\frac{-a+b-c+d}{2}\cdot\frac{-a+b+c-d}{2}}.$$ It is not immediately clear to me if one of them is always larger than the other.

Conclusion) In generalWhen $a<b<c<d$, further assumptions are needed to obtain a formula for the infimumminimum of area, because there are three different regimes. The second one is easier to handle. For the firstachieved in one of degenerate cases where the angle $(d\leq a+b+c)$$\beta$ between sides of lengths $c,d$ is $0$, or when the minimum areaangle $\alpha$ between sides of lengths $a,b$ is achieved when $\beta=0$$0$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$$\pi$. InTo see which of them happens and which of the third regime $(d\leq b+c-a)$resulting triangles yields the minimumleast possible area is achieved when $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right)$ or, further assumptions are required, e.g. if $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$$a+d>b+c$ holds or not.

Note on the update) I have assumed that the quadrilateral does not cross itself. Indeed, the Bretschneider's formula does not holdcorrected an error in general if it does, and even the expression for the maximum area becomes complicated in that situation. But I have not assumed anything about convexityearlier version.

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow d\geq a+b+c$, $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So to simplify further, three different regimes should be considered:

  • $d\geq a+b+c$ (in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ (this pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$);
  • $d\leq b+c-a$.

Conclusion) In general, further assumptions are needed to obtain a formula for the infimum of area, because there are three different regimes. The second one is easier to handle. For the first one $(d\leq a+b+c)$, the minimum area is achieved when $\beta=0$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$. In the third regime $(d\leq b+c-a)$ the minimum area is achieved when $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right)$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$.

Note) I have assumed that the quadrilateral does not cross itself. Indeed, the Bretschneider's formula does not hold in general if it does, and even the expression for the maximum area becomes complicated in that situation. But I have not assumed anything about convexity.

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow \require{enclose}\enclose{horizontalstrike}{d\geq a+b+c} \, c+d\geq a+b$ which always hold; and $\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So to simplify further, three two different regimes should be considered:

  • $\require{enclose}\enclose{horizontalstrike}{d\geq a+b+c}$ (in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ ($d\leq a+b+c$ must hold for a quadrilateral with side lengths $a,b,c,d$ to exist),

This pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$. Thus minimum area is $$\sqrt{\frac{a+b+d-c}{2}\cdot\frac{a-b+d-c}{2}\cdot\frac{-a+b+d-c}{2}\cdot\frac{a+b-d+c}{2}}$$.

  • $d\leq b+c-a$,

In this case, $\cos\beta$ attains all values in $\left[\frac{c^2+d^2-a^2-b^2-2ab}{2cd},\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right]$. In view of the constraint $a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta$, the endpoints of the interval correspond to $\cos\alpha=\pm 1$. In these cases we are dealing with triangles of side lengths $c,d,a+b$ or $c,d,b-a$. Their areas are given by
$$\sqrt{\frac{a+b+c+d}{2}\cdot\frac{-a-b+c+d}{2}\cdot\frac{a+b-c+d}{2}\cdot\frac{a+b+c-d}{2}},$$ $$\sqrt{\frac{-a+b+c+d}{2}\cdot\frac{a-b+c+d}{2}\cdot\frac{-a+b-c+d}{2}\cdot\frac{-a+b+c-d}{2}}.$$ It is not immediately clear to me if one of them is always larger than the other.

Conclusion) When $a<b<c<d$, the minimum of area is achieved in one of degenerate cases where the angle $\beta$ between sides of lengths $c,d$ is $0$, or when the angle $\alpha$ between sides of lengths $a,b$ is $0$ or $\pi$. To see which of them happens and which of the resulting triangles yields the least possible area, further assumptions are required, e.g. if $a+d>b+c$ holds or not.

Note on the update) I corrected an error in the earlier version.

minor
Source Link
KhashF
  • 3.6k
  • 2
  • 10
  • 34

I argue that the expression for infimum is more complicated and cannot be given by a single formula unless certain inequalities involving $a,b,c,d$ are assumed.

Let us work in the setting that OP considered for infimum: $a<b<c<d$. Denote the angle between edges of lengths $a,b$ by $\alpha$ and the one between edges of lengths $c,d$ by $\beta$. They are related only by the following constraint (which comes from considering the diagonal length $e$ in the picture):

$$a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta.$$

enter image description here

Thus the goal is to obtain the optima of the area function $f(\alpha,\beta)=\frac{1}{2}ab\sin\alpha+\frac{1}{2}cd\sin\beta$ subject to the constraint $g(\alpha,\beta)=(a^2+b^2-2ab\cos\alpha)-(c^2+d^2-2cd\cos\beta)=0$. Using Lagrange multipliers, let us consider the points where $\nabla f=\left(\frac{1}{2}ab\cos\alpha,\frac{1}{2}cd\cos\beta\right)$ is a multiple of $\nabla g=(2ab\sin\alpha,-2cd\sin\beta)$. This amounts to $\tan\alpha=-\tan\beta$, i.e. $\alpha+\beta=\pi$. This is the case of maximum area mentioned in other answers. Therefore, to derive the infimum of $f(\alpha,\beta)$ given $g(\alpha,\beta)=0$, we should consider boundary values for $\beta$. The assumptions $d>a$ and $c>b$ imply $\beta<\alpha$. Also $\beta+\alpha\leq 2\pi$. (The sum of all four angles is $2\pi$ even if the quadrilateral is concave$\beta\leq\pi$.) Thus $\beta$ belongs to $[0,\pi]$. The boundary values for $\beta$ are thus uniquely determined by those of $\cos\beta$. Based on the constraint, the latter yield $\cos\alpha$ and hence two opposite choices for $\sin\alpha$. Substituting the negative one (which amounts to $\alpha>\pi$ and hence a concave quadrilateral) in the area formula yields a candidate for the minimum. In view of this discussion, let's analyze the extreme values that $\cos\beta$ takes.

Solving the equation above for $\cos\beta$, the fraction $\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ must be between $-1$ and $1$. Conversely, any such fraction in $[-1,1]$ determines $\beta$ uniquely. The range for $\cos\beta=\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ is

$$\left[\max\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd},-1\right), \min\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd},1\right)\right].$$

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow d\geq a+b+c$, $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So to simplify further, three different regimes should be considered:

  • $d\geq a+b+c$ (in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ (this pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$);
  • $d\leq b+c-a$.

Conclusion) In general, further assumptions are needed to obtain a formula for the infimum of area, because there are three different regimes. The second one is easier to handle. For the first one $(d\leq a+b+c)$, the minimum area is achieved when $\beta=0$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$. In the third regime $(d\leq b+c-a)$ the minimum area is achieved when $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right)$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$.

Note) I have assumed that the quadrilateral does not cross itself. Indeed, the Bretschneider's formula does not hold in general if it does, and even the expression for the maximum area becomes complicated in that situation. But I have not assumed anything about convexity.

I argue that the expression for infimum is more complicated and cannot be given by a single formula unless certain inequalities involving $a,b,c,d$ are assumed.

Let us work in the setting that OP considered for infimum: $a<b<c<d$. Denote the angle between edges of lengths $a,b$ by $\alpha$ and the one between edges of lengths $c,d$ by $\beta$. They are related only by the following constraint (which comes from considering the diagonal length $e$ in the picture):

$$a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta.$$

enter image description here

Thus the goal is to obtain the optima of the area function $f(\alpha,\beta)=\frac{1}{2}ab\sin\alpha+\frac{1}{2}cd\sin\beta$ subject to the constraint $g(\alpha,\beta)=(a^2+b^2-2ab\cos\alpha)-(c^2+d^2-2cd\cos\beta)=0$. Using Lagrange multipliers, let us consider the points where $\nabla f=\left(\frac{1}{2}ab\cos\alpha,\frac{1}{2}cd\cos\beta\right)$ is a multiple of $\nabla g=(2ab\sin\alpha,-2cd\sin\beta)$. This amounts to $\tan\alpha=-\tan\beta$, i.e. $\alpha+\beta=\pi$. This is the case of maximum area mentioned in other answers. Therefore, to derive the infimum of $f(\alpha,\beta)$ given $g(\alpha,\beta)=0$, we should consider boundary values for $\beta$. The assumptions $d>a$ and $c>b$ imply $\beta<\alpha$. Also $\beta+\alpha\leq 2\pi$. (The sum of all four angles is $2\pi$ even if the quadrilateral is concave.) Thus $\beta$ belongs to $[0,\pi]$. The boundary values for $\beta$ are thus uniquely determined by those of $\cos\beta$. Based on the constraint, the latter yield $\cos\alpha$ and hence two opposite choices for $\sin\alpha$. Substituting the negative one in the area formula yields a candidate for the minimum. In view of this discussion, let's analyze the extreme values that $\cos\beta$ takes.

Solving the equation above for $\cos\beta$, the fraction $\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ must be between $-1$ and $1$. Conversely, any such fraction in $[-1,1]$ determines $\beta$ uniquely. The range for $\cos\beta=\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ is

$$\left[\max\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd},-1\right), \min\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd},1\right)\right].$$

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow d\geq a+b+c$, $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So to simplify further, three different regimes should be considered:

  • $d\geq a+b+c$ (in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ (this pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$);
  • $d\leq b+c-a$.

Conclusion) In general, further assumptions are needed to obtain a formula for the infimum of area, because there are three different regimes. The second one is easier to handle. For the first one $(d\leq a+b+c)$, the minimum area is achieved when $\beta=0$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$. In the third regime $(d\leq b+c-a)$ the minimum area is achieved when $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right)$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$.

Note) I have assumed that the quadrilateral does not cross itself. Indeed, the Bretschneider's formula does not hold in general if it does, and even the expression for the maximum area becomes complicated in that situation. But I have not assumed anything about convexity.

I argue that the expression for infimum is more complicated and cannot be given by a single formula unless certain inequalities involving $a,b,c,d$ are assumed.

Let us work in the setting that OP considered for infimum: $a<b<c<d$. Denote the angle between edges of lengths $a,b$ by $\alpha$ and the one between edges of lengths $c,d$ by $\beta$. They are related only by the following constraint (which comes from considering the diagonal length $e$ in the picture):

$$a^2+b^2-2ab\cos\alpha=c^2+d^2-2cd\cos\beta.$$

enter image description here

Thus the goal is to obtain the optima of the area function $f(\alpha,\beta)=\frac{1}{2}ab\sin\alpha+\frac{1}{2}cd\sin\beta$ subject to the constraint $g(\alpha,\beta)=(a^2+b^2-2ab\cos\alpha)-(c^2+d^2-2cd\cos\beta)=0$. Using Lagrange multipliers, let us consider the points where $\nabla f=\left(\frac{1}{2}ab\cos\alpha,\frac{1}{2}cd\cos\beta\right)$ is a multiple of $\nabla g=(2ab\sin\alpha,-2cd\sin\beta)$. This amounts to $\tan\alpha=-\tan\beta$, i.e. $\alpha+\beta=\pi$. This is the case of maximum area mentioned in other answers. Therefore, to derive the infimum of $f(\alpha,\beta)$ given $g(\alpha,\beta)=0$, we should consider boundary values for $\beta$. The assumptions $d>a$ and $c>b$ imply $\beta\leq\pi$. Thus $\beta$ belongs to $[0,\pi]$. The boundary values for $\beta$ are thus uniquely determined by those of $\cos\beta$. Based on the constraint, the latter yield $\cos\alpha$ and hence two opposite choices for $\sin\alpha$. Substituting the negative one (which amounts to $\alpha>\pi$ and hence a concave quadrilateral) in the area formula yields a candidate for the minimum. In view of this discussion, let's analyze the extreme values that $\cos\beta$ takes.

Solving the equation above for $\cos\beta$, the fraction $\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ must be between $-1$ and $1$. Conversely, any such fraction in $[-1,1]$ determines $\beta$ uniquely. The range for $\cos\beta=\frac{c^2+d^2-a^2-b^2+2ab\cos\alpha}{2cd}$ is

$$\left[\max\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd},-1\right), \min\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd},1\right)\right].$$

Notice that: $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq -1\Leftrightarrow d\geq a+b+c$, $\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\geq 1\Leftrightarrow a+d\geq b+c$. So to simplify further, three different regimes should be considered:

  • $d\geq a+b+c$ (in which case the quadrilateral is concave unlike the picture above),
  • $b+c-a<d\leq a+b+c$ (this pertains to the limit case that OP mentions: $\beta$ attains all values in $[0,\pi]$, and $\beta=0$ yields the minimum possible area as the area of a triangle with sides $a,b,d-c$);
  • $d\leq b+c-a$.

Conclusion) In general, further assumptions are needed to obtain a formula for the infimum of area, because there are three different regimes. The second one is easier to handle. For the first one $(d\leq a+b+c)$, the minimum area is achieved when $\beta=0$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$. In the third regime $(d\leq b+c-a)$ the minimum area is achieved when $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2+2ab}{2cd}\right)$ or $\beta=\cos^{-1}\left(\frac{c^2+d^2-a^2-b^2-2ab}{2cd}\right)$.

Note) I have assumed that the quadrilateral does not cross itself. Indeed, the Bretschneider's formula does not hold in general if it does, and even the expression for the maximum area becomes complicated in that situation. But I have not assumed anything about convexity.

minor
Source Link
KhashF
  • 3.6k
  • 2
  • 10
  • 34
Loading
minor
Source Link
KhashF
  • 3.6k
  • 2
  • 10
  • 34
Loading
Source Link
KhashF
  • 3.6k
  • 2
  • 10
  • 34
Loading