まず、OA=OB=1 であり、AB=1 だから、△OAB は一辺1の正三角形である。したがって外接円の半径は 1/3 である。
(2)(ア) ℓθ 上の点を (tcosθ,tsinθ) (t≧0) とおく。直線 AB は x=3/2 なので、ℓθ との交点は (3/2,(3/2)tanθ) である。0≦θ≦π/6 では 0≦(3/2)tanθ≦1/2 だから、この交点は線分 AB 上にある。任意の点 P について AP+PB≧AB であり、線分 AB 上では等号が成り立つ。この半直線と線分の交点は一つなので、これが Pθ である。
(2)(イ) A′=(−3/2,1/2) を A の y 軸対称点とする。y 軸上の点 P について PA=PA′ だから、AP+PB=PA′+PB≧A′B。線分 A′B は原点を通り、y 軸との交点は原点だけである。よって等号となるのは P=O のときで、Pπ/2=(0,0)。
(3) 点 A は単位円上で偏角 π/6 をもつ。偏角 θ の直線に関する対称移動では偏角 φ は 2θ−φ となるから、Aθ=(cos(2θ−π/6),sin(2θ−π/6))。
(4) 点 P が半直線 ℓθ 上にあるなら反射の性質から PA=PAθ である。したがって AP+PB=AθP+PB は、P が線分 AθB 上にあるとき最小となる。Aθ,B は単位円上で偏角 2θ−π/6,−π/6 をもつ。この弦の直線は、法線方向の偏角が θ−π/6、原点からの距離が cosθ なので、方程式は xcos(θ−π/6)+ysin(θ−π/6)=cosθ である。これと (x,y)=r(cosθ,sinθ) の交点では rcos(π/6)=cosθ、すなわち r=2cosθ/3>0。また det((cosθ,sinθ),Aθ)=sin(θ−π/6)>0、det((cosθ,sinθ),B)=−sin(θ+π/6)<0 なので、この交点は線分 AθB 上にある。よってそれが Pθ である。
弦 AθB の方向角は、端点の偏角の平均に π/2 を加えた θ+π/3(直線の方向角として)である。したがって PθAθ の方向角は θ+π/3、PθB はその反対向きである。PθA は PθAθ を ℓθ に関して反射したものなので、方向角は θ−π/3。これと PθB の方向角 θ−2π/3 との差は π/3 であり、∠APθB=π/3。
(5) ∣θ∣≦π/6 では Pθ は線分 AB を動く。(4)の交点計算から、π/6≦θ≦π/2 では Pθ=(32cos2θ,32sinθcosθ) である。よって x2+y2=2x/3、すなわち (x−1/3)2+y2=1/3。負の θ では対称な下側の弧を描く。したがって求める領域は、中心 C=(1/3,0)、半径 1/3 の円から、弦 AB による小さい弓形を除いた部分である。弦 AB に対する中心角は 2π/3 なので、小さい弓形の面積は 31⋅3π−21⋅1⋅231=9π−123。円全体の面積は π/3 だから、求める面積は 3π−(9π−123)=92π+123。