253 lines
8.1 KiB
TeX
253 lines
8.1 KiB
TeX
|
% Graphic for TeX using PGF
|
||
|
|
% Title: /home/francois/projet-de-maitrise/graphiques/probdroite.dia
|
||
|
|
% Creator: Dia v0.97.2
|
||
|
|
% CreationDate: Tue Jul 30 16:06:31 2013
|
||
|
|
% For: francois
|
||
|
|
% \usepackage{tikz}
|
||
|
|
% The following commands are not supported in PSTricks at present
|
||
|
|
% We define them conditionally, so when they are implemented,
|
||
|
|
% this pgf file will use them.
|
||
|
|
\ifx\du\undefined
|
||
|
|
\newlength{\du}
|
||
|
|
\fi
|
||
|
|
\setlength{\du}{15\unitlength}
|
||
|
|
\begin{tikzpicture}
|
||
|
|
\pgftransformxscale{1.000000}
|
||
|
|
\pgftransformyscale{-1.000000}
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\pgfsetarrowsend{latex}
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (12.000000\du,0.000000\du)--(24.000000\du,0.000000\du);
|
||
|
|
}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\pgfsetarrowsend{latex}
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (12.000000\du,0.000000\du)--(12.000000\du,-12.000000\du);
|
||
|
|
}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\pgfpathmoveto{\pgfpoint{23.400000\du}{0.000000\du}}
|
||
|
|
\pgfpathcurveto{\pgfpoint{12.400000\du}{0.000000\du}}{\pgfpoint{16.000000\du}{-10.000000\du}}{\pgfpoint{12.000000\du}{-5.000000\du}}
|
||
|
|
\pgfusepath{stroke}
|
||
|
|
}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (19.000000\du,-0.700000\du)--(19.000000\du,0.000000\du);
|
||
|
|
}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
{\pgfsetcornersarced{\pgfpoint{0.000000\du}{0.000000\du}}\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (19.032329\du,-0.056240\du)--(19.700000\du,-0.400000\du);
|
||
|
|
}}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
{\pgfsetcornersarced{\pgfpoint{0.000000\du}{0.000000\du}}\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (19.700000\du,-0.500000\du)--(19.700000\du,0.000000\du);
|
||
|
|
}}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
{\pgfsetcornersarced{\pgfpoint{0.000000\du}{0.000000\du}}\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (19.700000\du,0.000000\du)--(20.100000\du,-0.300000\du);
|
||
|
|
}}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (20.100000\du,-0.400000\du)--(20.100000\du,0.000000\du);
|
||
|
|
}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
{\pgfsetcornersarced{\pgfpoint{0.000000\du}{0.000000\du}}\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (20.100000\du,0.000000\du)--(20.500000\du,-0.200000\du);
|
||
|
|
}}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
{\pgfsetcornersarced{\pgfpoint{0.000000\du}{0.000000\du}}\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (20.500000\du,-0.300000\du)--(20.500000\du,0.000000\du);
|
||
|
|
}}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
{\pgfsetcornersarced{\pgfpoint{0.000000\du}{0.000000\du}}\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (20.900000\du,-0.200000\du)--(20.476079\du,-0.012490\du);
|
||
|
|
}}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\pgfpathmoveto{\pgfpoint{19.000000\du}{0.025000\du}}
|
||
|
|
\pgfpathcurveto{\pgfpoint{19.468950\du}{0.025000\du}}{\pgfpoint{19.200000\du}{0.925000\du}}{\pgfpoint{20.500000\du}{0.925000\du}}
|
||
|
|
\pgfusepath{stroke}
|
||
|
|
}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\pgfpathmoveto{\pgfpoint{21.500000\du}{0.925000\du}}
|
||
|
|
\pgfpathcurveto{\pgfpoint{22.800000\du}{0.925000\du}}{\pgfpoint{22.558025\du}{0.025000\du}}{\pgfpoint{23.000000\du}{0.025000\du}}
|
||
|
|
\pgfusepath{stroke}
|
||
|
|
}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\pgfpathmoveto{\pgfpoint{20.500000\du}{0.925000\du}}
|
||
|
|
\pgfpathcurveto{\pgfpoint{20.700000\du}{0.925000\du}}{\pgfpoint{21.000000\du}{1.125000\du}}{\pgfpoint{21.000000\du}{1.425000\du}}
|
||
|
|
\pgfusepath{stroke}
|
||
|
|
}
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetmiterjoin
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\pgfpathmoveto{\pgfpoint{21.500000\du}{0.925000\du}}
|
||
|
|
\pgfpathcurveto{\pgfpoint{21.300000\du}{0.925000\du}}{\pgfpoint{21.000000\du}{1.125000\du}}{\pgfpoint{21.000000\du}{1.425000\du}}
|
||
|
|
\pgfusepath{stroke}
|
||
|
|
}
|
||
|
|
% setfont left to latex
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\node[anchor=west] at (19.800000\du,2.175000\du){P(X>y)};
|
||
|
|
% setfont left to latex
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\node[anchor=west] at (10.300000\du,-11.500000\du){f(x)};
|
||
|
|
% setfont left to latex
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\node[anchor=west] at (23.400000\du,1.000000\du){x};
|
||
|
|
% setfont left to latex
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\node[anchor=west] at (22.000000\du,1.000000\du){};
|
||
|
|
\pgfsetlinewidth{0.100000\du}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetdash{}{0pt}
|
||
|
|
\pgfsetbuttcap
|
||
|
|
{
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetfillcolor{dialinecolor}
|
||
|
|
% was here!!!
|
||
|
|
\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
|
||
|
|
\pgfsetstrokecolor{dialinecolor}
|
||
|
|
\draw (20.900000\du,-0.200000\du)--(20.900000\du,0.000000\du);
|
||
|
|
}
|
||
|
|
\end{tikzpicture}
|