Materials by Prof. Orietta Zangiacomi

This section collects some materials used in the Treviso Territorial Olympic Training Stages, prepared by Prof. Orietta Zangiacomi.

The notes focus on the structure of mathematical proofs and on logical reasoning patterns, which are fundamental tools for correctly tackling olympiad problems.

Valid Forms of Proof

This handout introduces the main proof techniques and logical frameworks used in mathematics, with particular attention to clarity and formal correctness in proofs.

Main topics:

• Structure of a proof (hypotheses, thesis, deductions)
• Logical implication and “if… then…”
• Biconditional and “if and only if”
• Common mistakes (especially confusing hypotheses and thesis)
• Proof by contradiction (modus tollens)
• Proof by induction (including strong induction)
• Method of infinite descent
• Pigeonhole principle (pigeonhole)
• Complementary counting

The material shows how to construct a proof as a sequence of logical implications, highlighting correct steps and the most effective techniques in competition problems.

Particular attention is also given to reasoning patterns (such as modus ponens and modus tollens) and their use in proofs.

Geometric Transformations

This handout explores the role of geometric transformations in the plane as fundamental tools for the analysis and solution of problems, particularly in an olympiad context.

A transformation is introduced as a function that maps points of the plane to other points, providing a unifying framework for describing geometric configurations and their properties.

Main topics:

• Definition of a geometric transformation and its functional interpretation
• Concepts of fixed point and invariant figure
• Notion of invariant and properties preserved under a transformation
• Composition of transformations
• Classification of transformations: Isometries (translations, rotations, reflections, identity), Homotheties, Affinities, Projectivities, Homeomorphisms
• Detailed study of invariants (distances, angles, parallelism, collinearity)
• Introduction to similarities as compositions of isometries and homotheties
• Use of transformations in geometric proofs

The material highlights how transformations make it possible to simplify geometric configurations, clarifying relationships between figures and facilitating the construction of effective proofs.

It is also emphasized that the use of transformations is not always automatically advantageous: knowing when to apply them is an integral part of olympiad-level expertise.