Text this: Learning proof of trigonometric identities with ChatGPT