tan の加法定理が使わなければならない入試問題ってある？
　参考書の基本問題ではよく２直線のなす角度を求めるとき使われているけど、あれもベクトルの内積を
利用したほうがてっとり早そうだし。