\documentclass[12pt]{article}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[a4paper, margin=2cm]{geometry}
\usepackage{amsmath}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{stmaryrd}
\usepackage{color}
\usepackage[hidelinks]{hyperref}
\usepackage[framemethod=TikZ]{mdframed}
\usepackage{tikz, pgf}

\renewcommand*{\proofname}{Solution}

\newenvironment{theo}[1][]{%
\mdfsetup{%
    frametitle={%
        \tikz[baseline=(current bounding box.east),outer sep=0pt]
        \node[anchor=east,rectangle,fill=blue!20]
        {\strut Énoncé};}
    }%
\mdfsetup{%
    innertopmargin=10pt,linecolor=blue!20,%
    linewidth=2pt,topline=true,%
    frametitleaboveskip=\dimexpr-\ht\strutbox\relax%
}
 
\begin{mdframed}[]\relax}{%
\end{mdframed}}

\title{Problème 11}
\author{Théophile Cailliau}
\date{}

\begin{document}

\maketitle

\begin{theo}
    On considère un plateau d'échec dont deux cases ont été supprimées. Dans quels cas est-il possible couvrir entièrement l'échiquier à l'aide de dominos ? (Un domino recouvre exactement deux cases adjacentes de l'échiquier. Il n’est bien sûr pas permis de faire se chevaucher différents dominos.)
\end{theo}

\begin{proof}
    On distingue deux cas: \begin{itemize}
        \item Les deux cases supprimées sont de la même couleur.  
            Un domino couvre deux cases de couleurs différentes, et puisque les deux cases supprimées sont de la même couleur, il y a $30$ cases d'une couleur et $32$ de l'autre. Donc, il n'est pas possible de paver l'échiquier avec des dominos.
        \item Les deux cases supprimées sont de couleurs différentes. On montre qu'il est possible de paver l'échiquer avec une construction. On construit un chemin cyclique pour paver dans lequel les couleurs s'alternent.

            \begin{center}
            \begin{tikzpicture}
                \draw[line width=0.6mm] (0,0) rectangle (8, 8);
                \foreach \y in {0,2,...,6}{
                    \foreach \x in {0,2,...,6}{
                        \fill[color=black!100] (\x,\y) rectangle (1+\x,1+\y) rectangle (2+\x,2+\y);}}
                \draw[line width=2mm, color=blue!50] (1,1) -- (7,1);
                \draw[line width=2mm, color=blue!50] (0,2) -- (6,2);
                \draw[line width=2mm, color=blue!50] (1,3) -- (7,3);
                \draw[line width=2mm, color=blue!50] (0,4) -- (6,4);
                \draw[line width=2mm, color=blue!50] (1,5) -- (7,5);
                \draw[line width=2mm, color=blue!50] (0,6) -- (6,6);
                \draw[line width=2mm, color=blue!50] (1,7) -- (7,7);
                \draw[line width=2mm, color=blue!50] (7,1) -- (7,7);
            \end{tikzpicture}
            \end{center}

            On voit qu'on peut toujours paver ce chemin avec des dominos. Si l'on enlève deux cases de couleurs différentes, alors il y aura un nombre pair de cases entre celles-ci (puisque les couleurs s'alternent). On pourra alors paver l'échiquier.
    \end{itemize}
\end{proof}
\end{document}
