I know that here on TeX.SX a plethora of similar questions has been answered, but strangely I couldn't find the one suiting my purpose. To that end I apologise if this post is a duplicate of some other I don't know of.
The MWE is as following:
\documentclass{article}
\usepackage{mathtools}
\usepackage{tikz}
\usepackage{pgfplots}
\usepackage{xcolor}
\setlength{\parindent}{0cm}
\begin{document}
\begin{tikzpicture}
\begin{axis}[xlabel=$x$,ylabel=$y$,
xmin=-15,xmax=15,ymin=-10,ymax=10, axis lines=center, axis equal, scale=1.6]
\addplot[domain=-15:15, color=blue, samples=400](\x,{\x + 1});
\addplot[domain=-15:15, color=red, samples=400](\x,{4});
\addplot[domain=-15:15, color=green, samples=400](\x,{-1/2*\x - 2});
\node at (axis cs:-2,-1) [circle, scale=0.4, draw=black!80,fill=black!80] {};
\node at (axis cs:3,4) [circle, scale=0.4, draw=black!80,fill=black!80] {};
\node at (axis cs:-12,4) [circle, scale=0.4, draw=black!80,fill=black!80] {};
\node at (axis cs:-2,0) {$P_1$};
\node at (axis cs:3,5) {$P_2$};
\node at (axis cs:-12,5) {$P_3$};
\end{axis}
\end{tikzpicture}
\end{document}
Which produces:
I would like to know how to color the polygon (or simplistically the triangle) defined by these three linear functions. All of the answers to similar questions only discussed the relationship between two "objects", not three. I've tried many methods, but without success. I would be gratified if you helped me out.

