Formation et évolution du Système solaire
Les lunes des corps solides ont été créées par des collisions et par des captures. Les deux petites lunes de Mars, Déimos et Phobos, seraient des astéroïdes capturés. La Lune de la Terre aurait été formée à la suite d'une seule gigantesque collision oblique. L'objet impacteur, appelé Théia, devait avoir une masse et une taille comparables à celle de Mars, et l'impact aurait eu lieu quelques dizaines de millions d'années après la formation des planètes internes. La collision projeta en orbite une partie du manteau de Théia, qui s'agrégea pour former la Lune. Cet impact géant fut le dernier d'une série de fusions qui formèrent la Terre. Théia se serait formé sur l'un des points de Lagrange du couple Terre-Soleil (soit L4, soit L5), puis il aurait dérivé de sa position. Charon, la lune de Pluton, pourrait s'être aussi formée par l'intermédiaire d'une large collision ; les couples Pluton-Charon et Terre-Lune sont les seuls du Système solaire dans lesquels la masse du satellite est supérieure à 1 % de celle de la planète.
Miranda (lune)
Miranda est le plus proche des principaux satellites naturels d'Uranus. Éloignée d’approximativement d'Uranus, cette lune est sur une orbite qui possède une inclinaison et une excentricité notables par rapport au plan de l'équateur uranien. Son excentricité est d'un ordre de magnitude supérieur à celui des autres satellites naturels d'Uranus. Ces paramètres orbitaux pourraient être la conséquence de résonances orbitales anciennes avec d'autres lunes uraniennes. Ainsi Miranda pourrait avoir été en résonance 3:1 avec Umbriel. Elle pourrait aussi avoir été en résonance 5:3 avec Ariel. Uranus est moins aplatie à ses pôles et plus petite, par rapport à ses satellites, que Jupiter ou Saturne. De ce fait, ses lunes peuvent plus facilement se soustraire aux forces qui maintiennent leur orbite en résonance. C'est en échappant à ces résonances que Miranda aurait gagné son excentricité et surtout son inclinaison orbitale singulière.