4
$\begingroup$

Matrices are useful for proving statements like

  • The ratio between the areas of a parallelogram and the quadrilateral formed by joining their midpoints is $2$.

  • The ratio between the volumes of a parallelepiped and the cuboctahedron formed by joining its midpoints is $\frac{6}{5}$.

, because one can apply some matrix $T^{-1}$ to the vertices of the shapes to turn them into cubes/squares (i.e. via an affine transformation). Then, solve the problem in this now simpler case. As the ratios of areas are unchanged under $T$ acting on a shape, the conclusion holds in the general case. enter image description here

Now, is there a mathematical object, similar to matrices, that deals with non-affine transformations? For example, could similar method be used to solve the first problem for any arbitrary quadrilateral?

The theory of non-affine transformations is probably going to be much more complex than in the affine case, as the ratios of areas are not preserved, with some areas ballooning out and some squashed (although I conjecture a non-affine transformation acts locally as an affine transformation). However, I ask in hope that there exist theorems that could help simplify the situation. I have heard of the shoelace theorem, but am not sure how generally it could be applied to solve general problems.

$\endgroup$
1
$\begingroup$

Using the shoelace formula

As I stated in my other answer that it is not particularly useful to proove the statements you quoted, I'll here focus on a viable solution for that. The key is the shoelace formula you already mentioned. It states that the area of a polygon is

\begin{multline*} A(p_0,p_1,p_2,\dots,p_{n-1})= \frac12\sum_{i=0}^{n-1} \begin{vmatrix} x_i & x_{(i+1)\bmod n} \\ y_i & y_{(i+1)\bmod n} \\ \end{vmatrix} =\\ \tfrac12\bigl( (x_0y_1-x_1y_0) + (x_1y_2-x_2y_1)+\dots+ %(x_{n-2}y_{n-1}-x_{n-1}y_{n-2})+ (x_{n-1}y_0-x_0y_{n-1})\bigr) \end{multline*}

So in your case of $n=4$ the area will be $$A=\tfrac12\bigl(x_0y_1-x_1y_0+x_1y_2-x_2y_1+x_2y_3-x_3y_2+x_3y_0-x_0y_3\bigr)$$

Your midpoints are \begin{align*} x_0' &= \frac{x_0+x_1}2 & x_1' &= \frac{x_1+x_2}2 & x_2' &= \frac{x_2+x_3}2 & x_3' &= \frac{x_3+x_0}2 \\ y_0' &= \frac{y_0+y_1}2 & y_1' &= \frac{y_1+y_2}2 & y_2' &= \frac{y_2+y_3}2 & y_3' &= \frac{y_3+y_0}2 \end{align*}

Plug these new values into the above formula, simplify things a bit, and you will obtain a result which is just half the one you got before.

But in all of this, the only matrices involved were those $2\times2$ matrices used for the determinants.

$\endgroup$
3
$\begingroup$

The example matrix included in your illustration is linear, not affine. The former is only a special case of the latter.

Projective transformations are matrices

This answer focuses on your question

Now, is there a mathematical object, similar to matrices, that deals with non-affine transformations?

One possible class of non-affine (or at least not neccessarily affine) transformations are the projective ones. They, too, are expressed as matrices, but acting on homogenous coordinates. Algebraically that looks like a linear transformation one dimension higher, but the geometric interpretation is different: the third coordinate acts like a divisor for the other two. Affine transformations are covered as a special case. Projective geometry is a broad subject, so this answer can only provide initial pointers.

Projective transformations don't preserve ratios of areas, or ratios of lengths along a single line, the way affine transformations do. For this reason, the above approach is useful in describing general deformations, but dealing with the statements you quoted in this approach is rather tricky.

$\endgroup$
  • $\begingroup$ Thank you. Could you provide a concrete example (for instance, sketching the roadmap of the solution to first question for a general quadrilateral)? $\endgroup$ – Meow Nov 28 '13 at 14:08
0
$\begingroup$

In programming I use the "perspective" matrix. There a lot of formulas but in my case for 3D it is just E matrix of size 4x4 but with m34 != 0 (m34 when m43 means z-translation or vice versa). So it is still a matrix but with some exceptions because if you merge it with usual transform matrices it adds a distortion to objects (in my case it transforms rects to trapezium).

And finally the programming language I use detects this transform as non-affine one.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.