直径定义为两条共线的半径,那么命题等价于：圆中最大弦必过圆心.
用反证法：假定圆中有不过圆心O的最大弦AB
那么OAB就构成一个三角形,于是OA+OB>AB（三角形两边之和大于第三边）,但根据圆的定义,OA=OB=R（定长）,所以OA+OB=2R=d(直径长),即得d>AB.然而按定义,直径是圆的弦,这就与弦AB的最大性相矛盾,故假设不成立.
直径定义为两条共线的半径,那么命题等价于：圆中最大弦必过圆心.
用反证法：假定圆中有不过圆心O的最大弦AB
那么OAB就构成一个三角形,于是OA+OB>AB（三角形两边之和大于第三边）,但根据圆的定义,OA=OB=R（定长）,所以OA+OB=2R=d(直径长),即得d>AB.然而按定义,直径是圆的弦,这就与弦AB的最大性相矛盾,故假设不成立.