A = (2, 2)
B: (12.39, 2)
f = Segment(A, B)
B' = Rotate(B, 30°, A)
α = Angle(B, A, B')
g = Ray(A, B')
c = Circle(B, 6)
C, D = Intersect(c, g)
k1, c_1, a, b = Polygon(A, B, C)
k2, d, a_1, b_1 = Polygon(A, B, D)
piirto1: PolyLine[(6.4775E0,4.4965E0), (6.5921E0,4.4700E0), (6.6715E0,4.4259E0), (6.7421E0,4.4083E0), (6.8568E0,4.3642E0), (6.9891E0,4.3465E0), (7.1126E0,4.3024E0), (7.5713E0,4.3024E0), (7.7742E0,4.3112E0), (7.8977E0,4.3289E0), (7.9771E0,4.3730E0), (8.0477E0,4.4083E0), (8.1359E0,4.4259E0), (8.1888E0,4.4612E0), (�,�), (7.1832E0,3.7908E0), (7.1126E0,3.7379E0), (7.0773E0,3.6673E0), (6.7774E0,3.3144E0), (6.6539E0,3.1204E0), (6.5833E0,3.0145E0), (6.6010E0,3.1027E0), (�,�), (7.1832E0,3.8084E0), (7.2714E0,3.8084E0), (7.3420E0,3.8084E0), (7.4302E0,3.7820E0), (7.4390E0,3.6849E0), (7.3067E0,3.6320E0), (7.1523E0,3.6144E0), (7.2185E0,3.5173E0), (7.1832E0,3.4379E0), (7.0244E0,3.4379E0), (6.8127E0,3.4379E0), (6.7245E0,3.4556E0), (6.6539E0,3.4732E0), (�,�), (7.3949E0,3.3144E0), (7.4654E0,3.3497E0), (7.5184E0,3.3674E0), (7.5713E0,3.3850E0), (7.5713E0,3.2791E0), (7.5184E0,3.2086E0), (7.4831E0,3.1027E0), (7.4302E0,2.9792E0), (7.3949E0,2.8910E0), (�,�), (1.0906E1,7.1252E0), (1.1003E1,7.0899E0), (1.1109E1,7.0105E0), (1.1214E1,6.9488E0), (1.1329E1,6.9135E0), (1.1435E1,6.8782E0), (1.1523E1,6.8429E0), (1.1638E1,6.8341E0), (1.1761E1,6.8165E0), (1.2211E1,6.8076E0), (1.2352E1,6.8076E0), (�,�), (1.1153E1,6.4901E0), (1.1135E1,6.4019E0), (1.0976E1,6.2431E0), (1.0897E1,6.1284E0), (1.0818E1,6.0314E0), (1.0756E1,5.9343E0), (1.0694E1,5.8549E0), (1.0694E1,5.9255E0), (�,�), (1.1117E1,6.5077E0), (1.1188E1,6.5254E0), (1.1312E1,6.5254E0), (1.1426E1,6.4989E0), (1.1356E1,6.4107E0), (1.1347E1,6.2916E0), (1.1206E1,6.2607E0), (1.1082E1,6.2607E0), (1.1012E1,6.2784E0), (�,�), (1.1523E1,6.2607E0), (1.1611E1,6.2166E0), (1.1594E1,6.0931E0), (1.1691E1,6.0049E0), (1.1788E1,5.9784E0), (1.1876E1,5.9784E0), (1.1964E1,5.9608E0), (�,�), (1.0553E1,3.0145E0), (1.0500E1,2.9969E0), (1.0429E1,2.9439E0), (1.0332E1,2.8557E0), (1.0253E1,2.7499E0), (1.0191E1,2.6528E0), (1.0165E1,2.5558E0), (1.0121E1,2.4588E0), (1.0094E1,2.3441E0), (1.0094E1,2.2382E0), (1.0094E1,2.1324E0), (1.0129E1,2.0795E0), (�,�), (8.8239E0,2.6969E0), (8.8416E0,2.7499E0), (8.8768E0,2.8204E0), (8.9474E0,2.9175E0), (9.0180E0,2.9969E0), (9.0533E0,2.9263E0), (9.0533E0,2.5382E0), (9.0533E0,2.3617E0), (9.0048E0,2.2779E0), (8.9827E0,2.4147E0), (8.9827E0,2.5382E0), (9.0180E0,2.6087E0), (9.0356E0,2.6969E0), (9.0886E0,2.7675E0), (9.1503E0,2.8646E0), (9.2562E0,2.9351E0), (9.3532E0,2.9616E0), (�,�), (9.3532E0,2.5735E0), (9.4061E0,2.5911E0), (9.4414E0,2.6440E0), (9.4590E0,2.5911E0), (9.4590E0,2.5205E0), (9.4590E0,2.4500E0), (�,�), (1.1523E1,2.0089E0), (1.1523E1,2.0795E0), (1.1541E1,2.1677E0), (1.1594E1,2.2647E0), (1.1629E1,2.3794E0), (1.1664E1,2.4500E0), (1.1700E1,2.5470E0), (1.1753E1,2.6528E0), (1.1805E1,2.7587E0), (1.1894E1,2.8646E0), (1.1991E1,2.9263E0), (1.2070E1,2.9792E0), (1.2141E1,2.9969E0), (1.2211E1,3.0322E0), (1.2282E1,3.0322E0), (�,�), (1.1117E1,3.3321E0), (1.1188E1,3.4026E0), (1.1259E1,3.5085E0), (1.1356E1,3.6232E0), (1.1426E1,3.7114E0), (1.1523E1,3.6585E0), (1.1567E1,3.5526E0), (1.1594E1,3.4379E0), (1.1594E1,3.3321E0), (1.1585E1,3.1998E0), (1.1576E1,3.2968E0), (1.1594E1,3.4732E0), (1.1647E1,3.5614E0), (1.1682E1,3.6320E0), (1.1761E1,3.7114E0), (1.1867E1,3.8172E0), (1.1947E1,3.8614E0), (1.2000E1,3.8790E0), (�,�), (1.1823E1,3.5614E0), (1.1894E1,3.5967E0), (1.1964E1,3.5967E0), (1.1964E1,3.5085E0), (1.1964E1,3.4379E0), (1.1929E1,3.3850E0), (1.2000E1,3.3850E0), (1.2088E1,3.3850E0), (�,�), true]
piirto2: PolyLine[(1.8904E0,2.1853E0), (1.8728E0,2.2824E0), (1.8199E0,2.4058E0), (1.8022E0,2.5029E0), (1.8022E0,2.5735E0), (1.8552E0,2.6705E0), (1.9875E0,2.7852E0), (2.0845E0,2.8381E0), (2.2345E0,2.8910E0), (2.5079E0,3.0145E0), (2.7637E0,3.0939E0), (3.0725E0,3.2439E0), (3.2313E0,3.3144E0), (3.3548E0,3.3497E0), (3.4430E0,3.4115E0), (3.5576E0,3.4997E0), (3.6723E0,3.5703E0), (3.8046E0,3.6937E0), (3.8840E0,3.7555E0), (3.9546E0,3.8084E0), (4.0252E0,3.8437E0), (4.1310E0,3.9319E0), (4.2016E0,4.0378E0), (4.2722E0,4.1260E0), (4.3251E0,4.1966E0), (4.2192E0,4.1966E0), (4.0693E0,4.1525E0), (3.9899E0,4.1083E0), (4.0781E0,4.0731E0), (4.2016E0,4.0731E0), (4.3427E0,4.0731E0), (4.5544E0,4.1083E0), (4.6779E0,4.1436E0), (4.9779E0,4.1789E0), (5.0837E0,4.2318E0), (5.2601E0,4.2495E0), (5.3484E0,4.2848E0), (5.4895E0,4.3553E0), (5.5601E0,4.3730E0), (5.8776E0,4.5141E0), (6.0188E0,4.5494E0), (6.2834E0,4.7258E0), (6.3893E0,4.7788E0), (6.4863E0,4.8581E0), (6.5921E0,4.9375E0), (6.6980E0,4.9993E0), (6.8215E0,5.0169E0), (6.9185E0,5.0258E0), (6.9715E0,5.0434E0), (�,�), (3.9017E0,4.8317E0), (3.8135E0,4.8317E0), (3.7429E0,4.8317E0), (3.6282E0,4.8052E0), (3.5135E0,4.7347E0), (3.4606E0,4.6553E0), (3.5047E0,4.5759E0), (3.7253E0,4.5670E0), (3.8840E0,4.5670E0), (3.9370E0,4.5847E0), (�,�), (4.0781E0,4.6200E0), (4.1487E0,4.6376E0), (4.2192E0,4.6553E0), (4.2369E0,4.5847E0), (4.2369E0,4.5141E0), (�,�), true]
piirto3: PolyLine[(2.1198E0,2.0795E0), (2.0933E0,2.1589E0), (2.0845E0,2.2559E0), (2.1110E0,2.3441E0), (2.2080E0,2.4323E0), (2.3139E0,2.5029E0), (2.4109E0,2.5470E0), (2.5785E0,2.6793E0), (2.8608E0,2.8910E0), (2.9843E0,2.9792E0), (3.0901E0,3.0322E0), (3.2136E0,3.1557E0), (3.3724E0,3.2615E0), (3.5047E0,3.3409E0), (3.6370E0,3.4115E0), (3.8311E0,3.4909E0), (3.9722E0,3.5614E0), (4.0693E0,3.5879E0), (4.2192E0,3.6496E0), (4.3075E0,3.6673E0), (4.3780E0,3.7202E0), (4.4839E0,3.7555E0), (4.5809E0,3.8084E0), (4.6603E0,3.8437E0), (4.7662E0,3.9055E0), (4.8720E0,3.9848E0), (5.0308E0,4.0554E0), (5.2249E0,4.1260E0), (5.3131E0,4.1436E0), (5.3836E0,4.1966E0), (5.4895E0,4.2848E0), (5.5601E0,4.3201E0), (5.7277E0,4.4700E0), (5.8512E0,4.5582E0), (6.0188E0,4.6729E0), (6.1952E0,4.8229E0), (6.3187E0,4.9552E0), (6.3893E0,5.0610E0), (6.5304E0,5.2551E0), (6.6186E0,5.3433E0), (6.7950E0,5.5903E0), (6.9009E0,5.7314E0), (6.9185E0,5.8020E0), (6.9891E0,5.9079E0), (7.0950E0,6.0314E0), (7.2008E0,6.1637E0), (7.2537E0,6.2607E0), (7.2471E0,6.3291E0), (7.2273E0,6.1637E0), (7.2890E0,6.0843E0), (7.4302E0,6.0667E0), (7.8536E0,6.0667E0), (8.0477E0,6.0667E0), (8.1535E0,6.1019E0), (8.2241E0,6.1019E0), (8.3123E0,6.1019E0), (8.4181E0,6.1372E0), (8.5857E0,6.1637E0), (8.6651E0,6.1902E0), (8.8239E0,6.2784E0), (9.0533E0,6.3666E0), (9.2473E0,6.4195E0), (9.3179E0,6.4548E0), (9.4590E0,6.5254E0), (9.5473E0,6.5430E0), (9.6443E0,6.6047E0), (9.7590E0,6.7018E0), (9.8295E0,6.7547E0), (9.9530E0,6.8253E0), (1.0024E1,6.8606E0), (1.0094E1,6.9135E0), (1.0165E1,6.9841E0), (1.0262E1,7.0458E0), (1.0376E1,7.1252E0), (1.0518E1,7.2487E0), (1.0659E1,7.3369E0), (1.0756E1,7.4163E0), (1.0941E1,7.5663E0), (1.1065E1,7.6545E0), (1.1153E1,7.7074E0), (1.1259E1,7.7780E0), (1.1329E1,7.8485E0), (1.1444E1,7.8838E0), (1.1523E1,7.9191E0), (1.1629E1,7.9544E0), (1.1761E1,7.9809E0), (1.1858E1,7.9897E0), (1.1955E1,7.9985E0), (1.2035E1,8.0250E0), (1.2141E1,8.0338E0), (1.2264E1,8.0603E0), (1.2335E1,8.0603E0), (�,�), (7.3949E0,7.1076E0), (7.2846E0,7.0502E0), (7.1743E0,6.9752E0), (7.1302E0,6.8959E0), (7.1523E0,6.7503E0), (7.4654E0,6.7194E0), (7.6419E0,6.7194E0), (7.6242E0,6.7724E0), (�,�), (7.7301E0,6.7900E0), (7.8448E0,6.8165E0), (7.9594E0,6.7988E0), (7.9153E0,6.7018E0), (7.8359E0,6.6665E0), (7.9242E0,6.6489E0), (7.9947E0,6.6489E0), (8.0653E0,6.6489E0), (�,�), true]