GNU Free Documentation License . .

( «»)
: ,

́ (, , . .) . .

[]

[]

, 4 .

, y=\operatorname{tg}\alpha_1 x+b_1 y=\operatorname{tg}\alpha_2 x+b_2 , \alpha_2=\frac{1}{2}\pi+\alpha_1. , \operatorname{tg}\alpha_1 \operatorname{tg}\alpha_2 =-1. ( \alpha_1,\alpha_2 )

: \perp, 1634 .

[]

A(xa,ya) B(xb,yb) - , O(xo,yo) - , P(xp,yp).

xo:=(xa*(yb-ya)^2 + xp*(xb-xa)^2 + (xb-xa) * (yb-ya) * (yp-ya)) / ((yb-ya)^2+(xb-xa)^2);

yo:=(yb-ya)*(xo-xa)/(xb-xa)+ya;

[]

1: () P, ' '.

2: () , A' ' , . , Q.

3: () Q. PQ .

[]

[]

, , .

[]

: , .

: , .

, , . , , .

[]

, 90 .

  • , , .
  • , , , .
  • , .

[]

[] 4-

: 3- , ( , ), 90°.

4- , ( , ), 2 , ( ), .

4- 2 4- ( 4- ). , 6 ( ).

. x y z t. , . {4\choose 2}=6: xy, xz, xt, yz, yt, zt, 6 . , , 3- (, xy xz, yz zt), , , 4- (, xy zt, yz xt).

[]

n- \mathbb{R}^n(n>2) W^n, l L^1 \Pi_{k} L^{k} ( L_1 \subset W^n, L^k \subset W^n,\ k < n ) \mathbb{R}^n.

l \Pi_{k}, L_1 L^{k}, (\forall \vec a \in L_1)\ (\forall \vec b \in L_k)\ \vec a \vec b=0

[]

[] .