Imod,
ton dernier dessin

avec ta preuve adaptée
\ \widehat{NBC}[/TEX] et le bord traverse en
la bissectrice extérieure D de l'angle

. En prenant un point

du bord au-dessus de D, on obtient

qui
est en contradiction avec l'hypothèse . montre que ABC...YZ n'est pas de périmètre maximal.>>
justifient essentiellement la contraposée : es-tu d'accord ?
Tu vas me dire que tu ne vois pas de différence entre une contraposée et une preuve par l'absurde (utilisant toutes les deux le tiers exclu).
Voilà comment je vois les choses.
Le dessin est ici un dessin qui "colle" avec ta démo de la contraposée : ABC n'est pas un trajet de bille et on voit qu'on peut augmenter la distance AB+BC en AB'+B'C.
(Plus haut, le dessin que j'ai présenté "colle" avec ma démo directe : AB+BC est maximal et on voit que ABC est un trajet de bille.)
A contrario, un dessin ne pourra jamais "coller" avec une preuve par l'absurde puisqu'il faudrait réussir à réaliser l'impossible... Donc une preuve par l'absurde se fera toujours sur un croquis faux (ce qui n'empêche pas de faire des raisonnements corrects, cf adage que tu rappelais :we: )
Pour moi, cette différence d'illustration qui colle au texte est importante (pédagogiquement parlant). Qu'en penses-tu ? Qu'en pensez-vous ?