MHB Review my solution: Trigonometry proof

AI Thread Summary
The discussion focuses on proving the inequality \( c \geq (a+b) \sin \left( \frac{C}{2} \right) \) for a triangle with sides \( a, b, c \) and angle \( C \) subtending side \( c \). The proof utilizes the law of cosines and properties of sine to establish that \( c^2 \) is greater than or equal to \( (a+b)^2 \sin^2 \left( \frac{C}{2} \right) \). An alternative proof is presented using the triangle's area and the relationship between the angle bisector and altitude, reinforcing the original conclusion. The participants agree on the validity of the proofs and emphasize the importance of multiple proofs in mathematics. Overall, the discussion highlights different approaches to a geometric inequality in trigonometry.
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: 107
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.
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
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...
Back
Top