４５度の角をなす２直線の傾きの決定

２直線の方程式からなす角を求める問題を作りたい。

１．なす角は４５度。

２．２直線の傾きはともに有理数。

生成する式はいくらでも作れる。

加法定理からごちゃごちゃ計算していたら、友人に次の図で瞬殺されてへこんだ。