Properties of Principal Inverse Trigonometric Functions