>>560
BCDを通る円を考える
もしこの円がAを通るなら∠BAD=90°となるはずである