MHB Review my solution: Trigonometry proof

SweatingBear
Messages
119
Reaction score
0
For a triangle with sides $$a$$, $$b$$, $$c$$ and angle $$C$$, where the angle $$C$$ subtends the side $$c$$, show that

$$c \geqslant (a+b) \sin \left( \frac C2 \right)$$
_______

Let us stipulate $$0^\circ < C < 180^\circ$$ and of course $$a,b,c > 0$$. Consequently, $$0^\circ < \frac C2 \leqslant 90^\circ \implies 0 < \sin^2 \left( \frac C2 \right) \leqslant 1$$ (we include $$90^\circ$$ for the angle $$\frac C2$$ in order to account for right triangles).

Law of cosines yield

$$c^2 = a^2 + b^2 - 2ab \cos ( C )$$

Using $$\cos (C) \equiv 1 - 2\sin^2 \left( \frac C2 \right)$$, we can write

$$c^2 = a^2 + b^2 - 2ab + 4ab\sin^2 \left( \frac C2 \right)$$

Now since $$0 < \sin^2 \left( \frac C2 \right) \leqslant 1$$, $$a^2 + b^2 - 2ab + 4ab\sin^2 \left( \frac C2 \right)$$ will either have to equal $$a^2 + b^2 - 2ab + 4ab$$ or be greater than it. Thus

$$c^2 \geqslant a^2 + b^2 - 2ab + 4ab = a^2 + 2ab + b^2 = (a+b)^2 $$

A similar argument can be made for $$(a+b)^2$$ versus $$(a+b)^2 \sin^2 \left( \frac C2 \right)$$: $$(a+b)^2$$ will either have to equal or be greater than the latter expression, due to the values $$\sin^2 \left( \frac C2 \right)$$ can assume. Therefore

$$c^2 \geqslant (a+b)^2 \geqslant (a+b)^2 \sin^2 \left( \frac C2 \right) $$

We can finally conclude

$$c \geqslant (a+b) \sin \left( \frac C2 \right)$$

Thoughts?
 
Mathematics news on Phys.org
I see nothing wrong with your proof. This is how I would prove it. Please refer to the following diagram:

View attachment 1085

I would postulate concerning the angle bisector $m$ of $\angle C$ and the altitude $h$, we must have:

(1) $$m\ge h$$

That is, the shortest distance between a point and a line is the perpendicular distance.

Now, the area $T$ of the triangle may be written in these ways:

$$T=\frac{1}{2}ch=\frac{1}{2}m(a+b)\sin\left(\frac{C}{2} \right)$$

Note: I have made use of the formulas (for a general triangle):

$$T=\frac{1}{2}bh$$

$$T=\frac{1}{2}ab\sin(C)$$

Thus, we have:

$$ch=m(a+b)\sin\left(\frac{C}{2} \right)$$

And from (1), we therefore conclude:

$$c\ge (a+b)\sin\left(\frac{C}{2} \right)$$
 

Attachments

  • sweatingbear.jpg
    sweatingbear.jpg
    5.1 KB · Views: 104
MarkFL said:
I see nothing wrong with your proof. This is how I would prove it. Please refer to the following diagram:

View attachment 1085

I would postulate concerning the angle bisector $m$ of $\angle C$ and the altitude $h$, we must have:

(1) $$m\ge h$$

That is, the shortest distance between a point and a line is the perpendicular distance.

Now, the area $T$ of the triangle may be written in these ways:

$$T=\frac{1}{2}ch=\frac{1}{2}m(a+b)\sin\left(\frac{C}{2} \right)$$

Note: I have made use of the formulas (for a general triangle):

$$T=\frac{1}{2}bh$$

$$T=\frac{1}{2}ab\sin(C)$$

Thus, we have:

$$ch=m(a+b)\sin\left(\frac{C}{2} \right)$$

And from (1), we therefore conclude:

$$c\ge (a+b)\sin\left(\frac{C}{2} \right)$$

Thank for the feedback and the excellent alternative solution!
 
A good rule of thumb in mathematics I live by is this:

If something is true, you should be able to provide two proofs, and one of them should have a picture. This is a perfect example of what I mean.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.
Back
Top