Definition of area I am looking for an attractive, but rigorous definition of area;
say in Euclidean plane. Probably there is no short definition. It is OK to make it even longer, but can it be built from useful parts in a not boring way? Say in such a way that not all the students will sleep on the lecture? 
Comments. 


*

*The real problem is to prove existence, the uniqueness is easy.

*Using integral does not seem to be a good idea.

*There is an approach where you write the formula for area and then proving its properties. I do not like it since it moves you to discrete geometry which is completely irrelevant and the ideas used nearly useless anywhere else (so no reason to learn this stuff). [See for example "Geometry: A Metric Approach with Models" by Millman and Parker.]

*The method with measuring grid (cutting everything into small squares and counting) looks much better. One can consider this method as an introduction to integral. There is only one technical statement which has to be proved --- if you rotate square then its area does not change. The only problem is that it is not generalizable to say absolute plane or sphere...

*One may define the area as a limit of $\varepsilon^2\cdot N_\varepsilon$, where $N_\varepsilon$ denotes the maximal number of points in the figure one distance $>\varepsilon$ from each other. The only hard part is to prove existence of the limit $\varepsilon^2\cdot N_\varepsilon$ for say polygons. (You can exchange the limit to ultralimit --- this way everything works smoothly, but I do not want to sell my soul just to get a def of area...)
 A: I don't know how much about areas you want to prove, and  how developed a background the audience is supposed to have,    but here is a definition of area of a bounded planar region. 
Take  such a region  $D$ in $\mathbb{R}^2$,  $\newcommand{\bZ}{\mathbb{Z}}$  $\newcommand{\ve}{{\varepsilon}}$ consider the $\varepsilon$-grid $(\varepsilon\bZ)^2$ and denote by $N_\ve(D)$ the number of $\ve$-pixels that touch $D$. (A pixel is one of the $\ve\times\ve$-tiny squarers of the grid.) We then declare $D$ to be measurable (i.e. to have area) if the limit $\newcommand{\eA}{\mathscr{A}}$
$$ \eA(D)= \lim_{\ve\to0}\ve^2 N_\ve(D) $$
exists.   If this is the case, then we  define the area to be the limit $\eA(D)$, and we set $\eA_\ve(D)=\ve^2N_\ve(D)$.  
The first step is to prove $\newcommand{\bR}{\mathbb{R}}$ that if $L,U: [a, b]\to \bR$ are Riemann  integrable functions  and  $D(U,L)$  is the region 
$$D_f= \bigl\lbrace\; (x,y)\in [a,b]\times \bR;\;\;L(x) \leq y\leq U(x)\;\bigr\rbrace, $$
then   $D(U,L)$ is measurable
$$\eA(D(U,L))=\int_a^b  \bigl(\; U(x)-L(x)\;\bigr) dx. $$
The next thing to prove is a weak form of the inclusion-exclusion principle: if $D_1$, $D_2$   are  measurable   regions   that intersect along the graph of a $C^1$-function, then $D_1\cup D_2$ is measurable  and 
$$\eA(D_1\cup D_2)=\eA(D_1)+\eA(D_2). $$
A: To be honest, I'm no sure if this consrtuction matches the criterion of non-boringness, but it is rather short (I promise you all this takes less than 40 pages ;) ) and works in every dimension. It is related to the answer of Andy Putman, and the subsequent comments. I should maybe have kept on commenting, but there was simply not room enough. 
For my physics classes I introduce measuring the area of bounded open and closed sets (or volume in $\mathbb{R}^n$ ), by considering countable unions of closed rectangles, the edges of all of them being parallel to a given system of cartesian coordinates (let's call them acceptable). The union must be clean, in the sense that the rectangles overlap neatly to form a rectangulation (say). Because any nonempty intersection of two acceptable rectangles is again an acceptable rectangle, any countable union of acceptable rectangles clearly admits a clean sub-rectangulation.The same argument works also pretty well for describing a common sub-rectangulation of two others having the same image.
Define the area first for finite unions, starting by assigning the usual value to the area of a single rectangle (given as axiom), and extending the area functional using the usual additivity for quasi-disjoint (intersect at most along a common edge) union of acceptable rectangles (given as axiom). You retrieve all the usual properties of an area in that case.
Now a bounded countable and clean union $\bigcup_{n\in\mathbb{N}}R_n$ of acceptable rectangles can be assigned its area as the series $\sum_{n\in\mathbb{N}}\mathtt{Area}(R_n)$ (which always converges). As pointed out above, finding a common sub-rectangulation is fairly straightforward, and the limit does not depend on the choosen sub-rectangulation (commutatively summable series).
Since any open set is rectangulable (in the sense that it breaks in a countable clean union of acceptable rectangles), we can measure any open set. Any compact $K$ is included in the interior of an acceptable rectangle $R$ and $R\setminus{K}$ is a bounded rectangulable set $O$. We assign $\mathtt{Area}(R)-\mathtt{Area}(O)$ to the area of $K$.
By adding more natural axioms you can again extend this functional to all bounded elements of the borelian tribe, but that's a classical story.
A: There is an intuitive approach to area, based on the fact that polygons $P, P'$ have the same area if and only if they are equidecomposable (that is, one may be cut into pieces and reassembled to form the other).
The first three pages of this note sketch a "motivic" approach to the definition of area, for polygons.  Namely, one defines $K(\text{Poly})$ to be the free Abelian group generated by plane polygons $P$, subject to the following two relations:


*

*$[P]=[P']$ if $P$ is congruent to $P'$

*$[P]=[P_1]+[P_2]$ if $P$ may be cut into polygons $P_1$ and $P_2$.


An easy exercise (sketched in the note I link to) shows that $[P]=[P']$ if and only if $P$ and $P'$ have the same area, so $K(Poly)\simeq \mathbb{R}$.  But even better, one can define the area of a polygon $P$ as its class $[P]$ in $K(\text{Poly})$.  
Indeed, for many reasonable classes of subsets of the plane, one may extend this definition to assign to such a set a class in $K(\text{Poly})$.  For example, say a sequence of classes $[P_i]$ in $K(\text{Poly})$ converges to $[P]$ if there exists a representative $[A]-[B]$ for $[P-P_i]$ with both $A$ and $B$ contained in $[0, \epsilon_i]\times [0, \epsilon_i]$, with $\epsilon_i\to 0$.  
Suppose $X$ is a subset of the plane so that there is a sequence of polygons $P_i$, such that the symmetric difference $(X\cup P_i)-(X\cap P_i)$ is contained in a polygon $Q_i$.  Suppose further that $[Q_i]=[Q'_i]$ and $Q'_i\subset [0, \epsilon_i]\times [0,\epsilon_i]$, with $\epsilon_i\to 0$.  Then we assign to $X$ the class $$\lim_{i\to \infty} [P_i]$$ if it exists.  It's not hard to check (geometrically!) that this assignment is well-defined.
NB:  This approach does not work to define volume in $\mathbb{R}^n, n>2$.  Indeed, Dehn showed that there are many polyhedra with the same volume that are not equidecomposable.
A: If you are content with areas of polygons, you can define it à la K-theory. 
Let $\mathcal A$ be the free abelian group generated by polygons in the plane modulo the relations that identify pairs of congruent polygons and such that $P=P_1+P_2$ if $P_1$ and $P_2$ are the result of cutting the polygon $P$ into two pieces with a line.
One can show that $\mathcal A\cong\mathbb R$ as a group, and that the canonical map $\mathrm{Polygons}\to\mathcal A$ sending a polygon to its class is the area.
A: For students, probably the most elementary thing to do would be to restrict yourself to regions in the plane that can be triangulated with finitely many triangles (with straight sides).  Accepting the area of a triangle as known, you then define the area of a region by adding up the areas of the triangles in a finite triangulation.  The one thing you have to check is that this is well-defined.  For this, I would first prove that any two finite triangulations of a region in the plane have a common subdivision (if you're reasonably clever about it, this can be done very quickly; certainly in 3-5 pages), and then prove that your notion of area is invariant under subdivisions.
The nice thing about this is that all the main properties you want (eg that areas behave correctly under linear maps and translations) come for free from the analogous properties of triangles, which are easy.
