* Xét tam giác ABC vuông tại A:
* Áp dụng định lý Pytago: BC^2 = AB^2 + AC^2
* sinC = AB/BC, cosC = AC/BC
* Xét tam giác AMB vuông tại M:
* Áp dụng định lý Pytago: AB^2 = AM^2 + BM^2
* cosAMB = AM/AB
* Từ đó:
* cosAMB = AM/AB = (BC/2)/AB = (BC/2)/(BC*sinC) = 1/(2sinC)
* cos^2AMB = 1/(4sin^2C)
* 1 - cos^2AMB = 1 - 1/(4sin^2C) = (4sin^2C - 1)/(4sin^2C)
* cos^AMB = 1 - 2sin^2C
**2. cot^AMB = cot^2C - 1/2cot^C**
* Xét tam giác ABC vuông tại A:
* cotC = AC/AB
* Xét tam giác AMB vuông tại M:
* cotAMB = BM/AM
* Từ đó:
* cotAMB = BM/AM = (BC/2)/(AB/2) = BC/AB = 1/sinC
* cot^2AMB = 1/sin^2C
* cot^2C - 1/2cot^C = (AC^2/AB^2) - (AB/2AC) = (2AC^3 - AB^3)/(2AB^2*AC)
* cot^2C - 1/2cot^C = (2(BC*cosC)^3 - (BC*sinC)^3)/(2(BC*sinC)^2*(BC*cosC))
* cot^2C - 1/2cot^C = (2cos^3C - sin^3C)/(2sin^2C*cosC)
cot^2C - 1/2cot^C = (2cos^2C + sin^2C)/(2sin^2C) = 1/sin^2C = cot^2AMB(đpcm)