問 凸四角形$ABCD$が$AB+CD=BC+DA$を満たしている。次の4つの円の中心を$W,X,Y,Z$とする。
・線分$AB$と、線分$DA,CB$の$A,B$方向での延長線に接する円。
・線分$BC$と、線分$AB,DC$の$B,C$方向での延長線に接する円。
・線分$CD$と、線分$BC,AD$の$C,D$方向での延長線に接する円。
・線分$DA$と、線分$BA,CD$の$D,A$方向での延長線に接する円。
$WX=YZ$になるための四角形$ABCD$の必要十分条件を$A,B,C,D$以外の点を用いずに示せ。
必要十分条件を求め、証明を記述してください。
$P,Q$を中心とする2円は2点で交わったので、その交点を$X,Y$とする。線分$PQ$とその2円が2点で交わるので、その交点を$A,B$とすると、$P,A,B,Q$がこの順に並んだ。
ここで、$PX=5$。$PQ=13$。$BY⊥XQ$のとき、$AB$の長さを求めよ。
求めた解を$x$とすると、$x^2$は
非負整数$a,b,c$を用いて($c≠0$)既約分数の形で、$\frac{±a±\sqrt{b}}{c}$と表せる(分母が1ならc=1とせよ)ので(複号自由)、$a+b+c$を半角の正整数値で入力してください。(解答に用いる値が2乗であることに注意すること。)