k85s1

実数p,q(q>0)に対して,下の2条件①,②を満たす三角形ABCが存在するための必要十分条件を求めよ.
\vec{BC}=q\vec{AB}\cdot\vec{AC}=p
ただし,\vec{AB}\cdot\vec{AC}\vec{AB}\vec{AC}の内積をあらわす.

\vec{AB}+\vec{BC}=\vec{0}のとき三角形にならないので不可.
したがって0<|\vec{AB}+\vec{BC}|^2=|\vec{AB}-\vec{BC}|^2+4\vec{AB}\cdot\vec{AC}=q^2+4pが必要.
特に,AB=BCの場合を考えるとq^2=|\vec{AB}-\vec{BC}|^2=2|\vec{AB}|^2-2p
つまり|\vec{AB}|=\sqrt{\frac{q^2+2p}{2}}
ここで逆に,q^2+4p>0のとき,
(2\sqrt{\frac{q^2+2p}{2}})^2-q^2=q^2+4p>0だから2\sqrt{\frac{q^2+2p}{2}}>qより
底辺がq,等辺が\sqrt{\frac{q^2+2p}{2}}である二等辺三角形が存在し,二等辺三角形の頂点をA,残りの頂点をB,Cとおくと
|\vec{BC}|=q
\vec{AB}\cdot\vec{AC}=\frac{1}{2}(|\vec{AB}|^2+|\vec{AC}|^2-|\vec{AB}-\vec{AC}|^2)=p
となるので,求める必要十分条件はq^2+4p>0
最終更新:2013年09月22日 18:16