El cuadrado de la longitud de un lado de un triángulo es la suma de los cuadrados de las longitudes de los otros dos lados, menos el doble producto de sus longitudes por el coseno del ángulo que forman dichos lados.
Si esto no te parece útil es que nunca has tratado de localizar cosas utilizando un láser.
Es sencillo de deducir, pero en caso de emergencia siempre lo podreis buscar en, por ejemplo, la Gacetilla Matemática