U pravokutniku ABCD zadane su točka E na stranici BC i točka F na stranici CD. Ako je trokut AEF jednakostraničan, dokažite da je da je
P△ECF=P△ABE+P△AFD.
Rješenje
Neka je x duljina stranice trokuta, a φ kut ∠BAE.
Površine trokuta su:
P△ABEP△AFDP△ECF=2xcosφ⋅xsinφ=4x2sin2φ=2xcos(30∘−φ)⋅xsin(30∘−φ)=4x2sin(60∘−2φ)=2xcos(60∘−φ)⋅xsin(60∘−φ)=4x2sin(120∘−2φ)
Adicijski teoremi:
P△ECFP△ABE+P△AFD=4x2(sin120∘cos2φ−cos120∘sin2φ)=4x2(23cos2φ+21sin2φ)=4x2(sin60∘cos2φ−cos60∘sin2φ+sin2φ)=4x2(23cos2φ+21sin2φ)=P△ECF