假设 ABCABCABC 是 great 的。设 DDD 为 ∠BAC\angle BAC∠BAC 的平分线与 BCBCBC 的交点,PPP、QQQ 分别为由 DDD 向 ABABAB、ACACAC 所作垂线的垂足。由于 ADADAD 平分 ∠A\angle A∠A,点 PPP 与 QQQ 分别在射线 ABABAB、ACACAC 上,并关于直线 ADADAD 互为对称,因此 PQPQPQ 垂直于 ADADAD。设 D′D'D′ 为 DDD 关于直线 PQPQPQ 的对称点;由 great 的条件,D′D'D′ 落在三角形 ABCABCABC 的外接圆上。