Bonjour,
Heureux que Imod confirme mes cotes principales.
Au passage je corrige deux nombres mal recopiés.
Mai ce qui est curieux c'est que personne ne donne
le fameux 4 ème coté du "triangle" d'aire 2
Démonstration de l'existence du petit coté
*On est tous d'accord sur les 4 cotes principales de la version valide.
*soit coté ouest : a+b =2.4559686478-base du "triangle" =4.825005805
*avec hauteur h=C =36=7.3484692283 on obtient une aire
de 17.9761949829 au lieu de 18 ce qui pourrait passer pour un écart de décimales,
MAIS
On sait que le milieu des obliques passe par un pont précis (question 1)
ces points sont situés à 6 des cotés C .
Un petit coup de géométrie nous donne les coté opposés à a et b
soit 3.4264731756 et 39155167023
la somme de ces deux nombres : 7.3419898779 définit un petit coté
de 0.0064793505.
Une dernière vérification de l'aire de la zone aboutit exactement à18
CQFD
Bonjour
Le 4e côté n'est pas donné car, comme tu sais, il se calcule facilement en fonction des autres données :
4e côté = 1.4725+0.9835-V6
Bonjour,
Un code en SageMath pour faire des calculs exacts (avec solutions dans le corps des nombres algébriques réels). Je le mets sans commentaire, je pourrai commenter à la demande. Les notations correspondent au dessin.
R.<x,y,z,t>=PolynomialRing(QQ,"x,y,z,t")
A=vector([0,0,1]); B=vector([6,0,1]); C=vector([6,6,1])
D=vector([0,6,1])
E=vector([3,2,1]); F=vector([4,3,1]); G=vector([3,4,1])
H=vector([2,3,1])
I=vector([x,0,1]); J=vector([y,0,1]); K=vector([0,z,1])
L=vector([0,t,1])
IH=I.cross_product(H); JF=J.cross_product(F)
KE=K.cross_product(E); LG=L.cross_product(G)
def deh(V) :
return (1/V[2])*V
M=deh(IH.cross_product(KE)); N=deh(KE.cross_product(JF))
O=deh(JF.cross_product(LG)); P=deh(LG.cross_product(IH))
def aire(X,Y,Z,T):
return matrix([X,Y,Z]).determinant()/2+\
matrix([Z,T,X]).determinant()/2
def SOL(m,n,o,p) :
eqm=(aire(A,I,M,K)-36*m).numerator()
eqn=(aire(J,B,2*E-K,N)-36*n).numerator()
eqo=(aire(O,2*G-L,C,2*F-J)-36*o).numerator()
eqp=(aire(L,P,2*H-I,D)-36*p).numerator()
Eq=R.ideal([eqm,eqn,eqo,eqp])
return Eq.variety(AA)
def test(sol) :
return 0<sol[x],sol[x]<sol[y],sol[y]<6,\
0<4-sol[x],4-sol[x]<8-sol[y],8-sol[y]<6,\
0<sol[z],sol[z]<sol[t],sol[t]<6,\
0<4-sol[z],4-sol[z]<8-sol[t],8-sol[t]<6
SOL54=SOL(3/54,7/54,9/54,5/54)
for sol in SOL54 : print(sol,all(test(sol)))
SOL63=SOL(4/63,8/63,10/63,6/63)
for sol in SOL63 : print(sol,all(test(sol)))
Merci à Imod de nous avoir communiqué son idée de carré de côté 6 avec les inconnues a, b, c et d
Je trouve que c'est plus parlant qu'avec les tangentes.
Et merci à GBZM pour les développements
Dommage que "Affaire de logique" fasse le mort
Bravo à tous,
Il ne vous a pas échappé que le zoom de GBZM correspond à mon observation du
12/10 1h20 et à mon dessin et à la vérification du15/10 13h58.
Le zoom est une illustration.
J'insiste sur le fait que le calcul fait avec SageMath, n'est pas un calcul numérique approché, mais un calcul exact, et a donc une force probante que n'a pas un calcul numérique approché.
Le fait que le calcul soit exact n'apparaît peut-être pas dans la sortie, par exemple la sortie :
t: 5.197006363714305?
On a l'impression que SageMath ne connaît de t qu'une valeur approchée, mais en fait quand on va voir sous le capot avec la commande
sage_input(SOL54[5][t])
Bonsoir
Bravo GBZM pour cette programmation et ces résultats.
Mais, quand tu dis que ce n'est pas un calcul approché mais un calcul exact, tu fais un excès de langage il me semble. C'est forcément un calcul approché au sens mathématique du terme. Très approché mais approché quand même non ?
Non, c'est vraiment un calcul exact.
Vois tu la différence entre dire
(1) t est égal à a, à 10^{-e} près
et
(2) t est l'unique racine du polynôme P (à coefficients entiers entre entre b et c.
La forme (2) caractérise entièrement t, au contraire de 1.
Et quand on a deux réels algébriques donnés sous la forme (2), on a des algorithmes qui permettent de répondre de manière exacte à des questions comme : sont-ils égaux ? Sinon, quel est le plus grand ?
C'est impossible avec la forme (1).
Pour répondre à Sylvieg
Produire un problème chaque semaine et rédiger une réponse prenant en compte les différentes solutions proposées est certainement un travail à temps plein . Il ne faut pas être choqué si les auteurs ne répondent pas instantanément ( généralement ils font part des remarques des lecteurs dans les livres qu'ils publient par la suite ) .
En tout cas , bravo à pisurdeux d'avoir levé le lièvre
Imod
Puisque ça ne coûte pas grand chose de faire tourner le petit code écrit en SageMath, on peut compléter :
Entiers de 1 à 9 :
SOL45=SOL(2/45,6/45,8/45,4/45)
for sol in SOL45 : print(sol,all(test(sol)))
SOL72=SOL(5/72,9/72,11/72,7/72)
for sol in SOL72 : print(sol,all(test(sol)))
SOL81=SOL(6/81,10/81,12/81,8/81)
for sol in SOL81 : print(sol,all(test(sol)))
Pour la question subsidiaire je suis quasi-convaincu que la réponse est oui . Avec l'interprétation géométrique , plus les nombres sont grands et moins les segments ont des chances de se croiser à l'intérieur du carré .
Imod
Bonjour,
J'ai reçu une réponse de l'équipe de tangente.
Ils me répondent que je ne donne pas de solution pour les entiers de 2 à 10.
En effet, je me contentais dans mon message de remettre en cause le raisonnement pour l'aire 2 qui ne serait atteignable qu'avec un triangle et une baguette verticale.
J'ai répondu en précisant l'objectif de mon premier courriel.
Je me suis aussi permise, pour mieux les convaincre, de joindre la dernière figure de dpi, en prenant soin d'en préciser le pseudo de l'auteur.
J'ai aussi donné le lien vers ce sujet.
Enfin, j'ai signalé la démarche originale de Imod
J'ai moi aussi reçu une réponse d'affaire de logique : ils veulent une copie d'écran pour être convaincus : comme si un dessin pouvait certifier que tel quadrilatère a une aire exactement égale à 2 ou 3... Je les ai renvoyés à ce forum, où les schémas abondent.
Il s disent la solution contradictoire, sans dire pourquoi.
Merci à tous de leur participation : c'est bon de se sentir soutenu.
Le calcul algébrique exact fait en SageMath fournit une démonstration difficilement contestable. Je peux le commentersi besoin est.
Bonjour,
L'équipe de Tangente commence à être convaincue
Bravo pisurdeux !
Et tous les autres participants de ce sujet !
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :