مثال نقض یکی از روشهای استدلال در هندسه است. در این برنامه همزمان به این سوال پاسخ میدهیم که آیا عمود منصفهای هر مثلث همدیگر را در داخل مثلث قطع میکنند؟ همان طور که میدانید عمود منصف خطی است که یک ضلع مثلث را نصف میکند و بر آن عمود است. با توجه به این توضیحات میرویم جواب سوال را بدست بیاوریم.