Bonjour,
Dans ce qui suit triangles / polynomes sont non plats.
Je souhaite montrer que si (x,y) appartient à Z^2, alors il existe (m,n) dans Z^2 tq (x,y) = na = mb (avec a,b dans Z^2 tq a = (xa,ya) et b = (xb, yb).
D'après l'énoncé (et je l'ai montré), a et b sont les sommets d'un triangle T = ( (0,0) a b) qui n'a de points entiers (i.e de coordonnées (x,y) dans Z^2) seulement (0,0) a et b.
Le polygones ( (0,0) a b a+b) vérifie de meme avec (0,0) a et b a+b (question b).
Pour la a) c'est une question de symétrie.
Pour la b), on invoque a) pour l'intérieur de P et une translation de l'origine de a+b en remarquant que T' = (a b a+b) est en fait -T translaté de a+b et comme T n'intersecte aucun point entier, -T non plus puis -T + (a + b) non plus.
Mais la c), aucune idée. Je vois bien l'idée générale : montrer que mon triangle peut créer un maillage de tout l'espace (en fait, on "génère" Z^2 avec (a,b) ) et les divisions euclidiennes me permettent de me rapprocher ( procéder par itération ?) suffisamment de (x,y) pour que le point soit inclus dans mon triangle (et par translation de l'origine, conclure avec question b) )
Bonsoir,
il me semble que la propriété (a) est fausse.
On peut le voir en prenant a=(1 ; 0) et b=(-1 ; 2).
L'intérieur de T ne contient pas de point à coordonnées entières mais l'intérieur de P contient le point (0;1).
Bonsoir,
Effectivement, très bizarre cette histoire... peut être une hypothèse qui manque (je crois que c'est tiré d'une ADS X-ENS)
Bonsoir,
La propriété a) est tout à fait exacte : si l'intérieur de T contient un point à coordonnées entières, l'intérieur de P aussi.
Il ne faut pas faire dire à l'énoncé autre chose que ce qu'il dit.
Par contre, il montre une hypothèse à l'énoncé : que et ne sont pas colinéaires, autrement dit qu'ils forment une base de . Et ça peut être utile de décomposer dans cette base pour la question c).
Salut GBZM.
L'énoncé dit que si l'intérieur de P contient un point à coordonnées entières alors l'intérieur de T aussi.
Il faut lire les énoncés.
Bonsoir,
Peut être que l'on considère seulement P int privé de T ou que l'on suppose que
Dans la suite, de toute façon c'est vérifié étant donné que si un point de P int n'était pas dans T int il serait sur le segment AB et différent de a et b, absurde.
Si on peut ignorer cette coquille (qui sera corrigée, j'en ai fait part à mon enseignant),est-ce que vous avez la moindre indication sur la c) ?
Oui, verdurin, tu as raison. Le a) de l'énoncé est bien fautif
kangarsta, je t'ai déjà donné une indication : décomposer dans la base de fournie par et . Puisque tu n'as pas mordu à cette indication, un petit coup de pouce supplémentaire : faire intervenir les parties entières des coordonnées dans cette base.
Bonjour,
Effectivement je n'avais pas vu la petite indication. En fait j'ai déjà exploré cette piste mais je n'arrive aucunement à en déduire à partir des parties entières inférieures et supérieures que un dès polygones contient le point.
J'effectue une rotation de l'espace pour avoir (x,y) positif (c'est symétrique).
(a,b) libre dans R^2 donc base et on se donne une décomposition de (x,y) dans R^2.
On se munit des parties entières inférieures et supérieures des coordonnées de (x,y).
Ça jusque là je l'avais vu, mais qu'est-ce qui m'assure que sur une des coordonnées entières possibles mon polygone contient le point ? Une histoire de recouvrement ?
Au fait, ton concept de "partie entière supérieure" me laisse perplexe. Un réel a une seule partie entière, le plus grand entier relatif tel que ; est alors la partie fractionnaire de , c'est un réel supérieur ou égal à 0 et strictement inférieur à 1.
Merci pour l'indication je regarde ça. Pour la partie entiere supérieure je parle simplement de l'entier supérieur. Juste un abus de langage (pas rigoureux je le concède).
Bonjour,
Avec une translation de l'origine et l'indication, j'ai effectivement loupé un barycentre bien pratique !
Merci
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :