Math 计算给定角度的点和直线的坐标

我在画布上工作，我想画一些线

我有一条由两点p1x1，y1和p2x2，y2定义的第一条线。 我知道如何用公式计算这两点之间的距离r：sqrtx2-x1^2+y2-y1^2

我的问题如下。通过定义的角度α，我想计算点p3x3，y3的坐标，比如距离P1P3=P1P2=r

我想这可能是三角函数或极坐标的问题，但我不记得这些概念，我有一些问题需要解决

下图恢复帖子并显示一个表示：

有人对解决方案有一些想法吗

提前谢谢你的帮助

---

Sylvain的基本思想是旋转差分向量：

dx := x2 - x1
dy := y2 - y1

dx' := cos alpha * dx - sin alpha * dy
dy' := sin alpha * dx + cos alpha * dy

x3 := x1 + dx'
y3 := x1 + dy'

---

基本思想是旋转差分向量：

dx := x2 - x1
dy := y2 - y1

dx' := cos alpha * dx - sin alpha * dy
dy' := sin alpha * dx + cos alpha * dy

x3 := x1 + dx'
y3 := x1 + dy'