Triangles in intersecting families
We prove the following the generalized Turán type result. A collection T of r sets is an r-triangle if for every T1,T2,…,Tr−1∈T we have ∩i=1r−1Ti=∅, but ∩T∈TT is empty. A family F of sets is r-wise intersecting if for any F1,F2,…,Fr∈F we have ∩i=1rFi=∅ or equivalently if F does not contain any m-triangle for m=2,3,…,r. We prove that if n≥n0(r,k), then the r-wise intersecting family F⊆(k[n]) containing the most number of (r+1)-triangles is isomorphic to {F∈(k[n]):∣F∩[r+1]∣≥r}.