( x0 - rx0 ) / La = cos(a + b) - ①
( x - rx0 ) / Lb = cos(b) - ②
La = Lb - ③
( y0 - ry0 ) / La = sin(a+b) - ④
( y - ry0 ) / Lb = sin(b) - ⑤
当cos(b),cos(a + b)不为零时,由①②③得:
(x0- rx0)/ (x-rx0) = cos(a+b)/cos(b)
(x0- rx0)/ (x-rx0) = (cos(a)cos(b)-sin(a)sin(b))/cos(b)
(x0- rx0)/ (x-rx0) = cos(a) - sin(a)tan(b)
(x0- rx0) = (cos(a) - sin(a)tan(b))(x - rx0)
x0 = (x - rx0)cos(a) - sin(a)tan(b)(x - rx0) + rx0
x0 = (x - rx0)cos(a) - (y - ry0)sin(a) + rx0 - A
当sin(b),sin(a + b)不为零时,由③④⑤得:
(y0 - ry0)/(y - ry0) = sin(a+b)/sin(b)
(y0 - ry0)/(y - ry0) = (sin(a)cos(b) + cos(a)sin(b))/sin(b)
(y0 - ry0)/(y - ry0) = sin(a)cos(b)/sin(b) + cos(a)
y0 = (y - ry0)sin(a)cos(b)/sin(b) + (y - ry0)cos(a) + ry0
y0 = (y - ry0)sin(a)(x - rx0)/(y - ry0) + (y - ry0)cos(a) + ry0
y0 = (x - rx0)sin(a) + (y - ry0)cos(a) + ry0 - B
∴当cos(b),cos(a + b)不为零时A、B式成立