高校数学の質問スレPart405

あ、最後の式、若干訂正

4(2+abc-ab-bc-ca)=
(a-b)^2+ (√(4-a^2)-√(4-b^2))^2+4c(1-a)(1-b)≧0