直線 y = x と y = 2x について公式 tantheta = |(m_1 - m_2)/(1 + m_1 m_2)| を検証せよ。