20/03/05 08:34:31.13 y1DklE5e.net
>>292
半直線OABを実軸とする複素平面上で考える。
O(0)
A(a) 0<a<1,
B(1/a)
P(e^(ip))
Q(e^(iq))
0 < p < q < 2π, 0 < q-p < π,
D(e^(ip) + e^(iq) - a･e^i(p+q))
とおくと
PD = e^(i(p+q)){e^(-ip) -a} = e^(i(p+q))AP~,
QD = e^(i(p+q)){e^(-iq) -a} = e^(i(p+q))AQ~,
|PD| = |AP|
|QD| = |AQ|
∴ Dは直線PQに関してAと線対称である。
OQ/OB = a･e^(iq) = PD/PB,
ゆえ相似だろうな。。。