任意図形の相似は各点の距離の比が保存される相似対応の存在でいいだろ
円で言えば2円の共通接線の交点を共通頂点として円周上の点で3角形を作って相似を証明すれば良い