, , , (, ), . - , .
- "" , , , . , . .
(1) L
A * x + B * y + C = 0
. , (A, B) .
, X1(x1, y1) X2(x2, y2),
A = y2 - y1
B = -(x2 - x1)
C = -A * x1 - B * y1
(2) , (A, B).
M = sqrt(A * A + B * B)
A' = A / M
B' = B / M
C' = C / M
A' * x + B' * y + C' = 0
- L, , (A', B') .
(3) P(px, py)
D = A' * px + B' * py + C'
D P L. , P L ( , ).
, L P. P , (A', B') ( "" ), . P ( ), .
(4) P'(px', py'), P |2 * D| L .
" " , P "" L, (A', B') "" . , P "" L, (A', B') "" .
-2 * D ( ) (A', B').
,
px' = px - 2 * A' * D
py' = py - 2 * B' * D
P'(px', py').
, N L P N. , , .
(1)
A*x + B*y + C = 0
L , 1 . .
(2) , P. ,
D*x + E*y + F = 0
D E
D = B
E = -A
F , P
F = -D*px - E*py
(3) ,
A*x + B*y = -C
D*x + E*y = -F
. , , , .
N(nx, ny), .
(4)
px' = nx + (nx - px)
py' = ny + (ny - py)
P'(px', py').
, . , , Cramer 3. , , , " " , - . C F , .