私の友達からの情報ですが、大阪大学の後期入学試験問題に出題されたそうなので、
誘導があれば高校数学でも証明することができるのでしょう。
その入試問題は適当な大手予備校のページにならば掲載されているのかもしれません。