Scribd Logo
Importer

Bienvenue sur Scribd !

  • 69 vues

    DM Homographies

    Transféré par

    Yassine Elj

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    DM Homographies

    Transféré par

    Yassine Elj
    69 vues2 pages

    Titre original

    DM_Homographies

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    69 vues2 pages

    DM Homographies

    Transféré par

    Yassine Elj

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    Vous êtes sur la page 1sur 2

    DM de MPSI2

    Devoir non surveillé

    On identifie C au plan euclidien usuel.


    Soit (a, b, c, d) ∈ C4 , tel que ad − bc 6= 0. On appelle homographie associée à ce quadruplet la fonction qui, à
    az + b
    un nombre complexe z tel que cz + d 6= 0, associe .
    cz + d
    Étant donné z ∈ C et une homographie f , on s’intéresse à la suite des itérés de z par f , i.e. la suite (un )
    donnée par u0 = z et :
    ∀ n ∈ N, un+1 = f (un ).
    On a donc aussi, pour tout n ∈ N, un = f ◦n (z), où f ◦n désigne la composée de f n-fois par elle même (par
    exemple, f ◦3 = f ◦ f ◦ f ).
    Remarque : il faut noter qu’une telle suite n’existe pas nécessairement, c’est par exemple le cas si z n’appartient
    pas au domaine de définition de f . Par souci de simplification, nous nous placerons cependant implicitement
    dans le cas où cette suite est bien définie.
    On dira qu’une homographie f vérifie la propriété C si, pour tout nombre complexe z tel que la suite
    (f ◦n (z)) des itérés de z par f existe, les termes de cette suite sont cocycliques (i.e. situés sur un même cercle)
    ou alignés.
    L’objet de ce problème est de caractériser les homographies à deux points fixes vérifiant la propriété C.
    La première partie ne fait pas référence à la notion d’homographie, et regroupe des résultats utiles pour la
    suite. On montre dans la deuxième partie des résultats classiques sur les homographies et le birapport. Enfin,
    la dernière partie consiste en l’étude générale des homographies à deux points fixes vérifiant la propriété C, et
    se termine par deux exemples.

    Partie A – Préliminaires faciles

    A.1 Résoudre l’équation z 2 − 2z + 5 = 0, d’inconnue complexe z.


    A.2 Soit a, b ∈ C, où a 6= b, et K ∈ R∗+ .
    a On suppose ici que K ∈]0, 1[. Exprimer en fonction de a, b, K un nombre complexe c et un réel
    strictement positif R tel que :

    ∀ z ∈ C, |z − a|2 = K 2 |z − b|2 ⇔ |z − c|2 = R2 .

    b En déduire la nature géométrique (et selon la valeur de K) de l’ensemble

    {z ∈ C, |z − a| = K|z − b|}.

    A.3 Soit A, B, C, D quatre points distincts du plan, d’affixes respectives a, b, c, d. On  rappelle , et on


    admet, que A, B, C, D sont cocycliques ou alignés si et seulement si
    −−→
    \ −→ −−→
    \ −−→
    (DA, CA) ≡ (DB, CB) [π].

    On appelle birapport de (a, b, c, d) et on note B(a, b, c, d) le nombre complexe :

    a−cb−d
    B(a, b, c, d) = .
    a−db−c
    Montrer que A, B, C, D sont cocycliques ou alignés si et seulement si B(a, b, c, d) est réel.
    A.4 On dit d’une application f , définie sur une partie de C, et à valeurs dans C, qu’elle conserve le birapport
    si, pour tous complexes a, b, c, d distincts tels que f (a), f (b), f (c), f (d) soient bien définis et distincts :

    B(f (a), f (b), f (c), f (d)) = B(a, b, c, d).

    a Soit (α, β) ∈ C∗ × C. Montrer que f : z 7→ αz + β conserve le birapport


    b Montrer que l’application inverse z 7→ 1/z conserve le birapport.
    c Montrer que la composée (bien définie) f ◦g d’applications conservant le birapport conserve le birapport.
    A.5 Une partie A de C est dite bornée s’il existe M ∈ R∗+ tel que, pour tout z ∈ A, on ait : |z| 6 M .
    Soit c ∈ C et R ∈ R∗+ . Montrer que le cercle de centre c et de rayon R est borné.
    On admet que pour tout (z0 , q) ∈ (C∗ )2 , si |q| > 1, alors (z0 q n ) est une suite non bornée.

    Partie B – Homographies et birapport

    Soit (a, b, c, d) ∈ C4 tel que ad − bc 6= 0, et soit f l’homographie associée à (a, b, c, d). On admet pour la suite
    que toute homographie est injective.
    B.1 Donner le domaine de définition de f .
    B.2 Montrer que f conserve le birapport.
    Indication : on pourra utiliser A.4.
    B.3 On suppose que f admet deux points fixes distincts u1 et u2 . Soit z ∈ C tel que z, f (z), u1 et u2 soient
    (bien définis et) distincts deux à deux. Montrer que B(f (z), z, u1 , u2 ) ne dépend pas de z, i.e. B(f (z), z, u1 , u2 ) =
    B(f (z 0 ), z 0 , u1 , u2 ) pour tous complexes z et z 0 tels que ces birapports soient bien définis.
    Indication : on pourra appliquer le résultat de la question précédente au quadruplet (z, z 0 , u1 , u2 ).
    B.4 En déduire qu’il existe un unique nombre complexe non nul k tel que, pour tout complexe z tel que z,
    f (z), u1 et u2 soient (bien définis et) distincts deux à deux :

    f (z) − u1 z − u1
    =k .
    f (z) − u2 z − u2

    Dans la suite, k sera appelé rapport de l’homographie f . On observe qu’en échangeant les rôles de u1 et u2 , 1/k
    est aussi un rapport de l’homographie f .
    B.5 Soit z un nombre complexe distinct de u1 et u2 tel que (f ◦n (z)) soit bien définie. Montrer que pour
    tout n ∈ N :
    f ◦n (z) − u1 z − u1
    = kn .
    f ◦n (z) − u2 z − u2

    Partie C – Homographies à deux points fixes vérifiant la propriété C.

    C.1 Soit f une homographie de rapport k à deux points fixes u1 et u2 .


    a On suppose |k| = 1. Montrer que f vérifie la propriété C.
    b On suppose k réel. Montrer que f vérifie la propriété C.
    C.2 On s’intéresse à la réciproque. Soit f une homographie de rapport k à deux points fixes u1 et u2 , vérifiant
    la propriété C. Soit g l’homographie z 7→ z−u z−u2 .
    1

    On suppose |k| = 6 1. On souhaite montrer que k est réel.


    a On introduit l’application mk : z 7→ kz. Montrer que g(f (z)) = mk (g(z)), pour tout nombre complexe
    z pour lequel ces expressions sont bien définies.
    b On admet l’existence d’un nombre complexe z00 , distinct de u1 et de u2 , pour lequel la suite (f ◦n (z00 ))
    est bien définie.
    Montrer que z00 , f (z00 ), f ◦2 (z00 ) et f ◦3 (z00 ) sont distincts deux à deux.
    c On pose z0 = g(z00 ). Montrer que :

    B(z0 , mk (z0 ), m◦2 ◦3 0 0 ◦2 0 ◦3 0


    k (z0 ), mk (z0 )) = B(z0 , f (z0 ), f (z0 ), f (z0 )).

    d En déduire que les termes de (z0 k n ) sont cocycliques ou alignés, puis que k est réel.
    C.3 Dans cette dernière question, destinée à illustrer le travail précédent, on introduit les homographies
    (1−6i)z−5
    f0 : z 7→ − 3z+5
    z−5 et f1 : z 7→ z−1−6i .
    a Vérifier que ces homographies admettent les deux mêmes points fixes.
    b Montrer que ces homographies vérifient la propriété C.

    Vous aimerez peut-être aussi

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy