Review my solution: Trigonometry proof

Click For Summary

Discussion Overview

The discussion revolves around a proof related to a triangle with sides $$a$$, $$b$$, and $$c$$, focusing on establishing the inequality $$c \geqslant (a+b) \sin \left( \frac C2 \right)$$, where angle $$C$$ subtends side $$c$$. The scope includes mathematical reasoning and alternative proofs related to trigonometry and triangle properties.

Discussion Character

  • Mathematical reasoning, Technical explanation, Debate/contested

Main Points Raised

  • Post 1 presents a proof using the law of cosines and properties of sine, concluding that $$c \geqslant (a+b) \sin \left( \frac C2 \right)$$.
  • Post 2 offers an alternative proof involving the angle bisector and altitude of the triangle, asserting that $$c \ge (a+b)\sin\left(\frac{C}{2} \right)$$ based on area relationships.
  • Post 3 reiterates the alternative proof from Post 2, emphasizing the same reasoning and conclusion.
  • Post 4 suggests a principle that if a mathematical statement is true, it should have multiple proofs, highlighting the importance of visual representation in proofs.

Areas of Agreement / Disagreement

Participants generally agree on the validity of the proofs presented, with no explicit disagreements noted. However, the discussion includes multiple approaches to the same conclusion without resolving which proof may be preferred.

Contextual Notes

Participants rely on various properties of triangles, such as the law of cosines and area formulas, but do not explicitly address any limitations or assumptions in their proofs.

Who May Find This Useful

Readers interested in trigonometry, triangle properties, and mathematical proofs may find this discussion beneficial.

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

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
7K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K