>>467
A(0,0)
B(z,0)
P(x,y)
として
C(z*tan(B)/(tan(A)+tan(B)),z*tan(A)*tan(B)/(tan(A)+tan(B))

次の連立方程式を解けばよいけど、どうやって計算量を減らすかだな。

x^2+y^2=a^2
(x-z)^2+y^2=b^2
(x-z*tan(B)/(tan(A)+tan(B)))^2+(y-z*tan(A)*tan(B)/(tan(A)+tan(B)))^2=c^2