>>277
角OC1Aと角OC1C2が等しいのでcosで表して解く感じですか?