Ça fait longtemps que je n'ai pas fait de produit scalaire, mais je vais te proposer ma réponse et on va voir ce que ça fait ^^
AJ.AC = 0,5AI.AC
= 0,5 (AB + BI).AC
= 0,5 AC.AB + 0,5 AC.BI (distributivité du produit scalaire, si tu te demande)
Or, BI = 0,5 BC donc
AJ.AC = 0,5 AC.AB + 0,5 * 0,5 AC.BC
= 9,5 + 0,25 * 1/2 (7² + 6² - ||AC - BC||² )
= 9,5 + 0,25 * 1/2 (7² + 6² - ||AC + CB||²)
= 9,5 + 0,25 * 1/2 (7² + 6² - ||AB||² )
= 9,5 + 0,25 * 1/2 (7² + 6² - 5²)
= 17 si je ne me trompe pas.
Qu'en penses-tu ?