Dlzlogic a écrit:J'ai attendu un certain nombre d'échanges avant d'intervenir, et ce n'est pas "à moi" que la question a été posée mais aux membres de ce forum. Je n'ai pas à me justifier concernant ma tentative de démonstration, je l'ai simplement proposée, avec toutes les précautions d'usage.
Mais tu as le droit de proposer des démos, même si tu étais le premier à parler... C'est juste ta proposition qui m'intéressait, parce que tu n'as pas formulé de démonstration, seulement une idée floue ; et que je voulais voir si tu avais une vraie idée derrière la tête, qui aurait pu ou non marcher, ou si - comme tu as souvent tendance à le faire - tu faisais juste semblant de voir les liens avec un truc que tu as l'habitude de faire.
Bon maintenant cette discussion que je voulais avoir n'aura sans doute pas lieu puisque Le_chat a donné une esquisse de démo qu'on peut raisonnablement rapprocher de ta proposition initiale et que tu vas probablement te raccrocher à elle et sortir la carte du vocabulaire qui aurait changé... J'essaye quand même : qu'entends-tu par "mémoriser la suite des simplifications" ? À première vue je comprends par là que tu veux que je note les couples de points entre lesquels j'ai rectifié la courbe, est-ce bien cela (étant donné que pour passer d'une courbe à sa courbe transformée, je n'ai besoin que de connaître deux points A et B) ?
Donc, je pars d'une ligne polygonale entre (0,0) et (1,0). J'effectue deux fois la transformation, la première fois entre les points (0,0) et (0.5,0), la deuxième fois entre les points (0.8,0) et (1,0). À l'issue des deux transformations, la courbe est devenue le segment qui joint (0,0) et (1,0). Quelle était la courbe de départ ?
Je ne sais pas définir deux points infiniment proches sans jeter un oeil à l'article Wiki sur l'analyse non standard, j'aurais espéré que comme tu utilisais cette notion, tu saurais la définir :/
Sinon je ne t'ai pas demandé de me démontrer que les diagonales du carré se coupent, même si je n'ai rien compris à la démo que tu présentes puisqu'elle force à faire des liens, existants ou non, avec ce que tu as l'habitude de faire...
Le_chat a écrit:On les approche alors par des "lignes brisées" en approchant à moins de e/2 les coordonnées par des fonctions en escalier. Ces lignes brisées ne se coupent pas, vu qu'on les approche d'assez près. Je crois que c'est ça le fond de l'idée de Dlzlogic.
Le problème étant toujours d'arriver à cerner "le fond des idées de Dlzlogic"...