[math]1973年京都大学理系数学問題3

brown wooden arrow signed math
Photo by Jens Johnsson on Pexels.com

問題

正三角形ABCがある。点Oを直線ABに関してCと反対側にとってAOB=60となるようにし、ベクトルOA,OB,OCをそれぞれa,b,cで表す。このとき、c=|ba|a+|ab|bであることを証明せよ。ただし、|a|,|b|はそれぞれa,bの大きさを示す。

方針

a,bは一次独立なので、c=pa+qbなどと置いてp,qを求める。

解答

a,bは一次独立なので、c=pa+qbとしたとき、p,qは一意に定まる。|a|=x,|b|=yとすると、AOB=60なので、ab=xy2である。|AC|=|ca|=|(p1)a+qb|だから、(a)|AC|2=(p1)2x2+(p1)qxy+q2y2である。同様に、|BC|=|cb|=|pa+(q1)b|だから、(b)|BC|2=p2x2+(p1)qxy+(q1)2y2である。また、|AB|=|ba|だから、(c)|AB|2=x2xy+y2である。

ABCは正三角形なので、AB=BC=CAである。式(a)(b)を作ると、(d)(2p+1)x2+(pq)xy+(2q1)y2=0である。さて、式(d)p=yx,q=xyを代入すると(2p+1)x2+(pq)xy+(2q1)y2=(2xy+x2)+y2x2+(2xyy2)=0となり、式(d)が成り立つ。さらに、式(a), (b)にこのp,qの値を代入すると、(p1)2x2+(p1)xy+q2y2=(xy)2+x(yx)+x2=x2xy+y2p2x2+p(q1)xy+(q1)2y2=y2+y(xy)+(xy)2=x2xy+y2となり、式(c)と一致する。よって、c=yxa+xyb=|ba|a+|ab|bとなり、題意が成り立つ。

解説

立式までは簡単であるが、(a), (b), (c)の値は等しいのでここからp,qの値を求めてしまえば良い。しかし、この問題がべクトルの問題でしかも証明問題ということに思いを馳せると、その必要はないことに気がつく。一次独立性を上手く使うと解答のように実際にp,qの組をみつけて、3つの式を満たしていることが言えれば計算は必要ない。なかなか気がつきにくいかもしれないが、良い問題である。

なお、点OAOB=60を満たす点というだけなので、特にABCは正三角形にならないことに注意する。

関連問題

1972年京都大学数学問題文理共通理系問題1文系問題1 ベクトルと論証
1972年京都大学数学文理共通問題文系問題3理系問題4 ベクトルと論証、平行四辺形
1998年京都大学前期理系問題3 四面体、ベクトル
2004年京都大学前期文系数学問題3 角の二等分線とベクトル
2008年京都大学前期理系乙数学問題3 ベクトルと一次独立

関連リンク

京都大学
京都大学のオフィシャルサイトです。学部・大学院、研究所等の案内や、入試・入学案内、教育研究活動、キャンパスの最新情報など、京都大学に関する情報をご覧いただけます。

コメント

タイトルとURLをコピーしました