a/sinA=b/sinB=c/sinC=1/t
(at)^2-(ct)^2=(根号2-b/a)(at)(bt)
a^2-c^2=根号2ab-b^2
(a^2+b^2-c^2)/(2ab)=cosC=根号2/2