اثبات منطقی یک رویکرد پرداختن به مسائل ریاضی و هندسه است و موجبات تشکیل یک بنای ریاضی قابل اعتماد و مستند را با اصول و تعاریف و قضایای مشخص ایجاد می­کند.

اما نکته در اینجاست که وظیفه ما ساخت این بنا نیست. یادگیری این بنا است. در یادگیری ممکن است لزوماً محفوظات در کار نباشند. ممکن است در جایی نیاز به تجریه کردن داشته باشیم و ممکن است لازم باشد روی یک مسئله با اینکه می­دانیم و اثبات منطقی کرده­ایم که درست است ساعت­ها از روی کنجکاوی به بررسی و تحقیق بپردازیم. آنان که به علم هندسه ارادت دارند، بی شک در خاطرات خود از حل مسئله­ای زیبا و یا یافتن پاسخ بعد از کوششی فراوان در شرایطی که انتظارش را ندارند سخن می­گویند. و این اتفاق آنها را به در مورد این رشته علمی از خود بی خود کرد. و این گونه ادراکات زمانی اتفاق می­افتد که زمینه ایجاد آن را در بستری امن فراهم آوریم.

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