\documentclass[a4paper,12 pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[french]{babel}
\usepackage{xspace}
\usepackage{amsmath}
\usepackage{amscd}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{makeidx}
\usepackage{amsthm}
\usepackage{enumerate}
\usepackage{indentfirst}
\usepackage{layout}
\usepackage{mathrsfs}
%\usepackage{amsmath,amsfonts,amsthm,amssymb}
%\usepackage{amsxtra, mathrsfs, pstricks}
\usepackage{graphicx}
\usepackage{verbatim}
\usepackage{color}
\usepackage{amscd}
%\usepackage{verbatim}
\addtolength{\textwidth}{3cm}
\addtolength{\textheight}{5cm}
\setlength{\marginparwidth}{0in}
\setlength{\voffset}{-3.5cm}
\setlength{\hoffset}{-1.6in}
\setlength{\oddsidemargin}{1.5in}
\setlength{\evensidemargin}{1.5in}

\newcommand{\D}{\mathbb{D}}
\newcommand{\Z}{\mathbf{Z}}
\newcommand{\R}{\mathbf{R}}
\newcommand{\Q}{\mathbf{Q}}
\newcommand{\C}{\mathbf{C}}
\newcommand{\N}{\mathbf{N}}
\newcommand{\Pb}{\mathbb{P}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\re}{\Re\mathrm{\acute{e}}\,}
\newcommand{\im}{\Im\mathrm{m}\,}
\renewcommand{\to}{\longrightarrow}
\newcommand{\trm}[1]{\textrm{#1}}
\newcommand{\mrm}[1]{\mathrm{#1}}
\newcommand{\ovl}[1]{\overline{#1}}
\newcommand{\rd}{\partial}
\newcommand{\1}{\mathbf{1}}
\renewcommand{\d}{\mathrm d}
\newcommand{\supp}{\mathrm{supp}}
\newcommand{\cor}{\medskip {\em Corrigé :} \medskip}
\newcommand{\ind}[1]{\noindent {\em Indications : \begin{enumerate} #1  \end{enumerate}}}
\newcommand{\var}{\mathrm{Var}}

\theoremstyle{definition}
\newtheorem{ex}{Exercice}

\setlength{\parskip}{0.3ex plus 0.2ex minus 0.2ex}

\usepackage{ifpdf}
\ifpdf
 \usepackage[colorlinks,pdftex]{hyperref}
\else
 \usepackage[ps2pdf,breaklinks=true,colorlinks=true,linkcolor=red,citecolor=green]{hyperref}
\fi

\input{giacfr.tex}
\ifhevea
\(
\newcommand{\R}{{\mathbb{R}}}
\newcommand{\C}{{\mathbb{C}}}
\newcommand{\Z}{{\mathbb{Z}}}
\newcommand{\N}{{\mathbb{N}}}
\newcommand{\Q}{{\mathbb{Q}}}
\newcommand{\tr}{\mbox{tr\,}}
\)
\else
\newcommand{\R}{{\mathbb{R}}}
\newcommand{\C}{{\mathbb{C}}}
\newcommand{\Z}{{\mathbb{Z}}}
\newcommand{\N}{{\mathbb{N}}}
\newcommand{\Q}{{\mathbb{Q}}}
\newcommand{\tr}{\mbox{tr\,}}
\fi
%HEVEA\htmlfoot{Retour \`a la page principale de \ahref{http://www-fourier.univ-grenoble-alpes.fr/\home{parisse}/giac_fr.html}{Giac/Xcas}.}
\giacmathjax
%HEVEA\renewcommand{\footertext}{}


\begin{document} 
\begin{giacjshere}


\pagestyle{plain}

\noindent
\begin{minipage}[t]{0.47\textwidth}
{\bf Mat307, partiel 2022}
\end{minipage}
\hfill

\bigskip

{\bf Exercice 1}
\begin{giaconload}
X:=-2t+1/(1-2t); Y:=t^2-1/(1-2t);
\end{giaconload}
\medskip

\begin{enumerate}

\item Le domaine de définition est $\R\setminus\{\frac{1}{2} \}$. Il n'est pas
  sym\'etrique par rapport \`a l'origine, donc il n'y a pas de sym\'etrie \'evidente.

\item Les branches infinies
 correspondent à $x(t)\to \infty$ ou $y(t)\to \infty$. On voit que
 cela est le cas pour $t\to \pm\infty$ et $t\to 1/2$. 

Lorsque $t \rightarrow \pm \infty$, on a $X$ est \'equivalent \`a
$-2t$ et $Y$ \`a $t^2$ donc $Y/X
\rightarrow \pm \infty$,
on en déduit qu'il y a une branche parabolique d'axe $Oy$ lorsque $t\to \pm \infty$.

Lorsque $t\to \frac{1}{2}$,
$$
\frac{y(t)}{x(t)} = \frac{t^2(1-2t)-1}{-2t(1-2t)+1}
\rightarrow  -1   
$$
Et toujours lorsque $t\to \frac{1}{2}$,
$$y(t)+x(t) = t^2-2t \rightarrow  -3/4   $$
La droite $y=-x-3/4$ est donc asymptote.

\item On calcule

$$x'(t)=-\frac{8t(t-1)}{(1-2t)^2},\quad y'(t)=\frac{8t^3-8t^2+2t-2}{(1-2t)^2}.$$
On voit à partir de cela que le tableau de variation est le suivant :
\giacinputmath{tabvar([X,Y],t)}
% \begin{center}\includegraphics[scale=0.55]{tabvar.png} \end{center}

\item On voit d'après le calcul précédent des dérivées que $x'(t)=0$ implique $t=0$ ou $t=1$. En testant dans $y'(t)$, on conclue que $t=1$ est le seul point singulier. Calculons l'accélération en $t=1$ :

$$x''(1)=-8,\quad  y''(1)=10,$$
d'où un vecteur directeur de la tangente $(-8,10)$. Au voisinage de $t=1$, on a (on peut s'aider de la calculatrice pour les calculs des dérivées troisièmes)

$$(x(t),y(t))\simeq (x(1),y(1))+t^2(-4,5)-t^3(0,8).$$
Etant donné que les vecteurs $(-4,5)$ et $(0,8)$ ne sont pas
colinéaires, la courbe traverse sa tangente en $t=1$ (point de
rebroussement de première espèce).

Remarque~: on peut aussi calculer des d\'eveloppements limit\'es, mais
il faut faire attention \`a bien les faire en $t=1$ et pas en $t=0$,
il est conseill\'e de poser $t=1+h$ avec $h$ qui tend vers 0.

\item A l'aide de la calculatrice et de la commande factor, on calcule :

$$x''(t)y'(t)-x't)y''(t)=\frac{16(t-1)^2(2t+1)}{(2t-1)^3}.$$
Il y a des points d'inflexion lorsque le numérateur s'annule,
c'est-à-dire en $t=1$ et $t=-\frac{1}{2}$. On a déjà calculé le
vecteur directeur à la tangente en $t=1$ qui est un point singulier, pour $t=-\frac{1}{2}$ un vecteur directeur est donné par
$$(x'(-1/2),y'(-1/2))=(-3/2,-3/2).$$
De façon équivalent, on a $(1,1)$ comme vecteur directeur. 
D'où 
% une tangente en $t=1$ :
% $$y-2=-\frac{5}{4}(x+3)\Leftrightarrow y=\frac{-5x-7}{4}.$$
% Et 
une tangente en $t=-1/2$ :
$$y+\frac{1}{4}=(x-\frac{3}{2})\Leftrightarrow y=x-\frac{7}{4}.$$

\item On a le tracé suivant :
\giacinput{gl_x=-7..7;gl_y=-4..4;plotparam([X,Y],t=-2..2,display=ligne_chapeau_plat);
droite(y=-x-3/4,color=red);
droite(y=x-7/4,color=cyan);
osculating_circle([X,Y],t,0)}
%\begin{center} \includegraphics[scale=0.45]{plotparam.png} \end{center}
On voit en rouge l'asymptote oblique $y=-x-3/4$. Le sens de parcours est le suivant : on descend la parabole en partant de la branche de droite, on sort par l'asymptote oblique dans le coin inférieur droit, on rentre par l'asymptote oblique dans le coin supérieur gauche, on sort par la branche de gauche de la parabole.

\item En $t=0$, un vecteur directeur de la tangente est $\vec{v}(0)=(x'(0),y'(0))=(0,-2)$. Le vecteur unitaire tangent $\vec{T}$ est donc $(0,-1)$. Le vecteur unitaire normal $\vec{N}$ est donc $(1,0)$. D'autre part, l'accélération en $t=0$ est

$$\vec{a}(0)=(x''(0),y''(0))=(8,-6).$$
Donc la composante normale de l'accélération est 

$$a_n=\vec{a}\cdot \vec{N}=8.$$
D'après le cours, ceci est égal à $\frac{v^2(0)}{R}$, où $R$ est le rayon de courbure. Puisque $v(0)^2=4$, on en déduit que $R=\frac{1}{2}$. Le centre du cercle osculateur est donné par 

$$(x(0),y(0))+R\vec{N}=(1,-1)+\frac{1}{2}(1,0)=(\frac{3}{2},-1).$$
%On obtient :

%\begin{center} \includegraphics[scale=0.45]{circle} \end{center}

\item La longueur d'arc entre $t=-1.5$ et $t=0$ est donnée par

$$L=\int_{-1.5}^0\sqrt{(x'(t))^2+(y'(t))^2}\,dt.$$
On trouve numériquement que c'est $\approx 3.78$.
\giacinput{integrate(sqrt(diff(X,t)^2+diff(Y,t)^2),t,-1.5,0)}

\end{enumerate}





\end{giacjshere}

\end{document}