>>771はなんだ？なんか変なことやってるな

†直線AP
α≠90°and　α≠270°のとき　y - Ay = tanα(x - Ax)
α＝90°or　α＝270°のとき　x = Ax　and　y = 任意

†直線BP
β≠90°and　β≠270°のとき　y - By = tanβ(x - Bx)
β＝90°or　β＝270°のとき　x = Bx　and　y = 任意

†点Pに関する連立方程式と点Pの座標

‡α≠90°and　α≠270°and　β≠90°and　β≠270°のとき
Py - Ay = tanα(Px - Ax)　and　Py - By = tanβ(Px - Bx)
これをPxについて解いて
Px = (tanβBx - tanαAx + Ay - By)/(tanβ - tanα)

‡(α＝90°or　α＝270°)　and　(β≠90°and　β≠270°)のとき
Px = Ax　and　Py - By = tanβ(Px - Bx)

‡(α≠90°and　α≠270°)　and　(β＝90°or　β＝270°)のとき
Px = Bx　and　Py - Ay = tanα(Px - Ax)

‡(α＝90°or　α＝270°)　and　(β＝90°or　β＝270°)のとき
Px = Ax = Bx　and　Py = 任意