Proving Some Random Trigonometric Identities