Kolmion kulmien summa on 180°.

A = (-0.5618605690923238, 4.866969470060287)
B = (-1.3028430574984335, 0.7562809034263865)
C = (10.517591876599033, 1.7618999948346799)
k1, c, a, b = Polygon(A, B, C)
f = Line(A, a)
g = Line(A, B)
h = Line(A, C)
piirto1: PolyLine[(-4.0308E-1,8.4449E-1), (-3.8544E-1,8.9742E-1), (-3.8544E-1,9.6799E-1), (-3.8544E-1,1.0386E0), (-4.0308E-1,1.1268E0), (-4.3836E-1,1.2150E0), (-4.6483E-1,1.3120E0), (-5.9715E-1,1.4796E0), (-7.1182E-1,1.5767E0), (-8.1768E-1,1.6472E0), (-8.9707E-1,1.6913E0), (-9.8528E-1,1.7266E0), (-1.0735E0,1.7443E0), (-1.1264E0,1.7619E0), (�,�), (4.4376E-1,1.7795E0), (3.8201E-1,1.7002E0), (2.4087E-1,1.6031E0), (1.6148E-1,1.5678E0), (2.6975E-3,1.5678E0), (-1.5608E-1,1.5943E0), (-1.9137E-1,1.6737E0), (-1.4726E-1,1.7531E0), (-6.7872E-2,1.7795E0), (2.6975E-3,1.7795E0), (7.3267E-2,1.7619E0), (1.7030E-1,1.7090E0), (2.7616E-1,1.6296E0), (3.8201E-1,1.5414E0), (4.6140E-1,1.4620E0), (�,�), (3.7319E-1,4.9905E0), (3.7319E-1,5.0787E0), (3.7319E-1,5.1492E0), (3.7319E-1,5.2198E0), (3.3790E-1,5.3080E0), (3.1144E-1,5.4227E0), (2.3205E-1,5.5286E0), (1.5266E-1,5.6256E0), (7.3267E-2,5.6785E0), (-2.3766E-2,5.7138E0), (-1.3844E-1,5.7667E0), (-2.3548E-1,5.7932E0), (-3.3251E-1,5.8020E0), (-4.0308E-1,5.8020E0), (�,�), (9.3775E-1,6.0314E0), (9.0246E-1,5.9784E0), (7.8779E-1,5.8902E0), (6.4665E-1,5.8373E0), (5.6726E-1,5.8020E0), (4.7022E-1,5.7932E0), (3.7319E-1,5.7844E0), (3.0262E-1,5.7844E0), (2.3205E-1,5.8814E0), (2.2323E-1,6.0049E0), (3.1144E-1,6.0755E0), (4.3494E-1,6.0490E0), (5.3197E-1,5.9608E0), (6.5547E-1,5.8726E0), (7.9661E-1,5.7667E0), (8.8482E-1,5.6962E0), (�,�), true]
piirto2: PolyLine[(8.5946E0,2.3088E0), (8.5240E0,2.2471E0), (8.4534E0,2.1677E0), (8.3652E0,2.0618E0), (8.2946E0,1.9295E0), (8.2505E0,1.8236E0), (8.2417E0,1.7266E0), (8.2594E0,1.6737E0), (�,�), (7.4831E0,2.2030E0), (7.4478E0,2.1500E0), (7.3772E0,2.0442E0), (7.2890E0,1.8854E0), (7.2185E0,1.7972E0), (7.1832E0,1.7266E0), (7.1302E0,1.6384E0), (7.0773E0,1.4973E0), (7.0244E0,1.4091E0), (7.0067E0,1.3385E0), (�,�), (7.4302E0,2.2206E0), (7.5096E0,2.2647E0), (7.5889E0,2.2912E0), (7.7080E0,2.2515E0), (7.7124E0,2.1236E0), (7.6154E0,2.0442E0), (7.5184E0,2.0265E0), (7.5889E0,2.0265E0), (7.6860E0,1.9913E0), (7.7124E0,1.9030E0), (7.6772E0,1.8325E0), (7.5801E0,1.7972E0), (7.3949E0,1.7795E0), (7.2714E0,1.7795E0), (7.2008E0,1.7972E0), (�,�), (-2.5907E0,5.4315E0), (-2.6437E0,5.3962E0), (-2.7407E0,5.3169E0), (-2.8201E0,5.2198E0), (-2.8818E0,5.1051E0), (-2.9259E0,5.0258E0), (-2.9259E0,4.9552E0), (-2.9171E0,4.8581E0), (-2.8907E0,4.7788E0), (�,�), (-3.9139E0,5.3433E0), (-3.9492E0,5.2904E0), (-3.9845E0,5.2198E0), (-4.0903E0,5.0787E0), (-4.1609E0,5.0081E0), (-4.2932E0,4.9023E0), (-4.3991E0,4.7876E0), (-4.4961E0,4.6905E0), (-4.5579E0,4.5935E0), (-4.5843E0,4.5141E0), (�,�), (-3.9845E0,5.4139E0), (-3.9051E0,5.4492E0), (-3.7992E0,5.5109E0), (-3.7199E0,5.5374E0), (-3.6493E0,5.5374E0), (-3.5523E0,5.5197E0), (-3.5258E0,5.4315E0), (-3.5523E0,5.3433E0), (-3.6581E0,5.2816E0), (-3.7375E0,5.2551E0), (-3.8169E0,5.2463E0), (-3.6758E0,5.1845E0), (-3.6405E0,5.0875E0), (-3.7022E0,5.0081E0), (-3.7992E0,4.9816E0), (-3.8963E0,4.9728E0), (-4.0110E0,4.9905E0), (-4.0903E0,5.0434E0), (�,�), true]
piirto3: PolyLine[(-1.5498E0,4.7788E0), (-1.5322E0,4.7258E0), (-1.5057E0,4.6288E0), (-1.4352E0,4.5229E0), (-1.3646E0,4.4259E0), (-1.2764E0,4.3465E0), (-1.1882E0,4.2759E0), (-1.0911E0,4.2142E0), (-9.7646E-1,4.1525E0), (-8.7942E-1,4.1436E0), (-8.0885E-1,4.1260E0), (-7.2064E-1,4.0907E0), (�,�), true]
piirto4: PolyLine[(-1.3028E0,3.9496E0), (-1.3999E0,3.9143E0), (-1.6380E0,3.8261E0), (-1.7704E0,3.7643E0), (-1.8850E0,3.7379E0), (-1.9909E0,3.7379E0), (-2.1232E0,3.7643E0), (-2.1497E0,3.8614E0), (-2.1409E0,3.9584E0), (-2.0526E0,4.0290E0), (-1.9556E0,4.0378E0), (-1.8850E0,4.0025E0), (-1.8145E0,3.9496E0), (-1.7174E0,3.8702E0), (-1.5939E0,3.7820E0), (-1.5057E0,3.6849E0), (-1.4087E0,3.6232E0), (-1.3381E0,3.5791E0), (�,�), true]
piirto5: PolyLine[(1.2553E0,5.0963E0), (1.2906E0,5.0169E0), (1.3171E0,4.8934E0), (1.3259E0,4.7964E0), (1.3171E0,4.6994E0), (1.2553E0,4.5935E0), (1.1583E0,4.5053E0), (1.0789E0,4.4436E0), (�,�), (1.7317E0,4.8846E0), (1.7317E0,4.8140E0), (1.7317E0,4.6200E0), (1.7317E0,4.4788E0), (1.7140E0,4.4259E0), (1.6964E0,4.3553E0), (1.6964E0,4.2848E0), (1.6787E0,4.1966E0), (�,�), (1.7317E0,4.9375E0), (1.8287E0,4.9640E0), (1.9081E0,4.9905E0), (2.0139E0,4.9905E0), (2.1374E0,4.9640E0), (2.1286E0,4.8493E0), (2.0095E0,4.7964E0), (2.0933E0,4.7258E0), (2.1463E0,4.6288E0), (2.0580E0,4.5670E0), (1.9787E0,4.5318E0), (1.8728E0,4.5318E0), (1.7669E0,4.5318E0), (�,�), true]
piirto6: PolyLine[(-3.6316E0,4.5670E0), (-3.5964E0,4.5141E0), (-3.5787E0,4.4436E0), (-3.5346E0,4.3289E0), (-3.4817E0,4.2230E0), (-3.4376E0,4.1172E0), (-3.3494E0,4.0113E0), (-3.2700E0,3.9055E0), (-3.1906E0,3.8172E0), (-3.0936E0,3.7290E0), (-2.9083E0,3.5967E0), (-2.5555E0,3.3321E0), (-2.4320E0,3.2439E0), (-2.3349E0,3.2086E0), (-2.2202E0,3.1557E0), (-2.1056E0,3.1027E0), (-2.0262E0,3.0674E0), (-1.8850E0,3.0145E0), (-1.7792E0,2.9616E0), (-1.7086E0,2.9439E0), (-1.6380E0,2.9263E0), (-1.5322E0,2.9263E0), (-1.4263E0,2.8910E0), (-1.3381E0,2.8910E0), (-1.2411E0,2.8646E0), (-4.0308E-1,2.8557E0), (4.9669E-1,2.8557E0), (6.9075E-1,2.8557E0), (8.4071E-1,2.8646E0), (9.5539E-1,2.8734E0), (1.0436E0,2.9087E0), (1.1142E0,2.9263E0), (1.2288E0,2.9351E0), (1.3435E0,2.9616E0), (1.4141E0,2.9792E0), (1.5288E0,2.9880E0), (1.6082E0,3.0322E0), (1.7052E0,3.0586E0), (1.8375E0,3.1204E0), (1.9434E0,3.1733E0), (2.0139E0,3.2086E0), (2.1021E0,3.2262E0), (2.1727E0,3.2615E0), (2.3315E0,3.3321E0), (2.4638E0,3.3850E0), (2.5697E0,3.4644E0), (2.6491E0,3.5438E0), (2.7902E0,3.6496E0), (2.9137E0,3.7467E0), (3.0107E0,3.8437E0), (3.0989E0,3.9319E0), (3.1695E0,4.0290E0), (3.2665E0,4.1789E0), (3.3548E0,4.2936E0), (3.4342E0,4.3994E0), (3.5047E0,4.5053E0), (3.5488E0,4.6200E0), (3.5841E0,4.6905E0), (3.6018E0,4.7788E0), (3.6547E0,4.8758E0), (3.7076E0,4.9816E0), (3.7517E0,5.0875E0), (3.7958E0,5.1669E0), (3.8135E0,5.2198E0), (�,�), (2.1021E0,2.8910E0), (2.0669E0,2.7940E0), (1.9963E0,2.7146E0), (1.8993E0,2.6264E0), (1.7934E0,2.5470E0), (1.7140E0,2.5029E0), (1.6434E0,2.5029E0), (1.5464E0,2.5205E0), (1.4670E0,2.6176E0), (1.4582E0,2.7587E0), (1.5464E0,2.8293E0), (1.6258E0,2.8557E0), (1.6964E0,2.8204E0), (1.8110E0,2.7322E0), (1.8993E0,2.6352E0), (1.9787E0,2.5735E0), (2.0669E0,2.4852E0), (2.1551E0,2.3970E0), (�,�), (2.2786E0,2.6617E0), (2.3491E0,2.6617E0), (2.4374E0,2.6617E0), (2.5432E0,2.6617E0), (2.6138E0,2.6793E0), (�,�), (2.4903E0,2.8910E0), (2.4550E0,2.8381E0), (2.4550E0,2.7146E0), (2.4550E0,2.6087E0), (�,�), (2.8961E0,2.8910E0), (2.8961E0,2.8204E0), (2.8961E0,2.7322E0), (2.8961E0,2.6440E0), (2.8608E0,2.5205E0), (2.8431E0,2.3970E0), (2.8431E0,2.3265E0), (2.8255E0,2.2559E0), (2.8608E0,2.3265E0), (2.8784E0,2.3794E0), (�,�), (2.9490E0,2.9263E0), (3.0107E0,3.0145E0), (3.0901E0,3.0498E0), (3.1872E0,3.0233E0), (3.1872E0,2.9175E0), (3.1078E0,2.8469E0), (3.1960E0,2.7763E0), (3.2048E0,2.6793E0), (3.1254E0,2.6440E0), (3.0548E0,2.6264E0), (2.9137E0,2.6264E0), (2.8078E0,2.6264E0), (�,�), (-6.3243E-1,4.4965E0), (-5.6186E-1,4.4965E0), (-2.0901E-1,4.4965E0), (-6.7872E-2,4.4965E0), (2.0340E-2,4.5318E0), (1.2619E-1,4.5759E0), (2.0340E-2,4.5318E0), (-1.0316E-1,4.4965E0), (-1.7373E-1,4.4612E0), (-2.7076E-1,4.4524E0), (-3.9426E-1,4.4347E0), (-4.7365E-1,4.4083E0), (�,�), (-2.4430E-1,4.0025E0), (-2.4430E-1,4.0731E0), (-2.2665E-1,4.1701E0), (-1.9137E-1,4.2495E0), (-1.0316E-1,4.2230E0), (-6.7872E-2,4.1260E0), (-5.0230E-2,4.0378E0), (-5.0230E-2,3.9672E0), (-5.0230E-2,3.8966E0), (-6.7872E-2,3.7908E0), (-8.9925E-2,3.6717E0), (-1.0316E-1,3.7555E0), (-1.0316E-1,3.8790E0), (-5.0230E-2,3.9672E0), (-6.1237E-3,4.0642E0), (7.3267E-2,4.1525E0), (1.7030E-1,4.2142E0), (2.4969E-1,4.2495E0), (�,�), (3.3195E0,2.8734E0), (3.3900E0,2.8734E0), (3.4959E0,2.8734E0), (3.6018E0,2.8734E0), (�,�), (3.4430E0,3.1027E0), (3.4430E0,3.0322E0), (3.4606E0,2.9439E0), (3.4959E0,2.8381E0), (3.4959E0,2.7675E0), (�,�), (3.7076E0,2.8381E0), (3.7517E0,2.9087E0), (3.8399E0,3.0233E0), (3.9193E0,3.0674E0), (3.9370E0,2.9969E0), (3.9546E0,2.9087E0), (3.9546E0,2.7499E0), (3.9546E0,2.6087E0), (3.9370E0,2.5382E0), (3.8840E0,2.4235E0), (3.8487E0,2.3441E0), (3.8487E0,2.4147E0), (3.8576E0,2.5293E0), (3.8840E0,2.6264E0), (3.9370E0,2.7146E0), (3.9722E0,2.8557E0), (4.0075E0,2.9263E0), (4.0428E0,3.0233E0), (4.0957E0,3.1292E0), (4.1840E0,3.1557E0), (4.2369E0,3.1380E0), (�,�), (4.4133E0,3.0498E0), (4.5192E0,3.0498E0), (4.6074E0,3.0498E0), (4.6956E0,3.0498E0), (�,�), (4.3251E0,2.9616E0), (4.3957E0,2.9616E0), (4.4839E0,2.9263E0), (4.5897E0,2.9263E0), (4.6603E0,2.9087E0), (4.7132E0,2.8910E0), (�,�), (4.9602E0,3.1204E0), (5.0484E0,3.1821E0), (5.1190E0,3.2262E0), (5.2160E0,3.3144E0), (5.2954E0,3.3674E0), (5.3307E0,3.2968E0), (5.3307E0,3.2086E0), (5.3131E0,3.1380E0), (5.2778E0,3.0674E0), (5.2425E0,2.9969E0), (5.2072E0,2.9263E0), (5.1896E0,2.8381E0), (�,�), (5.4366E0,3.0498E0), (5.4895E0,3.0674E0), (5.5865E0,3.1027E0), (5.7012E0,3.1557E0), (5.8335E0,3.2262E0), (5.9394E0,3.2968E0), (5.9835E0,3.3850E0), (5.9835E0,3.4556E0), (5.8688E0,3.4379E0), (5.8071E0,3.3674E0), (5.8071E0,3.2615E0), (5.8071E0,3.1557E0), (5.8247E0,3.0498E0), (5.8247E0,2.9263E0), (5.7982E0,2.8293E0), (5.6924E0,2.7499E0), (5.5777E0,2.7322E0), (5.4719E0,2.7587E0), (5.3925E0,2.8646E0), (5.4101E0,2.9969E0), (5.4719E0,3.0851E0), (5.5248E0,3.1027E0), (�,�), (6.3893E0,3.3144E0), (6.2569E0,3.2791E0), (6.1158E0,3.1998E0), (6.0188E0,3.1292E0), (5.9570E0,3.0057E0), (5.9703E0,2.8778E0), (6.1070E0,2.8381E0), (6.1952E0,2.8381E0), (6.3099E0,2.8557E0), (6.3540E0,2.9263E0), (6.3893E0,2.9969E0), (6.4334E0,3.0939E0), (6.4422E0,3.1909E0), (6.4245E0,3.2439E0), (�,�), (6.7774E0,3.5438E0), (6.6804E0,3.5085E0), (6.6010E0,3.4379E0), (6.6010E0,3.3674E0), (6.6274E0,3.2791E0), (6.7421E0,3.2880E0), (6.7950E0,3.3674E0), (6.7950E0,3.4379E0), (6.7421E0,3.4556E0), (�,�), true]