Relations between various elements of a triangle

This follows from 2S = ah_a because h_a = b sin(C).

This follows from S² = p(p - a)(p - b)(p - c) and S = rp.

2S = ah_a = bh_b = ch_c. Therefore, a = 2S/h_a, etc. On the other hand, S = rp, so that p = S/r, or (a + b + c) = 2S/r. From here, 2S/h_a + 2S/h_b + 2S/h_c = 2S/r.

Taking into account that S² = p(p - a)(p - b)(p - c) and r² = p^-1(p - a)(p - b)(p - c), the latter leads to

sin²(A/2) = (p - b)(p - c) / bc.

Indeed, from sin²(A/2) = (p - b)(p - c) / bc,

Square the obvious

AI = r/sin(A/2).

Substitute there sin²(A/2) = (p - b)(p - c) / bc and r² = p^-1(p - a)(p - b)(p - c):

AI²	= p-1(p - a)(p - b)(p - c)bc/(p - b)(p - c)
	= (p - a)bc/p.

Squaring AI = r/sin(A/2) and substituting sin²(A/2) = (p - b)(p - c) / bc, we obtain

AI² = r²·bc/(p - b)(p - c).

By the incenter construction, tan(B/2) = r/(p - b) and also tan(C/2) = r/(p - c). Substituting these into the above gives the required

AI² = bc·tan(B/2)·tan(C/2).

As we know,

S = r_a(p - a) = r_b(p - b) = r_c(p - c).

Therefore

1/ra+ 1/rb + 1/rc	= (p - a)/S + (p - b)/S + (p - c)/S
	= (3p - a - b - c)/S
	= (3p - 2p)/S
	= p/S
	= 1/r,

since S = rp.

As we know,

S = rp,

and also

S = r_a(p - a) = r_b(p - b) = r_c(p - c).

From these we have

Simple algebra yields

1/(p - a) + 1/(p - b) = c / (p - a)(p - b) and
1/(p - c) - 1/p = c / p(p - c).

And a little more effort makes a great payoff:

c / (p - a)(p - b) + c / p(p - c) = abc / p(p - a)(p - b)(p - c) = abc / S²,

by Heron's formula. To sum up, from (4)

However, abc = 4RS, so that (5) implies exactly what's needed:

r_a + r_b + r_c - r = abc / S = 4R.

Since

S = r_a(p - a) = r_b(p - b) = r_c(p - c),

we immediatly obtain

rarbrc	= S3 / (p - a)(p - b)(p - c)
	= S3 / [S² / p],

by Heron's formula. But

S³ / [S² / p] = Sp.

This is an immediate consequence of r_ar_br_c = pS and rp = S.

Follows from l_a = 2bc cos(A/2)/2 and cos²(A/2) = p(p - a) / bc.

Applying the sine area formula to triangles ABL_a and ACL_a and then to the entire ΔABC we see that

bl_asin(A/2)/2 + cl_asin(A/2)/2 = bc sin(A)/2

This simplifies to

l_a = bc sin(A)/ (b + c)sin(A/2) = 2bc cos(A/2) / (b + c).

m_a² = (b² + c²)/2 - a²/4

Let's use Stewart's theorem

AB²·DC + AC²·BD - AD²·BC = BC·DC·BD

with D being the midpoint M of BC. Then AB = c, DC = a/2, AC = b, BD = a/2, AD = m_a, BC = a. We have,

c²·a/2 + b²·a/2 - m_a²·a = a·a/2·a/2.

(The above identity could be as easily obtained with the help of the theorem of Cosines.)

By the Law of Sines

a = 2R·sinA, b = 2R·sinB, c = 2R·sinC,

so that

p	= R·(sinA + sinB + sinC)
	= R·(sinA + sinB + sin(180° - A - B)
	= R·(sinA + sinB + sin(A + B)
	= R·(sinA + sinB + sinA·cosB + cosA·sinB)
	= R·(sinA·(1 + cosB) + sinB·(1 + cosA))
	= R·(2sin(A/2)cos(A/2)·2cos²(B/2) + 2sin(B/2)cos(B/2)·2cos²(A/2))
	= 4R·cos(A/2)cos(B/2)(sin(A/2)cos(B/2) + sin(B/2)cos(A/2))
	= 4R·cos(A/2)cos(B/2)sin((A + B)/2)
	= 4R·cos(A/2)cos(B/2)sin(90° - C/2)
	= 4R·cos(A/2)cos(B/2)cos(C/2).

By the Law of Sines

a = 2R·sinA, b = 2R·sinB,

For the area of the triangle we have

2S	= ab·sinC
	= 2RsinA·2RsinB·sinC
	= 4R²·sinA·sinB·sinC.

1. S = rp,
2. p = 4Rcos(A/2)·cos(B/2)·cos(C/2), and
3. S = 2R²sin(A)·sin(B)·sin(C).

r² = p^-1(p - a)(p - b)(p - c) is equivalent to

r = √D / p,

where D = p(p - a)(p - b)(p - c). Also,

R = abc / 4√D.

Multiplying the two gives

rR = abc / 4p.

Note that the identity at hand also follows by combining S = rp with abc = 4RS.

In ΔABH, if A < 90°, ∠ABH = 90° - ∠A. (This is because ΔABH_b is right.) Applying the law of sines to ΔABH gives,

	AH / sin(∠ABH)	= AB / sin(180° - ∠C)
		= AB / sin(∠C)
		= 2R

from the lawa of sines applied in ΔABC. Thus

	2R	= AH / sin(∠ABH)
		= AH / sin(90° - ∠A)
		= AH / cos(∠A),

which proves the assertion AH = 2R·|cos(A)| when A < 90°.

For the case where ∠A is obtuse, H falls outside ΔABC, ∠ABH = ∠A - 90° so at the end we'll get AH = -2R·cos(A), proving AH = 2R·|cos(A)| in this case also.

|Contact| |Front page| |Contents| |Geometry| |Up| |Store|