b.

Dalil proyeksi
- Untuk segitiga lancip
Jika pada  ABC, diketahui C lancip, dan p = proyeksi b pada c,
maka berlaku bahwa :
a2 = b2 + c2 - 2cp.

b a
t
p c-p
A D B
c
Diketahui:  ABC, AB = c, BC = a, AC = b, CD AB, CD = t, AD = p,
p adalah proyeksi b pada c.
Buktikan: a2 = b2 + c2 - 2cp.
Bukti:
Karena D = 90o, maka t2 = b2 – p2 dan t2 = a2 – (c-p)2.
Dari kedua persamaan tersebut diperoleh b2 – p2 = a2 – (c-p)2 atau a2
= b2 + c2 - 2cp.

- Untuk segitiga tumpul

Jika pada  ABC, diketahui A tumpul, dan p = proyeksi b pada c,
maka berlaku bahwa : a2 = b2 + c2 + 2cp.
C

t b a

p
D B
A c
 Diketahui: ABC dengan A tumpul, p = proyeksi b pada c.
Buktikan: a2 = b2 + c2 + 2cp.
Bukti:
CD  AB, sehingga t2 = b2 – p2 dan t2 = a2 – (p+c)2
Sehingga b2 – p2 = a2 – (p+c)2 atau
a2 = b2 + c2 + 2cp

C. Dalil Steward
Pada  ABC, jika AE = c1, CE = l, EB = c2, dan l ¿ c = E, maka: l2
c = a2 c1 + b2 c2 – c1c2c.
Bukti:
Pada ACE lancip, b2 = l2 + c12 – 2c1p
Pada BCE tumpul, a2 = l2 + c22 + 2c2p

C
b a
t l

1 2
p
A D E B
c1 c2
Dari sistem persamaan diatas, eliminir p,
diperoleh:
b2 c2 = l2 c2+ c12 c2– 2c1c2 p
a2 c1 = l2 c1+ c1 c22 + 2c1c2p
a2 c1 + b2 c2 = l2 c1+ l2 c2+ c12 c2+ c1 c22
= l2 (c1+c2) + c1 c2 (c1+c2)
= l2 c + c1c2c.
Jadi l2 c = a2 c1 + b2 c2 – c1c2c.