ابتدا یه لمی رو اثبات می کنم:
اگر ABC یک مثلث قائم الزاویه باشه در راس A و O وسط BC باشه و P یک نقطه ی دلخواه روی BA باشه و M یک نقطه ی دلخواه روی صفحه باشه در اون صورت تعریف کنید :
قرینه ی C نسبت به M رو D و قرینه ی A رو نسبت به M هم S بنامید. قرینه ی P نسبت به وسط OD رو K بنامید. از طرفی وسط SD رو L و وسط OD رو Q بنامید. ثابت کنید K روی عمودمنصف SD هست.
هر چند این لم اثباتی هم بدون مختصات دارد ولی من با مختصات حلش می کنم.
مثلث ABC روی روی صفحه ی مختصات به گونه ای قرار دهید که A مبدا مختصات باشد و B روی قسمت مثبت محور y و C روی قسمت مثبت محور x قرار گیرد.
مختصات نقاط را بدین گونه تعریف کنید:
حالا تک تک مختصات نقاط دیگه رو بر حسب همین b,c,x,z,y می شه بدست آورد :
حال بدیهیست که SD موازی محور x هاست. پس عمود منصف آن خطی است با معادله
و بنابراین کافیست که ثابت شود طول نقطه ی K همین مقدار است.
اما به راحتی بدست می آوریم:
و بدین ترتیب نقطه ی K روی عمود منصف مورد نظر قرار دارد. همانطور که خواست مسئله بود.
حالا کاربرد این لم اینه که در مسئله ی اصلی فرض کنید که وسط BC اسمش M هست و قرینه ی A نسبت به O (
یعنی مرکز دایره ی محیطی) اسمش D هست. از طرفی هم نقطه ی برخورد AP با دایره ی محیطی هم 'A هست. در اون صورت چون AA'D مثلث قائم الزاویه هست اگر لم مسئله رو در نظر بگیریم نتیجه می گیریم که قرینه ی P نسبت به وسط OH یعنی مرکز دایره نه نقطه بر روی عمود منصف ''HA هست که در آن ''A قرینه ی 'A نسبت به M هست. حالا اگر همین موضوع رو برای BP و CP در نظر بگیرید قضیه حله!!
پس قرینه ی P نسبت به مرکز دایره ی نه نقطه میشه مرکز دایره ی ''HA''B''C !!!
حالا خواهشا می شه جواب سوالی روکه کردم بدی ؟
نسبت انعکاس چنده و روی کدوم مثلث و کدوم قاطع قراره منلائوس زده بشه ؟