四角形ABCDが円に外接する
⇔AB+CD=BC+AD
は常識ですか?