( 2*ladoA*ladoB*( @Cos( ánguloC ) ) ))

Esta fórmula es una versión del teorema de los cosenos, que dice que para cualquier triángulo ABC, c² = a²+b²-2ab(cos(C)).