باید ثابت کنیم PAB=ACB یعنی AP بر دایره محیطی ABC مماس است.
حال فرض میکنیم Q محل برخورد مماس در A با BC باشد.حال باید ثابت کنیمQ,M,D روی یک خطند.
محل برخورد AB و CD را E مینامیم.حال در مثلث EBC منلائوس مینویسیم.
باید ثابت کنیم: EM/MB)*(BP/PC)*(CD/DE)=1)
داریم BP/PC=(AB/AC)^2
حال با استفاده از قضیه ی سینوس ها و کمی محاسبات مساله اثبات میشود.