proof of sin45, cos45, tan45