>>517
円に内接する四角形ABCDで
AB・CD+BC・AD=AC・BD
が成り立つ。だったかな。