You did not specify whether the rotation is counter-clockwise or clockwise,
so since 45° is positive, I'll assume it is a counter-clockwise rotation.

The formulas are

x' = x∙cos(θ) - y∙sin(θ)
y' = x∙sin(θ) + y∙cos(θ)

I'll let you do all the substitutions.  Here's how the new triangle looks,
(in green).

  

Edwin