Compilateur LaTeX en ligne
www.cpierquet.fr
fichiers/c.pierquet/dominorecurr.tex
↓ télécharger
\documentclass[tikz,margin=5mm]{standalone}
\usetikzlibrary{shapes.multipart}

\def\recurdominolarg{0.4}
\def\recurdominohaut{2}
\def\recurdominoespaceh{1.5}
\newcommand\recurdominos[2][white]{%
	\foreach \i in {#2} {%
		\draw[thick,black,fill=#1] ({\recurdominoespaceh*\i-0.5*\recurdominolarg},0) rectangle++ (\recurdominolarg,\recurdominohaut) ;
	}
}
\newcommand\recurdominosvide[2]{%
	\foreach \i in {#1} {%
		\draw ({\recurdominoespaceh*\i},{0.5*\recurdominohaut}) node {#2} ;
	}
}
\colorlet{vertdomino}{green!50!black}

\begin{document}

\begin{tikzpicture}
	\recurdominos[red]{1,7}
	\recurdominos[white]{2,3,5,8,9}
	\recurdominos[vertdomino]{6}
	\recurdominosvide{4,10}{$\Huge\dots$}
	\foreach \i in {1,2,3}{%
		\draw ({\recurdominoespaceh*\i},\recurdominohaut) node[rotate=90,anchor=west,font=\small] {domino n°\i} ;
	}
	\draw ({6*\recurdominoespaceh},\recurdominohaut) node[rotate=90,anchor=west,font=\small] {domino n°$k$} ;
	\draw ({7*\recurdominoespaceh},\recurdominohaut) node[rotate=90,anchor=west,font=\small] {domino n°$k+1$} ;
	\draw[red,very thick,->,>=latex] ({\recurdominoespaceh*1+0.5*\recurdominolarg},\recurdominohaut) to[bend left] node[midway,above,sloped,red,font=\tiny\sffamily,inner sep=1pt] {tombe ?} ({\recurdominoespaceh*(1+1)-0.5*\recurdominolarg},{0.85*\recurdominohaut}) ;
	\draw[vertdomino,very thick,->,>=latex] ({\recurdominoespaceh*6+0.5*\recurdominolarg},\recurdominohaut) to[bend left] node[midway,above,sloped,vertdomino,font=\tiny\sffamily,inner sep=1pt] {tombe !} ({\recurdominoespaceh*(6+1)-0.5*\recurdominolarg},{0.85*\recurdominohaut}) ;
	\draw[red,very thick,->,>=latex] ({\recurdominoespaceh*7+0.5*\recurdominolarg},\recurdominohaut) to[bend left] node[midway,above,sloped,red,font=\tiny\sffamily,inner sep=1pt] {tombe ?} ({\recurdominoespaceh*(7+1)-0.5*\recurdominolarg},{0.85*\recurdominohaut}) ;
	%principe
	\draw ({\recurdominoespaceh*1},0) node[below,font=\scriptsize,align=center,red] {INITIALISATION\\à vérifier au(x)\\premier(s) rang(s)} ;
	\draw ({\recurdominoespaceh*6.5},0) node[below,font=\scriptsize,align=center,black] {HÉRÉDITÉ} ;
	\draw ({\recurdominoespaceh*5.75},-0.4) node[below,font=\scriptsize,align=center,vertdomino] {HYPOTHÈSE\\Supposons vraie\\au rang $k$ fixé} ;
	\draw ({\recurdominoespaceh*7.25},-0.4) node[below,font=\scriptsize,align=center,red] {À DÉMONTRER\\vraie\\au rang $k+1$} ;
\end{tikzpicture}
\end{document}