Skip to main content
Home
plus.maths.org

Secondary menu

  • My list
  • About Plus
  • Sponsors
  • Subscribe
  • Contact Us
  • Log in
  • Main navigation

  • Home
  • Articles
  • Collections
  • Podcasts
  • Maths in a minute
  • Puzzles
  • Videos
  • Topics and tags
  • For

    • cat icon
      Curiosity
    • newspaper icon
      Media
    • graduation icon
      Education
    • briefcase icon
      Policy

      Popular topics and tags

      Shapes

      • Geometry
      • Vectors and matrices
      • Topology
      • Networks and graph theory
      • Fractals

      Numbers

      • Number theory
      • Arithmetic
      • Prime numbers
      • Fermat's last theorem
      • Cryptography

      Computing and information

      • Quantum computing
      • Complexity
      • Information theory
      • Artificial intelligence and machine learning
      • Algorithm

      Data and probability

      • Statistics
      • Probability and uncertainty
      • Randomness

      Abstract structures

      • Symmetry
      • Algebra and group theory
      • Vectors and matrices

      Physics

      • Fluid dynamics
      • Quantum physics
      • General relativity, gravity and black holes
      • Entropy and thermodynamics
      • String theory and quantum gravity

      Arts, humanities and sport

      • History and philosophy of mathematics
      • Art and Music
      • Language
      • Sport

      Logic, proof and strategy

      • Logic
      • Proof
      • Game theory

      Calculus and analysis

      • Differential equations
      • Calculus

      Towards applications

      • Mathematical modelling
      • Dynamical systems and Chaos

      Applications

      • Medicine and health
      • Epidemiology
      • Biology
      • Economics and finance
      • Engineering and architecture
      • Weather forecasting
      • Climate change

      Understanding of mathematics

      • Public understanding of mathematics
      • Education

      Get your maths quickly

      • Maths in a minute

      Main menu

    • Home
    • Articles
    • Collections
    • Podcasts
    • Maths in a minute
    • Puzzles
    • Videos
    • Topics and tags
    • Audiences

      • cat icon
        Curiosity
      • newspaper icon
        Media
      • graduation icon
        Education
      • briefcase icon
        Policy

      Secondary menu

    • My list
    • About Plus
    • Sponsors
    • Subscribe
    • Contact Us
    • Log in
    • Some lovely proofs by picture

      Yutaka Nishiyama
      27 November, 2020
      2 comments
      Here's a result from geometry. If you draw three squares of the same size in a row, and then draw three lines from the upper left corner of the first square to the bottom right corners of the squares, as shown in the diagram below, then the angles α, β and γ add up to a right angle.
      Diagram

      Figure1: The three angles marked add up to a right angle.

      You can prove this result using the addition formulas of trigonometric functions (see here). But if you don't know these formulas, or are no good at remembering them, then that approach isn't very helpful. So let's look at some other ways of proving the result, which only require some basic geometry.

      Proof by picture: Proof 1

      For this method of proof first draw another row of three squares on top of the original ones, giving six squares in total. Then draw two auxiliary lines, as shown in green in the diagram below.

      Diagram

      Figure 2: The two red angles are the same.

      Now label some of the corners A to F as shown in the diagram. Look at the triangles ADB and FEG. Both are the result of forming a rectangle from two of the squares and slicing it in half with a diagonal line. This means that triangles ADB and FEG are congruent. And since they are congruent, the angle at the point D, β, is the same as the red angle at the point E, as shown in the diagram.

      The triangle FAE is isosceles: the two green lines are both diagonals of a rectangle formed by two of the squares and therefore have the same length. The triangle FAE also has a right angle at the corner point F. You can see this by noting that the two angles making up this angle (each formed by a green and a black like) are the same two angles that make up the corner of one of the original squares, which is of course ninety degrees.

      The triangle ABC is also an isosceles triangle with a right angle at one corner. This means that the two triangles ABC and FAE are similar, so the angle at the point C, α, is the same as the angle marked green at point E, as shown below.

      Diagram

      Figure 3: Label some of the corners.

      Thus, the three angles we have marked at corner E are α, β, and γ, and together they make up a right angle, as claimed.

      Proof by picture: Proof 2

      For the next proof, add two squares to the figure, as shown in purple below. Each of these new squares has as its diagonal the sides of two of the three original squares. It's quite easy to see that the triangle FEH and the triangle ACB are congruent, so the angle at the point C, α, is the same as the angle marked in green at E.

      Diagram

      Figure 4

      Now look at the triangle ADB. It's what you get when you slice in half the rectangle formed by two of the original squares with a diagonal. The triangle AEG, also comes from slicing a rectangle formed from two squares in half with a diagonal, only in this case the squares in question are the two larger ones we have just added to the diagram. Either way, this means that the triangles ADB and AEG are similar, so the angle at D, β, is the same as the angle marked in red at E.

      Thus, the three angles we have marked at corner E are α, β, and γ, and together they make up a right angle, as claimed.

      Proof by picture: Proof 3

      For the third proof add another row of three squares on top, so we now have nine squares in total. The middle column of squares forms a rectangle: add a diagonal of this rectangle to the figure as shown. Then draw a circle whose diameter is that diagonal.

      Diagram

      Figure 5: Draw a row of extra squares and an auxiliary line and circle.

      Label some of the corners of the squares as shown in the diagram below. The triangle DFC and the triangle AEB are congruent. That's because each comes from slicing in half the rectangle formed from three squares. This means that the angle at E, γ, is the same as the angle marked in blue at F.

      Diagram

      Figure 6: The blue angle at F is the same as the blue angle at E.

      Next we will use one of the eight circle theorems. Imagine two points, C and D, on a circle. They cut the circle into a larger arc (around the top) and a smaller arc (around the bottom, shown red below). Now imagine picking a point X on the larger arc. Then the angle formed by the line from C to X and the line from D to X is the same, no matter where on the larger arc X lies. You can see this in the Geogebra interactivity below. You can move the point X, to see that the angle in question stays the same. You can also move C and D to see that this fact does not depend on the location of C and D on the circle.

      The circle theorem applies to the points C and D in figure 6 above. This means that the angle γ, at F is the same as the angle marked in blue at A.

      Diagram

      Figure 7: The blue angle at A is the same as the blue angle at E.

      Finally, focus on the triangle ACD. The angle α is what is called an exterior angle of this triangle - it is formed by an extension of the side CD and an adjacent side of the triangle. The exterior angle theorem says that such an exterior angle is equal to the sum of the two interior angles that are not adjacent to the exterior angle. This means that β+γ=α. Now since the angle α is formed by the diagonal of a square and one of its sides, we have α=45∘. We therefore have α+β+γ=2α=90∘, as required.

      We hope you enjoyed these three elegant proofs of our result. They aren't the only ones that don't use trigonometry. See if you can come up with others by yourself!


      About the author

      Yutaka Nishiyama is a professor emeritus at Osaka University of Economics, Japan. After studying mathematics at the University of Kyoto he went on to work for IBM Japan for 14 years. He is interested in the mathematics that occurs in daily life, and has written ten books about the subject. The most recent one is The Mysterious Number 6174: One of 30 mathematical topics in daily life, published by Gendai Sugakusha in July 2013 (ISBN978-4-7687-6174-8). You can visit his website here.

      • Log in or register to post comments

      Comments

      Stephen Fratini

      7 December 2020

      Permalink

      Nice article ...
      Noticed a minor typo, i.e., change "by a green an a black like" to "by a green and a black line"

      • Log in or register to post comments

      Rachel

      8 December 2020

      In reply to Minor typo by Stephen Fratini

      Permalink

      Thanks for spotting that!

      • Log in or register to post comments

      Read more about...

      plane geometry
      geometry
      visual proof
      proof
      University of Cambridge logo

      Plus is part of the family of activities in the Millennium Mathematics Project.
      Copyright © 1997 - 2025. University of Cambridge. All rights reserved.

      Terms