You need to install ActiveX plug-in to be able to view this model.
The base of the pyramid PABCD is the rectangle ABCD. The lateral edge PA is perpendicular to the plane of the base. To prove that cos PC = - cos BC ∙ cos CD.
You can download it here.