Les quatre droites se coupent en $-w^5+w^4$ où $w=\mathrm{e}^{\mathrm{i}\pi/9}$.
# polynôme minimal de w, racine primitive 18e de l'unité
print factor(x^18-1)
# où calcule-t-on ?
K.<w> = NumberField(x^6-x^3+1)
R.<z,zb> = PolynomialRing(K,2)
# définition de la conjugaison complexe et vérification
# vérification que c'est la conjugaison complexe
f = K.automorphisms()[4]
print f(w), f(f(w))
# équation de la droite passant par les points d'affixes a et b (en z et zb = conjugué de z)
def D(a,b): return Matrix(3,3,[1,1,1,a,b,z,f(a),f(b),zb]).det()
# définition des droites de la figure
D1, D2, D3, D4 = D(w,w^11), D(w^3,w^14), D(w^4,w^15), D(1,w^9)
# intersection des deux premières droites
I = R.ideal([D1,D2])
V = I.variety()[0]
print V
# vérification que l'intersection est sur les autres droites (qui sont donc concourantes !)
print D1.subs(V), D2.subs(V), D3.subs(V), D4.subs(V)
Bonne nuit
une solution sans calculs, avec la remarque que, puisque les deux diagonales les plus courtes de la figure de Soland sont symétriques par rapport à la plus longue qui est un diamètre du cercle circonscrit à l'octadécagone régulier, il est tout à fait normal qu'elles se coupent sur ce diamètre. Je n'en ai donc représenté qu'une seule.
Les angles sont évalués comme des angles inscrits dans ce cercle circonscrit.
Bien cordialement
JLB
Bonsoir Soland,
Si ma solution synthétique a eu l'heur de te ravir, ta rosace a le même effet sur moi !
Je constate que ces intersections de cercles s'alignent deux par deux comme intersections de diagonales particulières non pas de l'ennéagone, mais de l'octadécagone associé ... celles qui sont perpendiculaires aux plus petites diagonales de cet octadécagone, autrement dit les côtés de l'ennéagone !
Bien cordialement
JLB
Réponses
Le même en Matlab:
Où $b=e^{\tfrac{i\pi}{9}}$. $(B_1B_9)$ passe également par ce point.
Cordialement,
Rescassol
une solution sans calculs, avec la remarque que, puisque les deux diagonales les plus courtes de la figure de Soland sont symétriques par rapport à la plus longue qui est un diamètre du cercle circonscrit à l'octadécagone régulier, il est tout à fait normal qu'elles se coupent sur ce diamètre. Je n'en ai donc représenté qu'une seule.
Les angles sont évalués comme des angles inscrits dans ce cercle circonscrit.
Bien cordialement
JLB
Si ma solution synthétique a eu l'heur de te ravir, ta rosace a le même effet sur moi !
Je constate que ces intersections de cercles s'alignent deux par deux comme intersections de diagonales particulières non pas de l'ennéagone, mais de l'octadécagone associé ... celles qui sont perpendiculaires aux plus petites diagonales de cet octadécagone, autrement dit les côtés de l'ennéagone !
Bien cordialement
JLB
Bien cordialement
JLB