<例題>∠A が 90度の直角三角形ABC で,次の式が成立することを示せ。
(AB)S+(AC)S=(BC)S
<解答>A を動点、B,C を定点としても一般性を失わない。
条件から、∠A=90度
0=AB・AC
d(0)=d(AB)・AC+AB・d(AC)
0=d(AB)・AC+AB・d(AC)・・・・・・・・・・・・・・(1)
d{(AB)S+(AC)S−(BC)S}
=d(AB)S+d(AC)S−d(BC)S
=2・AB・d(AB)+2・AC・d(AC)−0
d{(AB)S+(AC)S−(BC)S}/2
=AB・d(AB)+AC・d(AC)
=AB・d(AC+CB)+AC・d(AB+BC)
=AB・d(AC)+AC・d(AB)
=0 ∵ (1)より、
上の式より、d{(AB)S+(AC)S−(BC)S}=0
(AB)S+(AC)S−(BC)S=c
A が B 来たとき、
c=(BB)S+(BC)S−(BC)S=0
∴ (AB)S+(AC)S−(BC)S=0
(AB)S+(AC)S=(BC)S
|