Cho tam giác ABC nội tiếp trong đường tròn tâm O sao cho không góc nào của ABC lớn hơn 90°. AD là đường cao của tam giác ABC. G là trọng tâm của tam giác ABC GD kéo dài cắt đường tròn O tại F sao cho D nằm giữa G và F

Để chứng minh JB vuông góc với AB, ta sẽ chứng minh rằng AB là tiếp tuyến của đường tròn ngoại tiếp tam giác BFD tại điểm J.

Gọi M là giao điểm của AB và O, ta sẽ chứng minh rằng J, M, F thẳng hàng.

Ta có:
$\angle FGD = \angle FJD = 90^\circ$ (do FJ là đường cao của tam giác BFD)
$\angle GFD = \angle GJD$ (cùng chắn cung GF trên đường tròn O)
$\angle GDF = \angle GJF$ (cùng chắn cung GD trên đường tròn O)

Do đó, tam giác GDF và tam giác GJF đồng dạng, từ đó suy ra $\angle GDF = \angle GJF$.

Vậy ta có $\angle FJD = \angle GDF = \angle GJF$, tức là J, M, F thẳng hàng.

Do đó, AB là tiếp tuyến của đường tròn ngoại tiếp tam giác BFD tại điểm J.

Vậy ta có JB vuông góc với AB.