18/07/14 00:26:55.07 fIrZynJm.net
>>951
題意より
z_k = a + b exp(i･t_k), b>0，0≦t_k<2π
とおける。
z_j - z_k = b {exp(i･t_j) - exp(i･t_k)}
= b exp(i(t_j+t_k)/2) {exp(i(t_j-t_k)/2) - exp(i(t_k-t_j)/2)}
= 2i b exp(i(t_j+t_k)/2) sin((t_j-t_k)/2),
ゆえに
r = sin((t_1-t_3)/2)sin((t_2-t_4)/2)/{sin((t_2-t_3)/2)sin((t_1-t_4)/2)},
0でない実数 >>952