A = (-0.25858747846530905, 0.5828208178531942)
B = (1.8472761631459558, 0.5957604325979945)
a = Segment(A, B)
C = (0.7377041987793259, 1.038942237607406)
α = 0 rad (slider from 0 to 43.56*°, step 0.2*°)
tah1 = PolyLine((-0.255352574779109, 0.586055721539395), (-0.255352574779109, 0.598995336284195), (-0.252117671092909, 0.608700047342796), (-0.245647863720509, 0.618404758401396), (-0.242412960034309, 0.628109469459996), (-0.239178056348109, 0.637814180518596), (-0.235943152661909, 0.647518891577197), (-0.232708248975709, 0.657223602635797), (-0.229473345289509, 0.666928313694397), (-0.223003537917108, 0.676633024752998), (-0.216533730544708, 0.686337735811598), (-0.213298826858508, 0.696042446870198), (-0.206829019486108, 0.705747157928798), (-0.203594115799908, 0.715451868987398), (-0.200359212113708, 0.725156580045999), (-0.190654501055107, 0.728391483732199), (-0.187419597368907, 0.738096194790799), (-0.180949789996507, 0.747800905849399), (-0.174479982624107, 0.757505616908), (-0.168010175251707, 0.7672103279666), (-0.158305464193107, 0.773680135339), (-0.148600753134506, 0.7801499427114), (-0.145365849448306, 0.78985465377), (-0.135661138389706, 0.796324461142401), (-0.125956427331106, 0.799559364828601), (-0.122721523644906, 0.809264075887201), (-0.113016812586305, 0.812498979573401), (-0.103312101527705, 0.815733883259601), (-0.0936073904691048, 0.818968786945801), (-0.0806677757243044, 0.818968786945801), (-0.0709630646657041, 0.825438594318201), (-0.0612583536071039, 0.828673498004402), (-0.0515536425485036, 0.831908401690602), (-0.0418489314899033, 0.838378209063002), (-0.0321442204313031, 0.841613112749202), (-0.0224395093727028, 0.844848016435402), (-0.00949989462790243, 0.844848016435402), (2.0481643069784E-4, 0.851317823807802), (0.00990952748929811, 0.854552727494002), (0.0196142385478984, 0.857787631180202), (0.0293189496064986, 0.861022534866402), (0.0390236606650989, 0.864257438552602), (0.0487283717236992, 0.867492342238803), (0.0584330827822994, 0.870727245925003), (0.0681377938408997, 0.880431956983603), (0.0778425048995, 0.883666860669803), (0.0875472159581003, 0.893371571728403), (0.0972519270167005, 0.896606475414603), (0.106956638075301, 0.903076282787004), (0.116661349133901, 0.909546090159404), (0.126366060192501, 0.916015897531804), (0.136070771251102, 0.925720608590404), (0.145775482309702, 0.928955512276604), (0.155480193368302, 0.935425319649004), (0.165184904426902, 0.938660223335204), (0.174889615485503, 0.945130030707605), (0.184594326544103, 0.951599838080005), (0.194299037602703, 0.954834741766205), (0.207238652347504, 0.954834741766205), (0.216943363406104, 0.958069645452405), (0.226648074464704, 0.964539452824805), (0.236352785523304, 0.971009260197205), (0.246057496581905, 0.974244163883406), (0.255762207640505, 0.980713971255806), (0.265466918699105, 0.987183778628206), (0.275171629757706, 0.996888489686806), (0.284876340816306, 1.00012339337301), (0.297815955561106, 1.00012339337301), (0.310755570305906, 1.00012339337301), (0.323695185050707, 0.996888489686806), (0.336634799795507, 0.993653586000606), (0.349574414540308, 0.993653586000606), (0.362514029285108, 0.993653586000606), (0.375453644029908, 0.993653586000606), (0.388393258774709, 0.993653586000606), (0.401332873519509, 0.993653586000606), (0.414272488264309, 0.993653586000606), (0.42721210300911, 0.993653586000606), (0.43691681406771, 0.996888489686806), (0.44985642881251, 0.996888489686806), (0.459561139871111, 1.00012339337301), (0.472500754615911, 1.00012339337301), (0.485440369360711, 1.00012339337301), (0.495145080419312, 1.00659320074541), (0.504849791477912, 1.00982810443161), (0.514554502536512, 1.01306300811781), (0.524259213595112, 1.01629791180401), (0.537198828339913, 1.01629791180401), (0.546903539398513, 1.02276771917641), (0.559843154143313, 1.02600262286261), (0.572782768888114, 1.02600262286261), (0.582487479946714, 1.03570733392121), (0.592192191005314, 1.03894223760741), (0.601896902063915, 1.04217714129361), (0.614836516808715, 1.04217714129361), (0.624541227867315, 1.04541204497981), (0.634245938925915, 1.04864694866601), (0.643950649984516, 1.05188185235221), (0.656890264729316, 1.05188185235221), (0.669829879474116, 1.05188185235221), (0.682769494218917, 1.05188185235221), (0.695709108963717, 1.05188185235221), (0.705413820022318, 1.05511675603841), (0.718353434767118, 1.05511675603841), (0.728058145825718, 1.04864694866601), true)
tah1' = Rotate(tah1, α, C)
A' = Rotate(A, α, C)
b = Segment(A', B)
β = Angle(A', C, B)
D = (0.2395876892095042, 0.8642574385526015)
mnohoúhelník1, c, a', b_1 = Polygon(A', B, C)
tah1'' = Mirror(tah1', b)
tah2 = PolyLine((0.728058145825718, 1.04217714129361), (0.740997760570518, 1.04217714129361), (0.753937375315319, 1.04217714129361), (0.766876990060119, 1.04217714129361), (0.77981660480492, 1.04217714129361), (0.79275621954972, 1.04217714129361), (0.80569583429452, 1.04217714129361), (0.81863544903932, 1.04217714129361), (0.828340160097921, 1.04541204497981), (0.841279774842721, 1.04541204497981), (0.854219389587522, 1.04541204497981), (0.867159004332322, 1.04541204497981), (0.876863715390922, 1.03894223760741), (0.886568426449522, 1.03247243023501), (0.896273137508123, 1.02923752654881), (0.905977848566723, 1.02276771917641), (0.915682559625323, 1.01629791180401), (0.925387270683924, 1.00659320074541), (0.935091981742524, 1.00335829705921), (0.944796692801124, 0.996888489686806), (0.954501403859724, 0.993653586000606), (0.964206114918325, 0.987183778628206), (0.973910825976925, 0.980713971255806), (0.983615537035525, 0.977479067569606), (0.993320248094125, 0.974244163883406), (1.00302495915273, 0.967774356511005), (1.01272967021133, 0.964539452824805), (1.02243438126993, 0.961304549138605), (1.03213909232853, 0.958069645452405), (1.04184380338713, 0.954834741766205), (1.05154851444573, 0.951599838080005), (1.06448812919053, 0.951599838080005), (1.07419284024913, 0.948364934393805), (1.08713245499393, 0.948364934393805), (1.09683716605253, 0.945130030707605), (1.10977678079733, 0.945130030707605), (1.11948149185593, 0.941895127021404), (1.12918620291453, 0.938660223335204), (1.14212581765933, 0.938660223335204), (1.15506543240413, 0.938660223335204), (1.16800504714893, 0.938660223335204), (1.18094466189373, 0.938660223335204), (1.19388427663853, 0.938660223335204), (1.20682389138333, 0.938660223335204), (1.21976350612813, 0.935425319649004), (1.23270312087293, 0.935425319649004), (1.24564273561773, 0.935425319649004), (1.25858235036253, 0.935425319649004), (1.26828706142113, 0.932190415962804), (1.28122667616593, 0.932190415962804), (1.29093138722453, 0.925720608590404), (1.30387100196933, 0.925720608590404), (1.31357571302793, 0.919250801218004), (1.32651532777273, 0.919250801218004), (1.33622003883134, 0.916015897531804), (1.43650205310354, 0.916015897531804), (1.44944166784834, 0.916015897531804), (1.46238128259314, 0.916015897531804), (1.47532089733794, 0.916015897531804), (1.48826051208274, 0.916015897531804), (1.50120012682754, 0.916015897531804), (1.50766993419994, 0.906311186473204), (1.51737464525854, 0.899841379100803), (1.52384445263094, 0.890136668042203), (1.53354916368954, 0.883666860669803), (1.54001897106194, 0.873962149611203), (1.54972368212054, 0.867492342238803), (1.55295858580674, 0.857787631180202), (1.56266329686534, 0.851317823807802), (1.57236800792394, 0.844848016435402), (1.57883781529634, 0.835143305376802), (1.58207271898254, 0.825438594318201), (1.59177743004114, 0.822203690632001), (1.60148214109974, 0.818968786945801), (1.60471704478594, 0.809264075887201), (1.61442175584454, 0.806029172201001), (1.62089156321694, 0.796324461142401), (1.63383117796174, 0.796324461142401), (1.64353588902034, 0.78985465377), (1.65324060007894, 0.7833848463976), (1.66294531113754, 0.7801499427114), (1.67265002219614, 0.7769150390252), (1.68235473325474, 0.773680135339), (1.69205944431334, 0.7672103279666), (1.70176415537195, 0.7639754242804), (1.71146886643055, 0.7607405205942), (1.71793867380295, 0.7510358095356), (1.72764338486155, 0.747800905849399), (1.73411319223395, 0.738096194790799), (1.74381790329255, 0.734861291104599), (1.75352261435115, 0.731626387418399), (1.76322732540975, 0.721921676359799), (1.77293203646835, 0.715451868987398), (1.77616694015455, 0.705747157928798), (1.78587165121315, 0.699277350556398), (1.79234145858555, 0.689572639497798), (1.80204616964415, 0.683102832125398), (1.80851597701655, 0.673398121066797), (1.81498578438895, 0.663693410008197), (1.82145559176135, 0.653988698949597), (1.82792539913375, 0.644283987890996), (1.83439520650615, 0.634579276832396), (1.84086501387855, 0.624874565773796), (1.84733482125095, 0.615169854715196), (1.84733482125095, 0.602230239970395), (1.85703953230955, 0.592525528911795), true)
tah2' = Mirror(tah2, b)
A'' = Mirror(A', b)
B' = Mirror(B, b)
C' = Mirror(C, b)
mnohoúhelník1', c', a'', b' = Polygon(A'', B', C')
γ = Angle(A', C, B)
z = 1 (slider from 1 to 5, step 1)
tah1''_1 = Mirror(tah1', b)
tah2'_1 = Mirror(tah2, b)