@options; @figure; A = point( 0.5 , -1.5 ) { rouge }; slongA = segmentlong( A , M , 2.5 ); I = milieu( A , M ) { i }; J = milieu( A , I ) { i }; K = milieu( I , M ) { i }; perpJslongA = perpendiculaire( J , slongA ) { i }; perpIslongA = perpendiculaire( I , slongA ) { i }; perpKslongA = perpendiculaire( K , slongA ) { i }; ceAM = cercle( A , M ) { i }; ceMA = cercle( M , A ) { i }; B1 = intersection( perpJslongA , ceAM , 1 ) { i }; B = intersection( perpJslongA , ceAM , 2 ) { i }; C1 = intersection( perpKslongA , ceMA , 1 ) { i }; C = intersection( perpKslongA , ceMA , 2 ) { i }; D1 = intersection( perpJslongA , ceMA , 1 ) { i }; D = intersection( perpJslongA , ceMA , 2 ) { i }; E1 = intersection( perpKslongA , ceAM , 1 ) { i }; E = intersection( perpKslongA , ceAM , 2 ) { i }; polyB1D1AME1C1 = polygone( B1 , C1 , E1 , M , A , D1 , B1 ) { jaune , plein60 }; L = milieu( B1 , C1 ) { i }; N = milieu( D1 , E1 ) { i }; F = symetrique( N , L ) { i }; O = milieu( F , L ) { i }; ceOB1 = cercle( O , B1 ) { jaune , plein60 }; dOB1 = droite( O , B1 ) { i }; G1 = intersection( dOB1 , ceOB1 , 1 ) { i }; G = intersection( dOB1 , ceOB1 , 2 ) { i }; perpOdOB1 = perpendiculaire( O , dOB1 ) { i }; H1 = intersection( perpIslongA , ceOB1 , 1 ) { i }; H = intersection( perpIslongA , ceOB1 , 2 ) { i }; P = symetrique( F , H1 ) { i }; Q = milieu( H1 , F ) { i }; cePQ = cercle( P , Q ) { jaune , plein60 }; paraLdOB1 = parallele( L , dOB1 ) { i }; R1 = intersection( paraLdOB1 , ceOB1 , 1 ) { i }; R = intersection( paraLdOB1 , ceOB1 , 2 ) { i }; S = intersection( perpOdOB1 , paraLdOB1 ) { i }; dGR = droite( G , R ) { i }; polyOSRG = polygone( O , S , R , G ) { plein100 }; @analyse;