Let $G=(V,E)$ be a graph.
Let $t$ denote the number of triangles in the graph, and $x$ denote the number of **pairs** of distinct triangles that share an edge.  

(For example in $K\_4$ we have $t=4$ and $x=6$)  

Define $\Delta\_{e}= {\text {no. of triangles that use e}}$  

Define $\Delta\_{max}=\max\_{e\in E} \Delta\_{e}$


We have been able to show that $\frac {2x} {3t} \leq \Delta\_{max}$ and one can see that this is tight ($\pm 1$) when $G$ is a complete graph.


The proof we have is fairly simple: view this as an optimization problem. We aim to maximize the $L\_2$ norm of the vector $(\Delta\_{e\_1},\Delta\_{e\_2}, ... , \Delta\_{|E|})$ subject to the constraints that the overall number of triangles is still $t$ and that for all $e\in E$ we have $0\leq \Delta\_e \leq \Delta\_{max}$. 


My problem is that I'm convinced that there's a simpler straightforward proof. I feel in my bones that there's some simple counting argument hiding here, as the 2 in the numerator and 3 in the denominator of the bound must stem from the fact that we are discussing edges and triangles. They do so in our proof, but in a sort of roundabout way. Can anyone come up with a two-sentence proof for this bound?


Thanks



If many triangles share edges, then some edge is shared by many triangles
Let $N~$ be the number of figures consisting of two triangles sharing an edge, with one of the vertices not on the common edge marked.


Clearly $N=2x$. Alternatively, start with one triangle, mark a vertex, add a second triangle to the opposite side. So $N\le 3t(\Delta\_e-1)$. Which is now exact for complete graphs and sharpens your inequality.


