This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
10.81. Let B2C2 be the projection of the segment B1C1 onto the side BC. Then B1C1⩾B2C2=BC−BC1cosβ−CB1cosγ. Similarly, A1C1⩾AC−AC1cosα−CA1cosγ and A1B1⩾AB−AB1cosα−BA1cosβ. Multiply these inequalities by cosα,cosβ and cosγ respectively and add them. We get B1C1cosα+C1A1cosβ+A1B1cosγ⩾acosα+bcosβ++ccosγ−(acosβcosγ+bcosαcosγ+ccosαcosβ). Since c=acosβ+bcosα, then ccosγ=acosβcosγ+bcosαcosγ. Writing three similar inequalities and adding them, we get acosβcosγ+bcosαcosγ+ccosαcosβ=(acosα+bcosβ++ccosγ)/2.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.