Gọi \(CD\) là dây bất kì đi qua \(I\) và \(CD\) không vuông góc với \(OI.\)
Kẻ \(OK ⊥ CD\)
Tam giác \(OKI\) vuông tại \(K\) nên \(OI > OK\)
Suy ra: \(AB < CD\) ( dây lớn hơn gần tâm hơn)
Vậy dây \(AB\) vuông góc với \(IO\) tại \(I\) ngắn hơn mọi dây khác đi qua \(I.\)