What is the trigonometric form of #9 e^( ( pi)/2 i ) #?