Задача 6: Симметричные графики

Астахов Александр, Никита Бакшевич

Лицей БНТУ

Минск 2021
 Резюме:
1) Записано уравнение прямой, симметричной данной прямой y = Ax + B относительно
прямой y = kx + b.
1
2) Записано уравнение гиперболы, симметричной данной гиперболе y = x
относительно
прямой y = kx + b.
Ax+B
3) Записано уравнение гиперболы, симметричной данной гиперболе y = Cx+D
относительно
прямой y = kx + b.

4) Записано уравнение линии, симметричной данной параболе y = Ax2 + Bx + C относи-

тельно прямой y = kx + b.

5) Записано уравнение линии, симметричной данной прямой y = Ax + B относительно

параболы y = x2 .

6) Записано уравнение линии, симметричной данной прямой y = Ax + B относительно

параболы y = ax2 + bx + c.

7) Рассмотрен вопрос о возможности восстановлении исходной кривой, если известна сим-

метричная кривая и линия симметрии.

8) Рассмотрен вопрос о возможности восстановлении линии симметрии, если известна сим-

метричная кривая и исходная кривая.
Таким образом решены пункты 1, 2, 3, 4, 5, 6, 7, 8 исходной постановки задачи.

2
Постановка задачи:
Под гладкими линиями будем понимать в этой задаче графики таких функций, ко-
торые имеют непрерывные производные в каждой точке из области ее определения.
Симметрией относительно прямой или осевой симметрией относительно прямой a назы-
вается преобразование плоскости, переводящее точку M в точку M1 такую, что прямая
a — серединный перпендикуляр к отрезку M M1 .
Симметрией I рода относительно гладкой линии y = f (x), назовем преобразование плос-
кости, переводящее точку M в точку M1 такую что,

(1) касательная к графику функции y = f (x) в точке пересечения с M M1 является сере-

динным перпендикуляром к отрезку M M1 , причем

(2) M M1 – минимальный из всех возможных.

Заметим, что таких точек M1 может быть более одной и даже бесконечно много,
причем в последнем случае преобразование будет определено, если существует мини-
мум множества длин всех таких отрезков.
Симметрией II рода относительно гладкой линии y = f (x), назовем преобразование
плоскости, переводящее точку M в точку M1 , что касательная к графику функции
y = f (x) в точке пересечения с M M1 является серединным перпендикуляром к отрезку
M M1 .
Заметим, что образом точки M при симметрии II рода будет, вообще говоря, мно-
жество точек.
Во всех пунктах предлагается решить (или изучить) соответствующие задачи для всех
видов симметрии.

1. Записать уравнение прямой, симметричной данной прямой y = Ax + B относительно

прямой y = kx + b.
1
2. Записать уравнение гиперболы, симметричной данной гиперболе y = x
относительно
прямой y = kx + b.
Ax+B
3. Записать уравнение гиперболы, симметричной данной гиперболе y = Cx+D
относительно
прямой y = kx + b.

4. Записать уравнение линии, симметричной данной параболе y = Ax2 + Bx + C относи-

тельно прямой y = kx + b.

5. Записать уравнение линии, симметричной данной прямой y = Ax + B относительно

параболы y = x2 .

6. Записать уравнение линии, симметричной данной прямой y = Ax + B относительно

параболы y = ax2 + bx + c.

7. Рассмотреть вопрос о возможности восстановлении исходной кривой, если известна сим-

метричная кривая и линия симметрии.

8. Рассмотреть вопрос о возможности восстановлении линии симметрии, если известна сим-

метричная кривая и исходная кривая.

9. Предложите свои обобщения. В частности, интересует вопрос: если линия симметрии не

является гладкой.
3
 Решение:
Замечание: За y 0 , x0 , если это не будет вести к недоразумению, мы будем понимать точки пе-
ресечения оси и прямой перпендикулярной ей.

Пункт 1: Записать уравнение прямой, симметричной данной прямой

y = Ax + B относительно прямой y = kx + b.
Пусть необходимо выразить кривую τ (x).
Рассмотрим случай когда k 6= 0:
Отметим, что симметрия первого и второго рода относительно прямой равносильны, так как
существует только одна касательная к прямой.
Рассмотрим прямую перпендикулярную прямой y = kx + b: y = − k1 x + b0 , проходящую через
точку (x1 ; τ (x1 )).
Так как y = − k1 x + b0 проходит через (x1 ; τ (x1 )) имеем:
1 1 1 1
− x1 + b0 = τ (x1 ) =⇒ b0 = τ (x1 ) + x1 =⇒ y = − x + τ (x1 ) + x1 .
k k k k
Найдем точки пересечения прямой y = − k1 x + τ (x1 ) + k1 x1 и y = kx + b, y = Ax + B:
1 1 kτ (x1 ) + x1 − kb
− x0 + τ (x1 ) + x1 = kx0 + b =⇒ x0 =
k k k2 + 1
1 1 kτ (x1 ) + x1 − kB
− x2 + τ (x1 ) + x1 = Ax2 + B =⇒ x2 =
k k Ak + 1
Так как функция f является серединным перпендикуляром к отрезку M M1 имеем:
x1 + x2 kτ (x1 ) + x1 − kB kτ (x1 ) + x1 − kb
= x0 =⇒ x1 + =2 =⇒
2 Ak + 1 k2 + 1
x1 (Ak + 1)(k 2 + 1) + (k 2 + 1)(x1 − kB) − 2(Ak + 1)(x1 − kb)
=⇒ τ (x1 ) = .
2(Ak + 1)k − (k 2 + 1)k
При A = − k1 выражение, описывающее x2 , не имеет смысла, так как в данном случае
знаменатель становится равным 0.
Рассмотрим выражение: − k1 x2 + τ (x1 ) + k1 x1 = Ax2 + B при подстановке данного значения
в выражение получим, что τ (x1 ) = − k1 x1 + B. Однако отметим, что при подстанове данных
значений в конечную формулу получим тот же результат.
Рассмотрим случай когда 2(Ak + 1)k − (k 2 + 1)k = 0, k 6= 0:
При решении предыдущего случая мы рассматривали произвольную точку x1 и искали для
неё значение τ , опираясь на свойства равноудаленности от прямой, но в случае когда сим-
метричная прямая вертикальна это невозможно, так как значением τ будут все вещественные
числа.
Таким образом это подходит под условия данного случая, так как k 6= 0, поскольку исход-
ная прямая не может быть параллельна вертикальной. Значит в данном случае будет точка
пересечения оси и исходной прямой, так как ось не может быть параллельна вертикальной
прямой.
Значит, имеет место равенство:
B−b
Ax3 + B = kx3 + b =⇒ x3 = .
k−A
Отметим, что если мы подставим k = A 6= 0 в выражение 2(Ak + 1)k − (k 2 + 1)k = 0, то
получим
(A2 + 1)A = 0,
4
но данное равенство не выполняется, так как A 6= 0
Теперь рассмотрим случай когда k = 0: y = b; y = Ax + B.
Пусть (x1 ; y1 ), (x2 ; y2 ) точки исходной и симметричной линий соответственно. Отметим, что
так как k = 0 имеем: x1 = x2 .
Так как функция f является серединным перпендикуляром к отрезку M M1 :
y1 + y2
= b =⇒ y2 = 2b − y1 = 2b − Ax1 − B
2
Значит уравнение симметричной линии имеет вид y = 2b − Ax − B.
Таким образом необходимое отображение τ : R −→ R имеет вид:
x(Ak+1)(k2 +1)+(k2 +1)(x−kB)−2(Ak+1)(x−kb)



( 2(Ak+1)k−(k2 +1)k
, k 6= 0, 2(Ak + 1)k − (k 2 + 1)k 6= 0

 τ (x ) = R, τ (R\x ) = ∅
3 3
τ (x) = B−b
 x3 = k−A , 2(Ak + 1)k − (k 2 + 1)k = 0, k 6= 0



2b − Ax − B, k = 0

Для упрощения решения дальнейших пунктов опишем отображение ψ : R2 −→ R2 , пе-

реводящее исходную точку в симметричную относительно прямой y = kx + b.
Пусть (x1 ; y1 ), (x2 ; y2 ), (x0 ; y 0 , ) - точки исходной и симметричной линий, точка пересе-
чения оси с прямой, перпендикулярной ей и проходящей через (x1 ; y1 ) соответственно.
Рассмотри случай когда k 6= 0:
Так как функция f является серединным перпендикуляром к отрезку M M1 имеем:
x1 + x2 y1 + y2
= x0 ; = y 0 =⇒ x2 = 2x0 − x1 , y2 = 2y 0 − y1
2 2
Найдем точку (x0 ; y 0 ):
1 1 1
− x1 + b0 = y1 =⇒ y = − x + y1 + x1
k k k
1 1 ky1 + x1 − kb 1 ky1 + x1 − kb 1
− x0 + y1 + x1 = kx0 + b =⇒ x0 = 2
=⇒ y 0 = − ( 2
) + y 1 + x1
k k k +1 k k +1 k
2
ky1 + x1 − kb k(2b − 2y1 ) + (k − 1)x1
x2 = 2 2
− x1 = − ,
k +1 k2 + 1
1 ky1 + x1 − kb 1 2b + 2kx1 + (k 2 − 1)y1
y2 = 2(− ( ) + y 1 + x 1 ) − y 1 =
k k2 + 1 k 1 + k2
Рассмотри случай когда k = 0: Так как k = 0 имеем: x1 = x2 .
y1 + y2
= b =⇒ y2 = 2b − y1
2
Таким образом интересующее нас отображение ψ : R2 −→ R2 имеет вид:
2 −1)x 2
(
1 +(k −1)y1
(− k(2b−2yk12)+(k
+1
1
; 2b+2kx1+k 2 ), k 6= 0
ψ(x1 ; y1 ) =
(x1 ; 2b − y1 ), k = 0

Пункт 3: Записать уравнение гиперболы, симметричной данной гиперболе

Ax+B
y= Cx+D
относительно прямой y = kx + b.
Отметим, что симметрия фигуры относительно прямой эквивалентна композиции па-
раллельного переноса и вращения. В таком случае фокусы и директрисы кривых второго
парядка будут также отражаться относительно прямой.
5
 Ax + B n Cmx + mD + n
y= =m+ =
Cx + D Cx + D Cx + D
Найдем m и n:
(
B
A = Cm A AD A − AD
C2
=⇒ m = , n=B− , =⇒ y = + C
B = mD + n C C C x+ D
C

B
− AD
Рассмотрим гиперболу y = C xC 2 :
Найдём её фокусы. Они рассположены на прямой y = sgn( B C
− AD
C2
)x, так как наша
гипербола является равнобедренной квадрат фокального расстояния c равен: c2 = 2a2 ,
где a – большая полуось гиперболы.
Так как фокусы гиперболы находятся на прямой y = sgn( BC
− AD
C2
)x. Найдем большую
полуось гииперболы:
B
− AD
 
C C2 B AD 2
 B AD 
= sgn( − 2 )x =⇒ x =  − 2 
x C C C C
Исходя и теоремы Пифагора:  
2
 B AD 
2
a = 2x = 2  − 2 
C C
 B AD  q 
Найдем фокальное расстояние: c = 4 C − C 2 =⇒ c = 2  B
2  
C
− AD 
C 2 .
Таким образом из теоремы Пифагора следует: фокусами являются точки
 s   s  !
B AD  B AD   B AD 
f1 = sgn − 2 2  − 2 ; 2  − 2  ,
C C C C C C
  s   s  !
B AD  B AD   B AD 
f2 = −sgn − 2 2  − 2 ; − 2  − 2 
C C C C C C
Значит фокусами исходной гипрболы будут:
 s   s   !
B AD  B AD  D  B AD  A
F1 = sgn − 2 2  − 2  −
 ; 2  − 2  + = (xF1 ; yF1 )
C C C C C C C C
 s   s   !
B AD  B AD  D  B AD  A
F2 = −sgn − 2 2  − 2  − ; − 2  − 2  + = (xF2 ; yF2 )
C C C C C C C C
Найдем симметричные фокусы относительно прямой y = kx + b:
( k(2b−2y )+(k2 −1)x 2b+2kxF1 +(k2 −1)yF1
F1 F1
(− k 2 +1 ; 1+k2
), k 6= 0
(xF 0 1 ; yF 0 1 ) = ψ(xF1 ; yF1 ) =
(xF1 ; 2b − yF1 ), k = 0
( k(2b−2y )+(k2 −1)x 2b+2kxF2 +(k2 −1)yF2
F2 F2
(− 2
k +1
; 1+k2
), k =6 0
(xF 0 2 ; yF 0 2 ) = ψ(xF2 ; yF2 ) =
(xF2 ; 2b − yF2 ), k = 0
Запишем уравнение симметричной гиперболы:
s  
p p   B AD 
2 2 2 2
 (x − xF 0 1 ) + (y − yF 0 1 ) − (x − xF 0 2 ) + (y − yF 0 2 )  = 2 2  − 2 
  
C C

6
 Пункт 2: Записать уравнение гиперболы, симметричной данной гиперболе
1
y = относительно прямой y = kx + b.
x
Так как пункт 2 является частным случаем пункта 3 имеем:
p p  √
 (x − xF 0 1 )2 + (y − yF 0 1 )2 − (x − xF 0 2 )2 + (y − yF 0 2 )2  = 2 2
 

Пункт 4: Записать уравнение линии, симметричной данной параболе

y = Ax2 + Bx + C относительно прямой y = kx + b.
Зная уравнение параболы, выразим её фокус и директрису:
B2 B2
 
B 1 1
F= − ; C− + ; y=C− −
2A 4A 4A 4A 4A
Отразим относительно прямой y = kx+b фокус и директрису, воспользовавшись результатами
пункта 1:
2
x(k 2 + 1) + (k 2 + 1)(x − k(C − B
4A
1
− 4A )) − 2(x − kb)
y2 = 2
=
2k − (k + 1)k

2Akx 8Ab − 4ACk 2 − 4AC + B 2 k 2 + B 2 + k 2 + 1

=− 2
− 2
, k 6= 0, 2k − (k 2 + 1)k 6= 0
A(k − 1) 4A(k − 1)

2Akx 8Ab−4ACk2 −4AC+B 2 k2 +B 2 +k2 +1


 − A(k 2 −1) − 4A(k2 −1)
, k 6= 0, 2k − (k 2 + 1)k 6= 0
 
y2 (x3 ) = R, y2 (R\x3 ) = ∅

y2 = B2 1
 x3 = C− 4A − 4A −b , 2k − (k 2 + 1)k = 0, k 6= 0
k


 2
2b − Ax − C + B 1


4A
+ 4A , k=0
Найдем координаты (xF ; yF ) симметричного фокуса:
 2 2

k(2b−2(C− B 1
+ 4A B
))+(k2 −1)(− 2A B
) 2b+2k(− 2A )+(k2 −1)(C− B 1
+ 4A )
2 − , k 6= 0
  
B B 1 4A
k2 +1
; 1+k2
4A

ψ − ; C− + =
2A 4A 4A  B 2
(− 2A ; 2b − (C − B 4A
+ 4A 1
)), k = 0

Запишем уравнение параболы Ψ(x):

8Ab−4ACk2 −4AC+B 2 k2 +B 2 +k2 +1 
  
2Akx
2 −1) −y−

2 −1)
p
, 2k − (k 2 + 1)k 6= 0, k 6= 0
− A(k 4A(k

(x − x 0 )2 + (y − yF 0 )2 =

F

 r 
 2Ak 2 +1
 ( )

 A(k2 −1)
 
B2 1
Ψ(x) = p
(x − x 2 2
0 ) + (y − yF 0 ) = 
 C− 4A
− 4A
−b
− x

 , 2k − (k 2 + 1)k = 0, k 6= 0

 F  k 

2
  
−Ax−y+2b−C+ B + 4A1 
 
p
 4A
(x − xF )2 + (y − yF )2 =

√
A2 +1
, k=0

В данном выражении xF ; yF координаты симметричного фокуса.

Пункт 6: Записать уравнение линии, симметричной данной прямой y = Ax+B

относительно параболы y = ax2 + bx + c.
Пусть нам надо описать отображение Ψ(x) : R −→ R.
Найдем точку пересечения прямой, перпендикулярной касательной и проходящую через (x1 ; Ψ(x1 )),
c исходной функцией:
Для (2ax0 + b) 6= 0:
1 x1
− x2 + Ψ(x1 ) + = Ax2 + B
2ax0 + b 2ax0 + b
7
 (2ax0 + b)Ψ(x1 ) + x1 − B(2ax0 + b)
x2 (x0 ) = =⇒
A(2ax0 + b) + 1
 
(2ax0 + b)Ψ(x1 ) + x1 − B(2ax0 + b)
=⇒ y2 (x0 ) = A +B
A(2ax0 + b) + 1
dx2 (2aΨ(x1 ) − 2aB)(A(2ax0 + b) + 1) − 2aA((2ax0 + b)Ψ(x1 ) + x1 − B(2ax0 + b))
=
dx0 (A(2x0 a + B) + 1)2
dy2 dx2
=A
dx0 dx0
Теперь найдем функцию расстояния от точки до касательной:
|x2 (x0 )(2ax0 + b) − y2 (x0 ) − (2ax0 + b)x0 + ax0 2 + bx0 + c|
d(x0 ) = p
(2ax0 + b)2 + 1

Найдем производную этой функции расстояния (в данном уравнении под x2 0 (x0 ), y2 0 (x0 )
понимаются производные соответствующих функций):
p
0 sgn(t)((x2 0 (x0 )(2ax0 + b) + 2ax2 (x0 ) − y2 0 (x0 ) − 4ax0 − b + 2x0 + b) (2ax0 + b)2 + 1
d (x0 ) = −
(2ax0 + b)2 + 1
1
1
2
((2ax0 + b)2 + 1)− 2 sgn(t)(x2 (x0 )(2ax0 + b) − y2 (x0 ) − (2ax0 + b)x0 + ax0 2 + bx0 + c)(8a2 x0 + 4ab)
− ,
(2ax0 + b)2 + 1
t = x2 (x0 )(2ax0 + b) − y2 (x0 ) − (2ax0 + b)x0 + ax0 2 + bx0 + c
Рассмотрим множество X0 = {x0 ∈ R | d0 (x0 ) = 0}, найдем такой x0 0 , что d(x0 0 ) = min E,
E = {s ∈ R | x0 ∈ X0 , d(x0 ) = s}, если ¬(∃ min E), то ¬(∃ Ψ(xi )).
Hайдем точку пересечения прямой с касательной для случая: 2(A(2ax0 0 + b) + 1)(2ax0 0 + b) −
−((2ax0 0 + b)2 + 1)(2ax0 0 + b) = 0, (2ax0 0 + b) 6= 0, как мы это делали в пункте 1:

B + (2ax0 0 + b)x0 0 − ax0 0 2 − bx0 0 − c

x3 =
2ax0 0 + b − A

Найдем симметричную прямую относительно множества касательных вида (2ax0 0 + b)x −

(2ax0 0 + b)x0 0 + ax0 0 2 + bx0 0 + c. После упрощения ответ примет вид:
A(2ax0 0 +b)(x−(2ax0 0 +b)(2ax0 0 (x−x0 0 )+bx+2c))+(2ax0 0 +b)(B(2ax0 0 +b)2 −2(ax0 0 (2x−x0 0 )+bx+c)+B)



 (2ax0 0 +b)((2ax0 0 +b−1)(2ax0 0 +b+1)−2A(2ax0 0 +b))
, 2x0 0 + b 6= 0
 


 Ψ(x3 ) = R, Ψ(R\x3 ) = ∅
 0 +b)x 0 −ax 0 2 −bx 0 −c
Ψ(x) = x3 = B+(2ax0 (2ax 0
0
0 +b)−A
0 0
,
 
(2ax0 + b)((2ax0 + b − 1)(2ax0 0 + b + 1) − 2A(2ax0 0 + b)) = 0, (2ax0 0 + b) 6= 0
0 0

 




2(−x 0 (2ax 0 + b) + ax 0 2 + bx 0 + c) − Ax − B, 2ax 0 + b = 0

0 0 0 0 0

Для симметрии второго рода:


A(2ax0 +b)(x−(2ax0 +b)(2ax0 (x−x0 )+bx+2c))+(2ax0 +b)(B(2ax0 +b)2 −2(ax0 (2x−x0 )+bx+c)+B)


 (2ax0 +b)((2ax0 +b−1)(2ax0 +b+1)−2A(2ax0 +b))
, 2x0 + b 6= 0
 
Ψ(x3 ) = R, Ψ(R\x3 )2 = ∅,




+b)x0 −ax0 −bx0 −c
Ψ(x) = x3 = B+(2ax0(2ax 0 +b)−A
,
 
(2ax0 + b)((2ax0 + b − 1)(2ax0 + b + 1) − 2A(2ax0 + b)) = 0, (2ax0 + b) 6= 0

 



2(−x (2ax + b) + ax 2 + bx + c) − Ax − B, 2ax + b = 0

0 0 0 0 0

Пункт 5: Записано уравнение линии, симметричной данной прямой y = Ax +

B относительно параболы y = x2 .
8
Пункт 5 является частным случаем пункта 6 при a = 1, b = 0, c = 0.
Для симметрии первого рода:
2Ax0 0 (x−4x0 0 2 (x−x0 0 ))+2x0 0 (2Bx0 0 2 −2x0 0 (2x−x0 0 )+B)



 2x0 0 ((4x0 0 2 −1)−4Ax0 0 )
, 2x0 0 6= 0
 (
Ψ(x3 ) = R, Ψ(R\x3 ) = ∅

Ψ(x) = 02


 x3 = B+x2x 0 −A
0
, 2x0 0 ((4x0 0 2 − 1) − 4Ax0 0 ) = 0, 2x0 0 6= 0
−2x0 0 2 − Ax − B, 2x0 0 = 0



Для симметрии второго рода:

2Ax0 (x−4x0 2 (x−x0 ))+2x0 (2Bx0 2 −2x0 (2x−x0 )+B)


(
 2x0 ((4x0 2 −1)−4Ax0 )
, 2x0 6= 0

 Ψ(x ) = R, Ψ(R\x ) = ∅
3 3
Ψ(x) = B+x 02
 x3 =

 2x0 −A
0
, 2x0 ((4x0 2 − 1) − 4Ax0 ) = 0, 2x0 6= 0

−2x 2 − Ax − B, 2x = 0
0 0

Пункт 7: Рассмотреть вопрос о возможности восстановлении исходной кри-

вой, если известна симметричная кривая и линия симметрии.
Решим вопрос для симметрии первого рода.
Рассмотрим кривую Γ, находящуюся выше параболы y = x2 . Её образом будет кривая Γ1 ,
которая находится ниже параболы, тогда: Ψ(Γ) = Γ1 . Кривая Γ1 при отображении переходит
в себя, так как любая точка плоскости, лежащая не выше параболы y = x2 , переходит в себя,
поскольку через любую такую точку можно провести касательную к параболе.
Значит, Ψ(Γ1 ) = Γ1 . В таком случае, Ψ(Γ) = Γ1 = Ψ(Γ1 ). Поэтому, в общем случае, нельзя
восстановить исходную кривую по оси и её образу.

Рассмотрим случай симметрии второго рода.

При симметрии, относительно прямой, различным точкам плоскости сопоставляются также
различные точки плоскости. Таким образом если изменить исходное множество точек, то
среди множества прямых найдется прямая
Для множества прямых это утверждение также выполняется, так как относительной
каждой прямой выполняется утверждение о биективности симметрии относительно прямой,
а значит, конечные образы различных множеств точек, также будут различны. Таким об-
разом, различным множествам точек сопоставляются также различные множества. В таком
случае, нет таких двух множеств, что их образы совпадают. Значит, восстановление возмож-
но.

Пункт 8: Рассмотреть вопрос о возможности восстановлении линии симмет-

рии, если известна симметричная кривая и исходная кривая.
При симметрии первого рода это невозможно, в качестве примера можно привести сим-
метрию прямой относительно окружности, не имеющей общих точек с прямой. В этом случае
прямая будет переходит в себя вне зависимости от того, где находится окружнось, так как
какую бы мы точку на прямой не взяли существует касательная к окружности, проходящая
через выбранную точку. Доказательством этого утверждения служит факт того, что каждая
точка плоскости обладает своей степенью относительно окружности. Также отметим, что в
частных случаях восстановлние возможно. В качестве примера можно привести симметрию
прямой относительно прямой в случае когда образ и прообраз являются параллельными пря-
мыми. В этом случае осью будет прямая вида y = kx + b1 +b
2
2
, образом и прообразом в этом
случае будут прямые: y = kx + b1 и y = kx + b2 .

9
 Рассмотрим вопрос при симметрии второго рода.
Образом фиксированного множества точек относительно различных прямых являются раз-
личные множества точек. Для множества прямых это утверждение также работает, так как,
если множества прямых будут отличатся, то отличатся будут и образы множества точек.
Значит, нет таких двух различных множеств прямых, что при симметрии относительно них
одному и тому же прообразу будет сопоставлятся один и тот же образ. Следовательно, вос-
становление возможно.
Обобщение: Выразим уравнение симметричной прямой относительно пря-
мой в трехмерном пространстве пространстве.
Пусть прямая ~l1 = ~a1 + λ1 (~b1 − ~a1 ) — ось симметрии, а ~l2 = ~a2 + λ2 (~b2 − ~a2 ) — исходная
прямая.
Построим плоскость, проходящую через ось и перпендикулярную ей, найдем её точку
пересечения с исходной прямой.
Уравнение плоскости, перпендикулярной прямой l1 , имеет вид:

(~b1 − ~a1 )(r − (~a1 + λ1 (~b1 − ~a1 ))) = 0.

Найдем точку пересечения прямой и плоскости:

(~a1 − ~b1 )(~a2 − (~a1 + λ1 (~b1 − ~a1 )))

(~b1 − ~a1 )(~a2 + λ2 (~b2 − ~a2 ) − (~a1 + λ1 (~b1 − ~a1 ))) = 0 =⇒ λ2 =
(~a1 − ~b1 )(~b2 − ~a2 )

~ ~
~l2 = ~a2 + (~a1 − b1 )(~a2 − (~a1 + λ1 (b1 − ~a1 ))) (~b2 − ~a2 )
(~a1 − ~b1 )(~b2 − ~a2 )
Так как прямая l1 является серединным перпендикуляром к отрезку соединяющему исходную
и симметричную точки имеем:
~l2 + ~l (~a1 − ~b1 )(~a2 − (~a1 + λ1 (~b1 − ~a1 ))) ~
= ~l1 =⇒ ~l = 2~l1 −~l2 =⇒ ~l = 2(~a1 +λ1 (~b1 −~a1 ))−(~a2 + (b2 −~a2 ))
2 (~a1 − ~b1 )(~b2 − ~a2 )

Рассмотрим случай когда (~a1 − ~b1 )(~b2 − ~a2 ) = 0:

(~a1 − ~b1 )(~a2 − ~a1 )

(~b1 − ~a1 )(~a2 + λ2 (~b2 − ~a2 ) − (~a1 + λ1 (~b1 − ~a1 ))) = 0 =⇒ λ1 =
(~b1 − ~a1 )(~b1 − ~a1 )

(~a1 − ~b1 )(~a2 − ~a1 ) ~

~r = ~a1 + (b1 − ~a1 )
(~b1 − ~a1 )(~b1 − ~a1 )
В данном случае симметричная прямая будет иметь вид:
~l = ~a2 + 2(~r − ~a2 ) + λ2 (~b2 − ~a2 )

Так как в данном случае вектор ~r — вектор описывает точку прямой ~l1 , через которую про-
ходит перпендикулярная l1 плоскость, в которой лежит прямая l2 , имеем:
~
~l = ~a2 + 2(~a1 − ~a2 + (~a1 − b1 )(~a2 − ~a1 ) (~b1 − ~a1 )) + λ2 (~b2 − ~a2 )
(~b1 − ~a1 )(~b1 − ~a1 )

2(~a1 + λ1 (~b1 − ~a1 )) − (~a2 + (~a1 −~b1 )(~a2 −(~a1 +λ1 (~b1 −~a1 ))) ~
(~a1 −~b1 )(~b2 −~a2 )
(b2 − ~a2 )), (~a1 − ~b1 )(~b2 − ~a2 ) 6= 0
ξ(~l1 ) = (~a1 −~b1 )(~a2 −~a1 ) ~
~a2 + 2(~a1 − ~a2 + (b − ~a1 )) + λ2 (~b2 − ~a2 ), (~a1 − ~b1 )(~b2 − ~a2 ) = 0
(~b1 −~a1 )(~b1 −~a1 ) 1

10
 Обобщение: Выразим уравнение симметричной прямой относительно пря-
мой в n-мерном пространстве пространстве.
Задание симметричной прямой в n-мерном пространстве невозможно, т.к n-мерное про-
странство включает в себя бесконечное количество трехмерных пространств. Следует, что
при задании прямой в одном из пространств мы не сможем определить относительно какого
объекта будет располагаться симметричная исходной прямой прямая.

11