فرض کنید این دایره در M بر دایره محیطی ABC مماس باشد. طبق مساله ی 10 صفحه ی 90 کتاب هندسه ی خوشخوان MP و MQ از وسط کمانهای AB و AC میگذرد.
پس طبق قضیه ی پاسکال Q,P,I همخطند و I محل برخورد نیمساز A با PQ میباشد و چون AP=AQ پس I وسط PQ است.
البته اثبات مقدماتی تر برای این که P,Q,I همخطند...