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

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

7 . 已知有两只蚂蚁小红和小白在单位圆上活动，且有点，点.

(1)设小红所在位置为，小白所在位置为，.不妨设.那么小红和小白的直线距离为___________；
(2)如果小红和小白分别从､两点以相同的速度沿圆周分别以逆时针方向和顺时针方向爬行，且没有碰面.求两只蚂蚁所在位置（分别视为一个点）及､两点构成的四边形周长的最大值？
(3)如果小红和小白沿圆周随意溜达，这两只蚂蚁没有碰面且都没有在点，那么这两只蚂蚁所在位置（分别视为一个点）和点构成三角形.这类三角形周长最大值为___________；并予以证明.