反证法
假设直径AB不是⊙O中最长的弦,一定存在弦CD>AB.
连结CO、DO,则CO+DO=AB,
∵CO+DO>CD,（三角形中 两边之和大于第三边)
∴AB>CD.
这与假设CD>AB矛盾,
∴AB是⊙O中最长的弦.