30. As shown in the figure, draw PX⊥BC,PY⊥CA, PZ⊥AB, with X,Y,Z being the feet of the perpendiculars. Extend XP, and draw perpendiculars from Y,Z to the extended line, with the feet of the perpendiculars being M,N, respectively. Since PY⊥CA,PZ⊥AB, points A,Y,P,Z are concyclic, and the diameter of the circle is PA. According to the sine rule, YZ=PAsin∠YAZ=PAsinA. Since PX⊥BC,PY⊥CA, we have ∠ZPN=∠B,∠YPM=∠C. Considering the horizontal projection of YZ, we have YZ⩾ZM+NY, with equality holding if and only if YZ⊥PX. And ZM=PZsin∠ZPN=PZsinB,NY=PYsin∠YPM=PYsinC. Thus, from YZ⩾ZM+NY, we get
PAsinA⩾PZsinB+PYsinC
Multiplying both sides by 2R, we get
PA⋅AB⩾PZ⋅CA+PY⋅AB
Equality holds in inequality (1) if and only if YZ⊥PX. Similarly, we can prove that
PB⋅CA⩾PX⋅AB+PZ⋅BC
Equality holds in inequality (2) if and only if XZ⊥PY.
PC⋅AB⩾PX⋅CA+PY⋅BC
Equality holds in inequality (3) if and only if PZ⊥XY. Applying inequalities (1), (2), and (3) to the left side of the inequality and using the AM-GM inequality, we get
BC2PA+CA2PB+AB2PC=BC31⋅PA⋅BC+CA31⋅PB⋅CA+AB31⋅PC⋅AB⩾BC31(PZ⋅CA+PY⋅AB)+CA31⋅(PX⋅AB+PZ⋅BC)+AB31⋅(PX⋅CA+PY⋅BC)=(CA3AB+AB3CA)PX+(BC3AB+AB3BC)PY+(CA3BC+BC3CA)PZ⩾AB⋅CA2⋅PX+AB⋅BC2⋅PY+BC⋅CA2⋅PZ=AB⋅BC⋅CA4⋅21(BC⋅PX+CA⋅PY+AB⋅PZ)=AB⋅BC⋅CA4S△ABC=R1