A := 0; B := 2; C := 1 + (3^(1/2))*I; E := 1 + tan(Pi/6)*I;

NiM+SSJBRzYiIiIh

NiM+SSJCRzYiIiIj

NiM+SSJDRzYiLCYiIiJGJyomXiNGJ0YnIiIkI0YnIiIjRic=

NiM+SSJFRzYiLCYiIiJGJyomXiMjRiciIiRGJ0YrI0YnIiIjRic=

x1:= solve (2*(3+d^2)=(3+d)^2,d)[1]; x2:= solve (2*(3+d^2)=(3+d)^2,d)[2];

NiM+SSN4MUc2IiwmIiIkIiIiKiRGJyNGKCIiI0Yr

NiM+SSN4Mkc2IiwmIiIkIiIiKiRGJyNGKCIiIyEiIw==

with(geometry): draw([circ(cA,pA,A,1),circ(cB,pB,B,1),circ(cC,pC,C,1),circ(cE,pE,E,1/x1),circ(cE2,pE2,E,1/abs(x2))]);

LSUlUExPVEc2Jy0lJ0NVUlZFU0c2KTdVNyQkIiIiIiIhJEYsRiw3JCQiKzhxOUAqKiEjNSQiK09CTGA3RjE3JCQiKzY7JGVvKkYxJCIrdCkpKm9bI0YxNyQkIitmW3coSCpGMSQiK0ZiQyJvJEYxNyQkIisrbzFqKClGMSQiK1RuYDxbRjE3JCQiK1YqcCw0KUYxJCIrQ0QmeShlRjE3JCQiK3RpbypHKEYxJCIrZzVaWG9GMTckJCIrJyopUlVQJ0YxJCIrSEM4MHhGMTckJCIrXnpFZWBGMSQiK2EjektXKUYxNyQkIis9SHpkVUYxJCIrQjBGWyEqRjE3JCQiK1EqcCw0JEYxJCIrbF5jNSYqRjE3JCQiK1VKIlEoPUYxJCIrM0QoRyMpKkYxNyQkIitEPjB6aSEjNiQiKyVHbi0pKipGMTckJCErbT4wemlGY29GZG83JCQhK1lKIlEoPUYxJCIrMkQoRyMpKkYxNyQkIStVKnAsNCRGMSQiK2peYzUmKkYxNyQkISs4SHpkVUYxJCIrRTBGWyEqRjE3JCQhK1l6RWVgRjEkIitkI3pLVylGMTckJCErJCopUlVQJ0YxJCIrSkM4MHhGMTckJCErJEcnbypHKEYxJCIrXTVaWG9GMTckJCErXSpwLDQpRjEkIis5RCZ5KGVGMTckJCErMG8xaigpRjEkIitLbmA8W0YxNyQkIStpW3coSCpGMSQiKz5iQyJvJEYxNyQkISs4OyRlbypGMSQiK2wpKSpvWyNGMTckJCErOXE5QCoqRjEkIitJQkxgN0YxNyQkISIiRiwkISs6dzEtVCEjPjckJCErOHE5QCoqRjEkIStRQkxgN0YxNyQkISs2OyRlbypGMSQhK3QpKSpvWyNGMTckJCErZlt3KEgqRjEkIStGYkMibyRGMTckJCErLG8xaigpRjEkIStTbmA8W0YxNyQkIStZKnAsNClGMSQhKz9EJnkoZUYxNyQkISt4aW8qRyhGMSQhK2M1WlhvRjE3JCQhKygpKVJVUCdGMSQhK1BDODB4RjE3JCQhK1J6RWVgRjEkIStpI3pLVylGMTckJCErMUh6ZFVGMSQhK0gwRlshKkYxNyQkIStNKnAsNCRGMSQhK21eYzUmKkYxNyQkIStRSiJRKD1GMSQhKzREKEcjKSpGMTckJCErJSk9MHppRmNvJCErJkduLSkqKkYxNyQkIisyPzB6aUZjbyQhKyVHbi0pKipGMTckJCIrXUoiUSg9RjEkISsyRChHIykqRjE3JCQiK1kqcCw0JEYxJCEraV5jNSYqRjE3JCQiKzxIemRVRjEkIStDMEZbISpGMTckJCIrXXpFZWBGMSQhK2IjektXKUYxNyRGTiQhK0hDODB4RjE3JCQiKydHJ28qRyhGMSQhK1o1WlhvRjE3JCQiK2AqcCw0KUYxJCErNUQmeShlRjE3JCQiKzJvMWooKUYxJCErSG5gPFtGMTckJCIralt3KEgqRjEkISs6YkMibyRGMTckJCIrOTskZW8qRjEkIStoKSkqb1sjRjE3JCQiKzlxOUAqKkYxJCErRUJMYDdGMTckRiokIitJXzgvIylGZXM3VTckJCIiJEYsRi03JCQiKyxaNiMqSCEiKkYyNyQkIitoSmVvSEZmW2xGNzckJCIrJ1t3KEhIRmZbbEY8NyQkIishbzFqKEdGZltsRkE3JCQiKyUqcCw0R0ZmW2xGRjckJCIrRidvKkdGRmZbbEZLNyQkIishKlJVUEVGZltsRlA3JCQiKyZ6RWVgI0ZmW2xGVTckJCIrI0h6ZFUjRmZbbEZaNyQkIislKnAsNEJGZltsRmluNyQkIis5OFEoPSNGZltsRl5vNyQkIis+MHppP0ZmW2xGZG83JCQiKyFbNHMkPkZmW2xGZG83JCQiKyZvPUUiPUZmW2xGXHA3JCQiKzFJKTRwIkZmW2xGYXA3JCQiKzQyQXU6RmZbbEZmcDckJCIrMEs8azlGZltsRltxNyQkIis2Z2RpOEZmW2xGYHE3JCQiK3M4LnI3RmZbbEZlcTckJCIrMEkpND4iRmZbbEZqcTckJCIrP0xwQjZGZltsRl9yNyQkIis5TkFxNUZmW2xGZHI3JCQiK1JvVEo1RmZbbEZpcjckJCIrKkgmKXkrIkZmW2xGXnM3JEYqRmNzNyRGal9sRmlzNyRGZ19sRl50NyRGZF9sRmN0NyRGYV9sRmh0NyRGXl9sRl11NyRGW19sRmJ1NyRGaF5sRmd1NyQkIisxSzxrOUZmW2xGXHY3JEZiXmxGYXY3JCQiKzJJKTRwIkZmW2xGZnY3JCQiKydvPUUiPUZmW2xGW3c3JCQiKyJbNHMkPkZmW2xGYHc3JCQiKz8wemk/RmZbbEZldzckJCIrOjhRKD0jRmZbbEZqdzckJCIrJipwLDRCRmZbbEZfeDckRl1dbEZkeDckRmpcbEZpeDckRmdcbEZceTckJCIrSCdvKkdGRmZbbEZheTckJCIrJipwLDRHRmZbbEZmeTckJCIrIm8xaihHRmZbbEZbejckRltcbEZgejckRmhbbEZlejckRmRbbEZqejckRmFbbEZdW2w3VTckJCIiI0YsJCIrMzMwSzxGZltsNyQkIissWjYjKj5GZltsJCIrVVNRZD1GZltsNyQkIitoSmVvPkZmW2wkIismcFMyKT5GZltsNyQkIisnW3coSD5GZltsJCIraGA8K0BGZltsNyQkIishbzFqKD1GZltsJCIrI1svUUAjRmZbbDckJCIrJSpwLDQ9RmZbbCQiK2dnJCk+QkZmW2w3JCQiK0YnbypHPEZmW2wkIis5emY7Q0ZmW2w3JCQiKyEqUlVQO0ZmW2wkIiteU2MtREZmW2w3JCQiKyZ6RWVgIkZmW2wkIitMKHlqZCNGZltsNyQkIisjSHpkVSJGZltsJCIrZ3kob2ojRmZbbDckJCIrJSpwLDQ4RmZbbCQiK0N0NSRvI0ZmW2w3JCQiKzk4USg9IkZmW2wkIitmIVFWciNGZltsNyQkIis+MHppNUZmW2wkIitPdjJJRkZmW2w3JCQiKy5bNHMkKkYxRmpmbDckJCIrYW89RSIpRjFGZWZsNyQkIitlKyQpNHBGMUZgZmw3JCQiKygzMkF1JkYxJCIraHkob2ojRmZbbDckJCIrYT90VFlGMSQiK00oeWpkI0ZmW2w3JCQiKzIsd0RPRjFGYWVsNyQkIis8UEo1RkYxJCIrOHpmO0NGZltsNyQkIitdKyQpND5GMSQiK2ZnJCk+QkZmW2w3JCQiKyY+THBCIkYxJCIrIlsvUUAjRmZbbDckJCIqUV5CLShGMSQiK2dgPCtARmZbbDckJCIqKFFvVEpGMSQiKyVwUzIpPkZmW2w3JCQiKScpSCYpeUYxJCIrVFNRZD1GZltsNyRGLUZeY2w3JCQiKSgpSCYpeUYxJCIrdXZyMTtGZltsNyQkIioqUW9USkYxJCIrQDRPJFsiRmZbbDckJCIqVF5CLShGMSQiK2JpI1JPIkZmW2w3JCQiKyo+THBCIkYxJCIrTXJIXTdGZltsNyQkIithKyQpND5GMSQiK2NiRVc2RmZbbDckJCIrQlBKNUZGMSQiKy1QXVo1RmZbbDckJCIrOCx3RE9GMSQiK1ZjUDonKkYxNyQkIitoP3RUWUYxJCIrPSlHcygpKUYxNyQkIislNDJBdSZGMSQiK152QnMjKUYxNyQkIittKyQpNHBGMSQiKzlIJSo0eUYxNyQkIitpbz1FIilGMSQiK3JiaihcKEYxNyQkIis3WzRzJCpGMSQiKyZ6Uy1NKEYxNyQkIis/MHppNUZmW2wkIisnelMtTShGMTckJCIrOjhRKD0iRmZbbCQiK3RiaihcKEYxNyQkIismKnAsNDhGZltsJCIrPUglKjR5RjE3JEZpZWwkIitjdkJzIylGMTckRmRlbCQiK0QpR3MoKSlGMTckRl9lbCQiK15jUDonKkYxNyQkIitIJ28qRzxGZltsJCIrLlBdWjVGZltsNyQkIismKnAsND1GZltsJCIrZGJFVzZGZltsNyQkIisibzFqKD1GZltsJCIrTnJIXTdGZltsNyRGW2RsJCIrY2kjUk8iRmZbbDckRmZjbCQiK0E0TyRbIkZmW2w3JEZhY2wkIit2dnIxO0ZmW2w3JEZcY2wkIis0MzBLPEZmW2w3VTckJCIrUTBxYTZGZltsJCIrJHAtTngmRjE3JCQiK3kxW2A2RmZbbCQiKyEpUVJuZkYxNyQkIitPLiUpXDZGZltsJCIrKUdGI2VoRjE3JCQiK0JwJFE5IkZmW2wkIitlTCpITSdGMTckJCIrOl5jTjZGZltsJCIrQCN5KD1sRjE3JCQiK2xgOkQ2RmZbbCQiK1YnNEdvJ0YxNyQkIitSPXg3NkZmW2wkIitfMl1Lb0YxNyQkIitNKTQnKTQiRmZbbCQiK0czXGxwRjE3JCQiKyVwIypHMyJGZltsJCIrUkRvenFGMTckJCIrJ0dvZTEiRmZbbCQiKzldRnRyRjE3JCQiKyY0MHkvIkZmW2wkIitYQXpXc0YxNyQkIishKnopKkc1RmZbbCQiK2ZqNSRIKEYxNyQkIitGUHI0NUZmW2wkIis6YVg8dEYxNyQkIitHRidHISoqRjFGYGVtNyQkIispND8scipGMSQiK2VqNSRIKEYxNyQkIitZIVw+XypGMSQiK1dBeldzRjE3JCQiK1dySlQkKkYxJCIrOl1GdHJGMTckJCIra0kyciIqRjEkIitTRG96cUYxNyQkIitkOyFSLCpGMSQiK0gzXGxwRjE3JCQiKzI7R3MpKUYxJCIrXTJdS29GMTckJCIrYGpXWygpRjEkIitVJzRHbydGMTckJCIrWilbVmspRjEkIis+I3koPWxGMTckJCIrcTJqaCYpRjEkIitkTCpITSdGMTckJCIrTm1mLCYpRjEkIisnR0YjZWhGMTckJCIrOks+bCUpRjEkIit6UVJuZkYxNyQkIis7WSpIWClGMSQiKyNwLU54JkYxNyQkIis7Sz5sJSlGMSQiKzE6aHpiRjE3JEZjaG0kIispNHkoKVEmRjE3JEZeaG0kIitHPywvX0YxNyQkIitbKVtWaylGMSQiK21yQUddRjE3JCQiK2FqV1soKUYxJCIrV2Q+a1tGMTckJCIrMztHcykpRjEkIitOWV05WkYxNyQkIitlOyFSLCpGMSQiK2RYXiJlJUYxNyQkIitsSTJyIipGMSQiK1hHS25XRjE3JCQiK1hySlQkKkYxJCIrci50dFZGMTckJCIrWyFcPl8qRjEkIitUSkAtVkYxNyQkIisqND8scipGMSQiK0YhKipRRCVGMTckJCIrSEYnRyEqKkYxJCIrcipcJkhVRjE3JEZeZW1GZ1xuNyRGaWRtJCIrRyEqKlFEJUYxNyRGZGRtJCIrVUpALVZGMTckRl9kbUZoW243JEZqY20kIitZR0tuV0YxNyRGZWNtJCIrZVheImUlRjE3JEZgY20kIitPWV05WkYxNyRGW2NtJCIrWGQ+a1tGMTckRmZibSQiK25yQUddRjE3JEZhYm0kIitJPywvX0YxNyQkIitQLiUpXDZGZltsJCIrKyJ5KClRJkYxNyRGZ2FtJCIrMjpoemJGMTckRmJhbSQiKyVwLU54JkYxN1U3JCQiK00wcWFKRmZbbEZkYW03JCQiK3grclBKRmZbbCQiK1omZVNaKUYxNyQkIithbSsoMyRGZltsJCIrLUQ/ODZGZltsNyQkIisiKikqUS5JRmZbbCQiK1MlWzBQIkZmW2w3JCQiK3IleSIpKUdGZltsJCIrb15ROjtGZltsNyQkIitdJCo9VkZGZltsJCIrbTkmUSU9RmZbbDckJCIrIjQ0MmQjRmZbbCQiKyVHV0IwI0ZmW2w3JCQiKzZ5WHRCRmZbbCQiK2xiZFBBRmZbbDckJCIrI0dZWDojRmZbbCQiKyxUaSdSI0ZmW2w3JCQiK25vVTw+RmZbbCQiKy07KXBfI0ZmW2w3JCQiKyMzUmVtIkZmW2wkIitgQWZFRUZmW2w3JCQiKz0xdi45RmZbbCQiK0xeKVFwI0ZmW2w3JCQiK2xaSE42RmZbbCQiKyUqKil6RkZGZltsNyQkIitRQjBaJylGMUZcY243JCQiKzlRXGlmRjFGZ2JuNyQkIit3IjQ7TSRGMUZiYm43JCQiKlA4dEQpRjFGXWJuNyQkISohR1lYOkZmW2xGaGFuNyQkISo1eVh0JEZmW2xGY2FuNyQkISokNDQyZEZmW2wkIisjR1dCMCNGZltsNyQkISpeJCo9VihGZltsJCIrazkmUSU9RmZbbDckJCEqcyV5IikpKUZmW2wkIittXlE6O0ZmW2w3JCQhKyIqKSpRLjVGZltsJCIrUSVbMFAiRmZbbDckJCErYm0rKDMiRmZbbCQiKytEPzg2RmZbbDckJCEreCtyUDZGZltsJCIrTSZlU1opRjE3JCQhK00wcWE2RmZbbCQiKyVvLU54JkYxNyRGamVuJCIrTm8lSDIkRjE3JCQhK2FtKygzIkZmW2wkIipqLilcVEYxNyRGYGVuJCErNSF6JWVARjE3JEZbZW4kISsoSFlvZyVGMTckJCEqXSQqPVYoRmZbbCQhK24jNDoqb0YxNyQkISoiNDQyZEZmW2wkIStadVZ3KilGMTckJCEqNHlYdCRGZltsJCErSF0oRzMiRmZbbDckJCEqemlhYSJGZltsJCEra04jPkMiRmZbbDckJCIqXzh0RClGMSQhK2w1R3M4RmZbbDckJCIrJD40O00kRjEkISs6PCo9WiJGZltsNyQkIitKUVxpZkYxJCErJmYlPVI6RmZbbDckJCIrYkIwWicpRjEkIStjJSk0dDpGZltsNyQkIituWkhONkZmW2xGZ2luNyQkIis/MXYuOUZmW2xGYmluNyQkIiskM1JlbSJGZltsJCErOTwqPVoiRmZbbDckRltibiQhK2s1R3M4RmZbbDckJCIrIkdZWDojRmZbbCQhK2pOIz5DIkZmW2w3JEZhYW4kIStGXShHMyJGZltsNyQkIiskNDQyZCNGZltsJCErRnVWdyopRjE3JCQiK18kKj1WRkZmW2wkIStaIzQ6Km9GMTckJCIrdCV5IikpR0ZmW2wkIStuaSVvZyVGMTckJCIrIyopKlEuSUZmW2wkISslKSp5JWVARjE3JCQiK2JtKygzJEZmW2wkIioqUSEpXFRGMTckRmNfbiQiK2hvJUgyJEYxNyRGYF9uJCIrNkZddGRGMS0lJkNPTE9SRzYyJSRSR0JHJCIjNUZicyRGLEZic0ZkXW9GYl1vRmRdb0ZkXW9GYl1vRmRdb0ZkXW9GYl1vRmRdb0ZkXW9GYl1vRmRdb0ZkXW8tJSZTVFlMRUc2IyUlTElORUctJSpBWEVTU1RZTEVHNiMlJEJPWEctJSVWSUVXRzYkO0ZfZm4kIjIvKytTYCtaOiQhIzs7JCEyLSsrXUVddGQiRmNebyQiMi8rKyEzMzBLRkZjXm8tJShTQ0FMSU5HRzYjJSxDT05TVFJBSU5FREctJSVGT05URzYkJSpIRUxWRVRJQ0FHRmNdbw==

circ := (cname,pname,z,r) -> circle(cname,[c2p(pname,z),r]): c2p := (name,z) -> point(name,Re(z),Im(z)):

simplify(2*(A^2+ B^2+ C^2+ (E/x)^2) - (A+B+C+E/x)^2);

NiMiIiE=