1 . 在平面直角坐标系中，利用公式①（其中，，，为常数），将点变换为点的坐标，我们称该变换为线性变换，也称①为坐标变换公式，该变换公式①可由，，，组成的正方形数表唯一确定，我们将称为二阶矩阵，矩阵通常用大写英文字母，，…表示．

(1)在平面直角坐标系中，将点绕原点按逆时针旋转得到点（到原点距离不变），求点的坐标；
(2)如图，在平面直角坐标系中，将点绕原点按逆时针旋转角得到点（到原点距离不变），求坐标变换公式及对应的二阶矩阵；
(3)向量（称为行向量形式），也可以写成，这种形式的向量称为列向量，线性变换坐标公式①可以表示为：，则称是二阶矩阵与向量的乘积，设是一个二阶矩阵，，是平面上的任意两个向量，求证：．

2 . 十字测天仪广泛应用于欧洲中世纪晚期的航海领域，主要用于测量太阳等星体的方位，便于船员确定位置.如图1所示，十字测天仪由杆AB和横档CD构成，并且E是CD的中点，横档与杆垂直并且可在杆上滑动.十字测天仪的使用方法如下：如图2，手持十字测天仪，使得眼睛可以从A点观察.滑动横档CD使得A，C在同一水平面上，并且眼睛恰好能观察到太阳，此时视线恰好经过点D，DE的影子恰好是AE.然后，通过测量AE的长度，可计算出视线和水平面的夹角（称为太阳高度角），最后通过查阅地图来确定船员所在的位置.

(1)若在某次测量中，横档的长度为20，测得太阳高度角，求影子AE的长；
(2)若在另一次测量中，，横档的长度为20，求太阳高度角的正弦值；
(3)在杆AB上有两点，满足.当横档CD的中点E位于时，记太阳高度角为，其中，都是锐角.证明：.