mardi 31 décembre 2019

La deuxième loi de Képler illustrée avec PSTricks et xint

Voici quelques extraits de ce document de 24 pages écrit par Jean-François Burnol avec la collaboration de Jürgen Gilg et Thomas Söll afin de donner envie à tous les amateurs de géométrie et de constructions géométriques de lire le texte original qui s'il utilise PSTricks et xint pour les illustrations graphiques est surtout une riche étude mathématique sur l'ellipse avec comme point de départ la deuxième loi de Képler :
Les planètes décrivent des ellipses dont le Soleil occupe l'un de foyers. Leur vitesse est telle que le rayon vecteur les joignant au Soleil balaie des aires proportionnelles au temps (loi des aires).
Les résultats seront généralisés pour des coniques quelconques dans un prochain document.
Les fichiers sources sont à télécharger sur la page dédiée à xint-polexpr :
ou bien, avec le pdf, ici :
 Les conventions et notations usuelles pour les ellipses sont précisées :
Théorème  :
    Pour tout $0\leq c < a$ l'équation $d_1 + d_2 = 2a$ équivaut à l'équation   $d_1 = a - ex$.

    On a utilisé les notations $d_i = \mathrm{d}(M,F_i)$, $M=(x,y)$, $F_1=(c,0)$,$F_2=(-c,0)$.

Par un raisonnement simple, la définition de la directrice pour un foyer est déduite ainsi qu'une autre construction de l'ellipse :

Il est démontré que l'ellipse se déduit du cercle de centre O et de rayon a par la transformation affine $T$ :  $(x,y)\longrightarrow (x, \frac{b}{a} y)$

Voici une figure illustrant la relation entre le point M sur l'ellipse et le point N sur le cercle, et l'angle E au centre de l'ellipse. On y fait figurer aussi l'angle $\phi$  des coordonnées polaires centrées au foyer $F_1$. La relation entre $\phi$  et E fera l'objet de commentaires détaillés ultérieurement, tant du point du vue théorique que numérique.

La deuxième partie est dédiée à la deuxième loi de Képler.
L' objectif dans cet article est d'illustrer la seconde loi de Kepler par des figures faites avec PSTricks et des calculs faits avec l'aide de xint. Il nous faut donc trouver un moyen de calculer l'aire balayée par le rayon $\overrightarrow{SM}$ ($S$ est le Soleil, $S = F_1$) lorsque $M$ va de
$M_1$ en $M_2$. La formule théorique :

Il est ainsi démontré dans le document que :
L'aire algébrique totale balayée par le rayon vecteur   $\overrightarrow{SM}$ pour $M$ allant (continûment) du sommet $A$ au point  $P = (a\cos E, b\sin E)$ est (pour tout $E\in R$):
    \begin{equation}
      A = \frac{ab}2\bigl(E - e\sin E\bigr)
    \end{equation}

La troisième partie est intitulée :
Ellipse et aire elliptique via les coordonnées polaires, où comment découvrir l’anomalie excentrique même en s’acharnant à vouloir tout faire avec l’anomalie vraie.
Si nous utilisons des coordonnées polaires centrées en le foyer $F_1$, alors tout bêtement $d_1 = r$ et $x = c + r \cos\phi$.
Or l'équation (caractérisation de l'ellipse par foyer et directrice) est $d_1 = a - ex$, qui équivaut à  $r = a - ec - er\cos\phi$ ou encore à $r = a(1 - e^2)/(1+e\cos\phi)$ et nous obtenons :
L'ellipse de demi-grand axe $a$ et d'excentricité $e$ a comme équation polaire, avec le centre des coordonnées en un foyer $F$ et $\phi\equiv\pi\pmod{2\pi}$ pour l'autre foyer $F'$ :
  \begin{equation}
    r = \frac{p}{1 + e\cos\phi}
  \end{equation}
Lorsque le centre des coordonnées est en $F$ avec l'autre foyer ayant argument $\phi \equiv0\pmod{2\pi}$, l'équation est :
  \begin{equation}
    r = \frac{p}{1 - e\cos\phi}
  \end{equation}
Ce cas de figure correspond à l'apogée ayant argument nul.
Les auteurs injectent cette équation polaire de l'ellipse dans l'élément d'aire $\frac{1}{2}r^2\mathrm{d} \phi$ et retrouvent (après un assez long calcul de primitives) la formule $\frac{ab}2(E - e \sin(E))$ pour l'aire balayée à partir du périgée, l'angle $E$ provenant de plusieurs changements de variables successifs. Ils signalent malicieusement « Il faut donc avoir fait une fois dans sa vie ce calcul brutal de $\frac12\int_0^\phi r^2 \mathrm{d} \phi$,... »..
 La partie 4 établit les équations reliant $E$ et $\phi$ :
\begin{equation}
  \cos E = \frac{a\cos \phi + c}{a + c \cos \phi}
\end{equation}

\begin{equation}
  \tan\frac E2 = \sqrt{\frac{1-e}{1+e}}\tan\frac\phi2
\end{equation}
Il est démontré que le graphe de $E$ comme fonction de $\phi$ est symétrique par rapport à la droite $E+\phi = \pi$.
Graphes de $E$ en fonction de $\phi$, pour différentes valeurs de l'excentricité on a indiqué sur la figure l'axe de symétrie $E + \phi =  \pi$.

La partie 5 montre que la relation entre $(O;E)$ et $(F_1;\phi)$ est symétrique :

 La partie 6 établit la relation entre les coordonnées angulaires aux deux foyers et en conclusion que la bissectrice intérieure au point $M$ aux droites $MF_1$ et $MF_2$ est  normale à la tangente en $M$ à l'ellipse.

 Une longue annexe est consacrée à des considérations sur des calculs numériques tels que celui de $E$ à partir de $\phi$ en comparant l'utilisation de Python et de xint.

Deux animations Gif :



vendredi 27 décembre 2019

Bonne Année 2020

Le fichier de calcul des images nécessite le package pst-crayon disponible sur ce blog avec de nombreux exemples.
Les fichiers sont disponibles ici :
http://manuel.luque.free.fr/2019-2020/2019-2020.zip
ou
2019-2020

Pour convertir le pdf en animation Gif :
convert  -density 150x150 -alpha remove  -delay 5 2019.20.pdf[1-1000]  -loop 0   2019.20.gif

Remarque : un clic sur l'image permet d'avoir seulement l'animation sur une page.


Constructions d'une ellipse

Trois méthodes pour construire une ellipse par Jürgen Gilg.

Pour les calculs Jürgen utilise https://ctan.org/pkg/xint de Jean-François Burnol et pour la représentation graphique https://ctan.org/pkg/pst-geometrictools de Thomas Söll en particulier.
Vous trouverez de très nombreux exemples d'utilisation de ces 2 packages en faisant une recherche sur ce blog.

Les fichiers sont disponibles ici :
Ellipse-Jürgen
ou
http://manuel.luque.free.fr/Ellipse/Ellipse.zip

Tous les fichiers sont aussi disponibles sur la page dédiée aux applications de xint et polexpr :
http://melusine.eu.org/syracuse/G/xint-polexpr


vendredi 13 décembre 2019

La deuxième loi de Képler

Étude et illustration de la 2 ième loi de Képler (loi des aires) par Thomas Söll et Jürgen Gilg avec pour les calculs https://ctan.org/pkg/xint de Jean-François Burnol et PSTricks de Timothy Van Zandt.
Le document est téléchargeable  aux adresses suivantes :
Kepler_2.pdf
Kepler_2.tex
ou
 Kepler_2.pdf et Kepler_2.tex
Quelques images extraites du document et la démonstration :
Les paramètres de l'ellipse :

La transformation de l'angle $E$ (angle au centre de l'ellipse) avec l'angle $\varphi$ (l'angle de sommet le foyer de l'ellipse -- l'angle polaire).

Pour l'angle polaire $\varphi$ :
\begin{align}
\cos(\varphi) & = \frac{a\cdot\cos(E)-c}{r}= \frac{a\cdot\cos(E)-c}{a-c\cdot\cos(E)}\\
\sin(\varphi) & = \frac{b\cdot\sin(E)}{r}=\frac{\sqrt{a^2-c^2}\cdot\sin(E)}{a-c\cdot\cos(E)}\label{eq:Diff}
\end{align}La formule de transformation entre les angles $E$ (origine) et $\varphi$ (foyer $F_2$) :
\begin{equation*}
\tan\left(\frac{\varphi}{2}\right)=\sqrt{\frac{a+c}{a-c}}\cdot\tan\left(\frac{E}{2}\right)
\end{equation*}En prenant la formule (2) et en dérivant par rapport à $t$ :
\begin{align*}
\frac{\text{d}}{\text{d}t}(\sin(\varphi))&=\cos(\varphi)\cdot\dot{\varphi}\\
&= \frac{b\cos(E)\cdot\dot{E}(a-c\cos(E))-c\sin(E)\cdot\dot{E}b\sin(E)}{(a-c\cos(E))^2}\\
&=\ldots\\
&=b\dot{E}\cdot\frac{a\cos(E)-c}{(a-c\cos(E))^2}
\end{align*}On divise par $\cos(\varphi)$, alors
\begin{equation}\label{eq:varphi}
\dot{\varphi}=\frac{\text{d}\varphi}{\text{d}t}=\frac{b\dot{E}}{a-c\cos(E)}=\frac{b\dot{E}}{r}
\end{equation}
La deuxième loi de Kepler (\emph{Loi des aires}) dit :

Le rayon-vecteur reliant une planète au Soleil balaie des aires égales en des temps égaux.

L'aire doit être constante :
\begin{equation*}
r^2\cdot\dot{\varphi}=\text{cste.}=C
\end{equation*}
L'équation (3) résolue pour $\dot{E}$ :
\begin{equation*}
\dot{E}=\frac{\text{d}E}{\text{d}t}=\frac{r^2\dot{\varphi}}{br}=\frac{C}{br}=\frac{C}{b(a-c\cos(E))}
\end{equation*}Par integration
\begin{align*}
\int\text{d}t &=\int\frac{b}{C}(a-c\cos(E))\,\text{d}E\\
t &= t(E): \, t=\frac{b}{C}(aE-c\sin(E))
\end{align*}
Une animation due à Jean-François Burnol :
Le fichier source à compiler par la méthode habituelle pour obtenir le pdf :
KeplerOrbit.tex
ou
http://manuel.luque.free.fr/Kepler/KeplerOrbit.tex

À partir du pdf vous obtiendrez le Gif animé avec la commande  :

 convert -verbose -density 150x150 -alpha remove -delay 0 KeplerOrbit.pdf[0] -dispose previous -delay 10 KeplerOrbit.pdf[1-1000]  -loop 0  KeplerOrbit.gif

Tous les fichiers sont aussi sur la page dédiée aux applications des packages xint et polexpr :
https://melusine.eu.org/syracuse/G/xint-polexpr/

La ronde de 24 objets satellisés sur une orbite elliptique autour du Soleil (on suppose qu'il n'y a aucune interaction entre eux).
Sur une idée et une réalisation de Jean-François Burnol, avec une animation au format SVG de Jürgen Gilg.
Les fichiers sources :utilisant le package https://ctan.org/pkg/animate d'Alexander Grahn.


ou
http://manuel.luque.free.fr/Kepler/KeplerPearls-animate-gif.tex
http://manuel.luque.free.fr/Kepler/KeplerPearls-animate.tex



Quelques notes de lecture sur Képler et Tycho Brahé :
http://manuel.luque.free.fr/Tycho-Brahe/Tycho.zip

jeudi 12 décembre 2019

Le père Noël

Le père Noël : une carte postale d'Allemagne tricotée par Jürgen Gilg avec PSTricks.


Les liens vers les fichiers source et pdf : Noël 2019
ou :
http://manuel.luque.free.fr/Noel/Noel2019.tex
http://manuel.luque.free.fr/Noel/Noel2019.pdf