用直线 y = x 和 y = 2x 验证公式 tantheta = |(m_1 - m_2)/(1 + m_1 m_2)| 。