問題文
問 凸四角形$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$以外の点を用いずに示せ。
解答形式
必要十分条件を求め、証明を記述してください。
