已知两点坐标求三角形第三点坐标，使角为指定角度

根据题目条件，我们可以得到以下两个方程：\n\n1. 根据三角函数定义，我们可以得到角a°的正切值为tan(a°) = (y3 - y1) / (x3 - x1)\n即 (y3 - y1) = tan(a°) * (x3 - x1)\n\n2. 根据直角三角形性质，我们可以得到两点A和B的连线斜率为(k) = (y2 - y1) / (x2 - x1)\n即 (y2 - y1) = k * (x2 - x1)\n\n将方程2代入方程1中，得到：\nk * (x2 - x1) = tan(a°) * (x3 - x1)\n化简得：\nx3 = (k * x2 - tan(a°) * x1 + tan(a°) * x2) / (k + tan(a°))\ny3 = (k * y2 - tan(a°) * y1 + tan(a°) * y2) / (k + tan(a°))\n\n综上所述，我们可以用x1, y1，x2, y2，以及a表示x3, y3。