rt，我猜 S△ABC−S△DEF=3Sp(1−p)S_{\triangle\textrm{ABC}}-S_{\triangle\textrm{DEF}}=3Sp(1-p)S△ABC−S△DEF=3Sp(1−p)，求证（我 AC 了）。
