证明:三块红色面积=绿色面积S1