Giả sử alpha và beta là nghiệm của phương trình x^2-2x+2 và cot = y+1.
Giả sử và là nghiệm của phương trình 
và 
. Chứng minh 
và . Chứng minh 
Ta có 
. Không mất tính tổng quát, lấy 
. Theo giả thiết 
.
Lúc đó:
Tương tự :
. Không mất tính tổng quát, lấy . Theo giả thiết . Lúc đó:
Tương tự :
Do đó
. Mặt khác: 
Từ đó ta có được: 