הוכחת תכונות במעגל באמצעות משוואת המעגל