eq1: x^(2) + y^(2) = 1
A: (1, 0)
B: (0, 0)
C = Point(eq1)
α = Angle(A, B, C)
f = Ray(B, C)
D: (x(C), 0)
k1, c, d, b = Polygon(D, B, C)
β = Angle(C, D, B)
piirto1: PolyLine[(-8.6365E-1,8.5732E-1), (-8.7252E-1,8.5732E-1), (-8.9028E-1,8.5288E-1), (-9.0137E-1,8.4845E-1), (-9.1690E-1,8.3735E-1), (-9.3022E-1,8.2515E-1), (-9.3244E-1,8.1072E-1), (-9.3022E-1,8.0185E-1), (-9.2356E-1,7.9297E-1), (-9.1468E-1,7.8632E-1), (-9.0803E-1,7.8188E-1), (�,�), (-7.9264E-1,8.4845E-1), (-8.0263E-1,8.4512E-1), (-8.1594E-1,8.3957E-1), (-8.3258E-1,8.3070E-1), (-8.4146E-1,8.2404E-1), (-8.5255E-1,8.1516E-1), (-8.6032E-1,8.0296E-1), (-8.6143E-1,7.9075E-1), (-8.6143E-1,7.7966E-1), (-8.4923E-1,7.7189E-1), (-8.3702E-1,7.6857E-1), (-8.2815E-1,7.6857E-1), (-8.1206E-1,7.7578E-1), (-7.9264E-1,7.9408E-1), (-7.8266E-1,8.0962E-1), (-7.8266E-1,8.2515E-1), (-7.9375E-1,8.3735E-1), (-8.0374E-1,8.4179E-1), (�,�), (-6.9057E-1,8.4845E-1), (-7.0389E-1,8.4845E-1), (-7.1498E-1,8.4845E-1), (-7.2940E-1,8.4734E-1), (-7.3273E-1,8.3735E-1), (-7.2718E-1,8.2515E-1), (-7.1387E-1,8.1405E-1), (-7.1054E-1,8.0185E-1), (-7.1942E-1,7.9741E-1), (-7.3051E-1,7.9519E-1), (-7.5048E-1,7.8854E-1), (-7.6712E-1,7.7966E-1), (-7.7711E-1,7.7522E-1), (-7.9264E-1,7.7300E-1), (�,�), (-6.2178E-1,8.8617E-1), (-6.3399E-1,8.7951E-1), (-6.4397E-1,8.7064E-1), (-6.5507E-1,8.5732E-1), (-6.6838E-1,8.3735E-1), (-6.8059E-1,8.1627E-1), (-6.8613E-1,8.0185E-1), (-6.8835E-1,7.8854E-1), (-6.8835E-1,7.7744E-1), (-6.8170E-1,7.6524E-1), (-6.7282E-1,7.5525E-1), (�,�), (-5.3968E-1,8.2404E-1), (-5.4412E-1,8.1183E-1), (-5.5078E-1,8.0185E-1), (-5.6631E-1,7.9075E-1), (-5.8406E-1,7.7744E-1), (-5.9738E-1,7.7522E-1), (-6.0625E-1,7.7522E-1), (-6.1513E-1,7.8188E-1), (-6.2400E-1,7.8632E-1), (-6.3732E-1,7.9963E-1), (-6.5063E-1,8.1183E-1), (-6.5729E-1,8.2182E-1), (-6.5729E-1,8.3070E-1), (-6.4508E-1,8.3846E-1), (-6.3288E-1,8.3957E-1), (-6.2068E-1,8.3846E-1), (-6.0847E-1,8.2848E-1), (-5.9405E-1,8.1738E-1), (-5.7907E-1,8.0018E-1), (-5.6520E-1,7.8521E-1), (-5.5522E-1,7.7744E-1), (-5.4856E-1,7.7300E-1), (�,�), (-5.2637E-1,8.9283E-1), (-5.2193E-1,8.8617E-1), (-5.1528E-1,8.7729E-1), (-5.0862E-1,8.6620E-1), (-4.9974E-1,8.5732E-1), (-4.9087E-1,8.4401E-1), (-4.7866E-1,8.2515E-1), (-4.6979E-1,8.1294E-1), (-4.6646E-1,8.0185E-1), (-4.6646E-1,7.8854E-1), (-4.7090E-1,7.7411E-1), (-4.7755E-1,7.6191E-1), (-4.8421E-1,7.5303E-1), (-4.9697E-1,7.3805E-1), (-4.9087E-1,7.4416E-1), (�,�), (-4.1542E-1,8.4623E-1), (-4.0877E-1,8.4179E-1), (-3.9989E-1,8.3957E-1), (-3.9323E-1,8.3735E-1), (-3.8214E-1,8.3735E-1), (-3.7326E-1,8.3513E-1), (-3.6217E-1,8.3070E-1), (�,�), (-4.1321E-1,8.0407E-1), (-4.0433E-1,8.0407E-1), (-3.6217E-1,8.0407E-1), (-3.3998E-1,8.0407E-1), (�,�), (-2.2460E-1,9.7049E-1), (-2.2127E-1,9.5606E-1), (-2.1905E-1,9.4053E-1), (-2.1572E-1,9.2389E-1), (-2.1572E-1,9.1280E-1), (-2.1017E-1,8.9948E-1), (-2.0463E-1,9.0836E-1), (-2.0019E-1,9.1945E-1), (�,�), (-2.1794E-1,9.7049E-1), (-2.0574E-1,9.7714E-1), (-1.8687E-1,9.8380E-1), (-1.7134E-1,9.8602E-1), (-1.5692E-1,9.8491E-1), (-1.5137E-1,9.7493E-1), (-1.5359E-1,9.6272E-1), (-1.6469E-1,9.5496E-1), (-1.7356E-1,9.5274E-1), (-1.8244E-1,9.4941E-1), (-1.6358E-1,9.4386E-1), (-1.5137E-1,9.3388E-1), (-1.5248E-1,9.1834E-1), (-1.6801E-1,9.0836E-1), (-1.8244E-1,9.0392E-1), (-1.9353E-1,8.9948E-1), (-2.0241E-1,8.9948E-1), (-2.1128E-1,8.9948E-1), (�,�), (-1.1143E-1,9.9933E-1), (-1.1143E-1,9.8824E-1), (-1.1143E-1,9.7493E-1), (-1.1143E-1,9.6161E-1), (-1.1587E-1,9.4608E-1), (-1.1809E-1,9.3055E-1), (-1.1531E-1,9.1779E-1), (-9.7008E-2,9.2278E-1), (-8.7022E-2,9.2833E-1), (-7.2599E-2,9.3609E-1), (-5.7067E-2,9.4386E-1), (-4.9301E-2,9.5606E-1), (-4.8191E-2,9.7160E-1), (-5.1520E-2,9.8158E-1), (-6.2614E-2,9.8824E-1), (-7.1490E-2,9.9490E-1), (-8.2585E-2,9.9933E-1), (-9.1460E-2,1.0016E0), (-1.0034E-1,1.0038E0), (-1.0921E-1,1.0038E0), (�,�), (-2.5122E-1,8.7064E-1), (-2.3791E-1,8.7064E-1), (-2.2460E-1,8.7064E-1), (-2.1128E-1,8.7064E-1), (-1.8687E-1,8.7729E-1), (-1.3140E-1,8.8617E-1), (-4.7082E-2,8.9061E-1), (5.7208E-2,8.9061E-1), (8.1616E-2,8.9061E-1), (�,�), (-2.0684E-1,8.3735E-1), (-2.0463E-1,8.2848E-1), (-2.0463E-1,8.1738E-1), (-2.0241E-1,8.0629E-1), (-1.9908E-1,7.9186E-1), (-1.9797E-1,7.7744E-1), (-1.9575E-1,7.6857E-1), (-1.9575E-1,7.5969E-1), (-1.9575E-1,7.5081E-1), (�,�), (-2.0684E-1,8.3291E-1), (-2.0019E-1,8.3735E-1), (-1.8576E-1,8.4401E-1), (-1.7134E-1,8.5067E-1), (-1.5581E-1,8.5288E-1), (-1.4471E-1,8.4956E-1), (-1.4693E-1,8.3624E-1), (-1.5914E-1,8.2515E-1), (-1.7190E-1,8.1045E-1), (-1.5692E-1,8.0185E-1), (-1.4693E-1,7.9519E-1), (-1.4804E-1,7.8299E-1), (-1.5581E-1,7.7078E-1), (-1.6690E-1,7.6857E-1), (-1.8022E-1,7.6191E-1), (-1.8909E-1,7.6191E-1), (-1.9797E-1,7.6191E-1), (�,�), (-3.5987E-2,8.5288E-1), (-4.8191E-2,8.5177E-1), (-5.8176E-2,8.4623E-1), (-7.2599E-2,8.3846E-1), (-8.7022E-2,8.2848E-1), (-9.7008E-2,8.1516E-1), (-1.0255E-1,8.0407E-1), (-1.0699E-1,7.9297E-1), (-1.0699E-1,7.7966E-1), (-1.0699E-1,7.6635E-1), (-9.9227E-2,7.5525E-1), (-8.7022E-2,7.4083E-1), (-7.8147E-2,7.3528E-1), (-6.9271E-2,7.3528E-1), (�,�), true]
piirto2: PolyLine[(-7.3709E-2,7.4194E-1), (-6.4833E-2,7.4194E-1), (-5.3738E-2,7.4194E-1), (-4.4863E-2,7.4194E-1), (-3.8206E-2,7.3972E-1), (-2.9330E-2,7.3972E-1), (�,�), (1.1712E-1,9.1280E-1), (1.2600E-1,9.1280E-1), (1.5706E-1,9.1280E-1), (1.7481E-1,9.1280E-1), (�,�), (1.2378E-1,8.5954E-1), (1.3487E-1,8.5954E-1), (1.8147E-1,8.5954E-1), (2.0144E-1,8.5954E-1), (�,�), true]
piirto3: PolyLine[(2.6801E-1,9.1945E-1), (2.6801E-1,9.0836E-1), (2.6801E-1,8.8839E-1), (2.6801E-1,8.7507E-1), (2.7023E-1,8.5954E-1), (2.7244E-1,8.4401E-1), (2.7688E-1,8.2626E-1), (2.8132E-1,8.1294E-1), (2.8132E-1,8.0407E-1), (2.8354E-1,7.9741E-1), (�,�), (2.5913E-1,9.1945E-1), (2.6579E-1,9.2167E-1), (2.7688E-1,9.2389E-1), (2.9020E-1,9.2611E-1), (3.0573E-1,9.2611E-1), (3.2015E-1,9.2278E-1), (3.2237E-1,9.0836E-1), (3.1682E-1,8.9726E-1), (3.0462E-1,8.8950E-1), (2.9020E-1,8.8395E-1), (3.0129E-1,8.8173E-1), (3.1017E-1,8.7729E-1), (3.2237E-1,8.7396E-1), (3.3125E-1,8.6287E-1), (3.3236E-1,8.4845E-1), (3.3014E-1,8.3624E-1), (3.1904E-1,8.2848E-1), (3.1017E-1,8.2404E-1), (2.9796E-1,8.2293E-1), (2.8576E-1,8.2182E-1), (2.7688E-1,8.1960E-1), (�,�), (3.5454E-1,9.2167E-1), (3.5676E-1,9.1280E-1), (3.5676E-1,8.4845E-1), (3.6009E-1,8.2737E-1), (3.7341E-1,8.2959E-1), (3.9005E-1,8.3735E-1), (4.0669E-1,8.4956E-1), (4.2333E-1,8.6287E-1), (4.2888E-1,8.7618E-1), (4.2999E-1,8.8839E-1), (4.2555E-1,9.0059E-1), (4.1224E-1,9.1058E-1), (4.0003E-1,9.1834E-1), (3.9005E-1,9.2389E-1), (3.7784E-1,9.2722E-1), (3.6564E-1,9.2833E-1), (3.5898E-1,9.3055E-1), (�,�), true]
piirto4: PolyLine[(-8.7918E-1,6.4430E-1), (-8.9028E-1,6.4430E-1), (-9.0137E-1,6.4430E-1), (-9.1801E-1,6.4098E-1), (-9.3022E-1,6.3099E-1), (-9.2467E-1,6.1657E-1), (-9.1025E-1,6.0547E-1), (-8.9360E-1,5.9105E-1), (-8.8806E-1,5.7885E-1), (-8.9915E-1,5.6886E-1), (-9.1468E-1,5.6220E-1), (-9.2800E-1,5.5555E-1), (-9.4131E-1,5.5111E-1), (-9.6239E-1,5.4778E-1), (-9.7903E-1,5.4667E-1), (-9.9678E-1,5.4667E-1), (�,�), (-8.5477E-1,6.2877E-1), (-8.5033E-1,6.1990E-1), (-8.4812E-1,6.1324E-1), (-8.4590E-1,6.0436E-1), (-8.4368E-1,5.9105E-1), (-8.4368E-1,5.7996E-1), (-8.4146E-1,5.7330E-1), (-8.3924E-1,5.6442E-1), (-8.3924E-1,5.5555E-1), (�,�), (-8.5033E-1,6.6206E-1), (-8.4812E-1,6.5540E-1), (�,�), (-8.2815E-1,6.2877E-1), (-8.2371E-1,6.2212E-1), (-8.1927E-1,6.1324E-1), (-8.1705E-1,6.0436E-1), (-8.1483E-1,5.8883E-1), (-8.1039E-1,5.6886E-1), (-8.1039E-1,5.8217E-1), (-8.1039E-1,6.0215E-1), (-8.0818E-1,6.1102E-1), (-8.0152E-1,6.2212E-1), (-7.9264E-1,6.3321E-1), (-7.8044E-1,6.3432E-1), (-7.7045E-1,6.3321E-1), (-7.6047E-1,6.2323E-1), (-7.5270E-1,6.1102E-1), (-7.4494E-1,5.9438E-1), (-7.3939E-1,5.7552E-1), (-7.3495E-1,5.6442E-1), (�,�), (-6.8613E-1,6.5096E-1), (-6.9057E-1,6.4209E-1), (-6.9723E-1,6.2877E-1), (-7.0167E-1,6.1324E-1), (-7.0167E-1,5.8217E-1), (-7.0167E-1,5.5999E-1), (-6.9945E-1,5.4889E-1), (-6.9168E-1,5.3891E-1), (-6.8170E-1,5.4002E-1), (-6.7726E-1,5.4889E-1), (�,�), (-6.0181E-1,6.0658E-1), (-6.0403E-1,5.9549E-1), (-6.0847E-1,5.8661E-1), (-6.1291E-1,5.7774E-1), (-6.2289E-1,5.6553E-1), (-6.3066E-1,5.5555E-1), (-6.4176E-1,5.5888E-1), (-6.5396E-1,5.6775E-1), (-6.6838E-1,5.7996E-1), (-6.7393E-1,5.9216E-1), (-6.7282E-1,6.0436E-1), (-6.5840E-1,6.0215E-1), (-6.4841E-1,5.9771E-1), (-6.3843E-1,5.8772E-1), (-6.2844E-1,5.7996E-1), (-6.2068E-1,5.6775E-1), (-6.1180E-1,5.5555E-1), (-6.0625E-1,5.4445E-1), (�,�), (-6.0181E-1,6.6206E-1), (-5.9294E-1,6.5318E-1), (-5.7852E-1,6.4320E-1), (-5.6631E-1,6.3321E-1), (-5.5300E-1,6.1990E-1), (-5.4079E-1,6.0769E-1), (-5.3303E-1,5.9771E-1), (-5.2415E-1,5.8550E-1), (-5.1639E-1,5.6997E-1), (-5.1306E-1,5.5555E-1), (-5.1306E-1,5.2892E-1), (-5.1306E-1,5.1117E-1), (�,�), (-4.5537E-1,5.9771E-1), (-4.4871E-1,6.0215E-1), (-4.3761E-1,6.0658E-1), (-4.1542E-1,6.0658E-1), (-3.9767E-1,6.0658E-1), (�,�), (-4.5537E-1,5.7330E-1), (-4.4649E-1,5.7330E-1), (-3.9102E-1,5.7330E-1), (-3.7105E-1,5.7330E-1), (�,�), true]
piirto5: PolyLine[(-2.9338E-1,6.3543E-1), (-2.9338E-1,6.2433E-1), (-2.9338E-1,6.0436E-1), (-2.9560E-1,5.7774E-1), (-2.9560E-1,5.5999E-1), (-3.0004E-1,5.4889E-1), (-3.0004E-1,5.4002E-1), (-3.0226E-1,5.3114E-1), (-3.0337E-1,5.1672E-1), (-2.9227E-1,5.1561E-1), (-2.7785E-1,5.2226E-1), (-2.6565E-1,5.2670E-1), (-2.5566E-1,5.3114E-1), (-2.4457E-1,5.3558E-1), (-2.3347E-1,5.4223E-1), (-2.2016E-1,5.4889E-1), (-2.0906E-1,5.5999E-1), (-1.9686E-1,5.7219E-1), (-1.9353E-1,5.8661E-1), (-1.9353E-1,5.9771E-1), (-2.0019E-1,6.0991E-1), (-2.1128E-1,6.1768E-1), (-2.2238E-1,6.2212E-1), (-2.3680E-1,6.2655E-1), (-2.4900E-1,6.3321E-1), (-2.7341E-1,6.3321E-1), (-2.7119E-1,6.3321E-1), (�,�), (-1.0477E-1,6.3765E-1), (-1.1365E-1,6.3765E-1), (-1.2807E-1,6.3099E-1), (-1.4361E-1,6.2101E-1), (-1.6025E-1,6.0880E-1), (-1.7134E-1,5.9993E-1), (-1.8244E-1,5.8661E-1), (-1.8909E-1,5.7774E-1), (-1.9575E-1,5.6664E-1), (-1.9797E-1,5.5777E-1), (-2.0019E-1,5.4889E-1), (-2.0019E-1,5.3780E-1), (-1.9575E-1,5.2559E-1), (-1.8466E-1,5.1339E-1), (-1.7467E-1,5.0229E-1), (-1.6469E-1,4.9786E-1), (-1.5581E-1,4.9342E-1), (-1.4361E-1,4.8787E-1), (-1.1365E-1,4.8676E-1), (-9.1460E-2,4.8676E-1), (�,�), true]