Q3 from British Mathematical Olympiad Paper 2 1996












0












$begingroup$


I have been trying to practice my maths by going through old BMO papers and have come across this question for which I have no idea. They do not display answers for questions this old anymore.



Distinct points A, P, Q, R, and S lie on the circumference of a circle and AP, AQ, AR, and AS are
chords with the property that:



∠PAQ = ∠QAR = ∠RAS.



Prove that



AR(AP + AR) = AQ (AQ + AS).



SOURCE:
https://bmos.ukmt.org.uk/home/bmolot.pdf Page 4



NOTE: If needed could people edit the tags because I am not fully sure what tags are most appropriate.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    This amounts to showing that the parallelopipeds spanned by AR and AP and AQ and AS (respectively) have the same area. The area of each is proportional to the product times the sine of the angles (which is equal by assumption). Also, you have two chords trisecting the angle PAS (in the nondegenerate case). I'm not sure if it helps.
    $endgroup$
    – tomasz
    Feb 3 at 0:39












  • $begingroup$
    My guess is that you should be able to do it by pure tirgonometry. Maybe using complex numbers to ease the calculations a little.
    $endgroup$
    – tomasz
    Feb 3 at 0:43
















0












$begingroup$


I have been trying to practice my maths by going through old BMO papers and have come across this question for which I have no idea. They do not display answers for questions this old anymore.



Distinct points A, P, Q, R, and S lie on the circumference of a circle and AP, AQ, AR, and AS are
chords with the property that:



∠PAQ = ∠QAR = ∠RAS.



Prove that



AR(AP + AR) = AQ (AQ + AS).



SOURCE:
https://bmos.ukmt.org.uk/home/bmolot.pdf Page 4



NOTE: If needed could people edit the tags because I am not fully sure what tags are most appropriate.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    This amounts to showing that the parallelopipeds spanned by AR and AP and AQ and AS (respectively) have the same area. The area of each is proportional to the product times the sine of the angles (which is equal by assumption). Also, you have two chords trisecting the angle PAS (in the nondegenerate case). I'm not sure if it helps.
    $endgroup$
    – tomasz
    Feb 3 at 0:39












  • $begingroup$
    My guess is that you should be able to do it by pure tirgonometry. Maybe using complex numbers to ease the calculations a little.
    $endgroup$
    – tomasz
    Feb 3 at 0:43














0












0








0





$begingroup$


I have been trying to practice my maths by going through old BMO papers and have come across this question for which I have no idea. They do not display answers for questions this old anymore.



Distinct points A, P, Q, R, and S lie on the circumference of a circle and AP, AQ, AR, and AS are
chords with the property that:



∠PAQ = ∠QAR = ∠RAS.



Prove that



AR(AP + AR) = AQ (AQ + AS).



SOURCE:
https://bmos.ukmt.org.uk/home/bmolot.pdf Page 4



NOTE: If needed could people edit the tags because I am not fully sure what tags are most appropriate.










share|cite|improve this question











$endgroup$




I have been trying to practice my maths by going through old BMO papers and have come across this question for which I have no idea. They do not display answers for questions this old anymore.



Distinct points A, P, Q, R, and S lie on the circumference of a circle and AP, AQ, AR, and AS are
chords with the property that:



∠PAQ = ∠QAR = ∠RAS.



Prove that



AR(AP + AR) = AQ (AQ + AS).



SOURCE:
https://bmos.ukmt.org.uk/home/bmolot.pdf Page 4



NOTE: If needed could people edit the tags because I am not fully sure what tags are most appropriate.







geometry vectors contest-math euclidean-geometry






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 3 at 0:32









tomasz

24.1k23482




24.1k23482










asked Feb 3 at 0:03









wesdrxvrtgfwesdrxvrtgf

908




908








  • 1




    $begingroup$
    This amounts to showing that the parallelopipeds spanned by AR and AP and AQ and AS (respectively) have the same area. The area of each is proportional to the product times the sine of the angles (which is equal by assumption). Also, you have two chords trisecting the angle PAS (in the nondegenerate case). I'm not sure if it helps.
    $endgroup$
    – tomasz
    Feb 3 at 0:39












  • $begingroup$
    My guess is that you should be able to do it by pure tirgonometry. Maybe using complex numbers to ease the calculations a little.
    $endgroup$
    – tomasz
    Feb 3 at 0:43














  • 1




    $begingroup$
    This amounts to showing that the parallelopipeds spanned by AR and AP and AQ and AS (respectively) have the same area. The area of each is proportional to the product times the sine of the angles (which is equal by assumption). Also, you have two chords trisecting the angle PAS (in the nondegenerate case). I'm not sure if it helps.
    $endgroup$
    – tomasz
    Feb 3 at 0:39












  • $begingroup$
    My guess is that you should be able to do it by pure tirgonometry. Maybe using complex numbers to ease the calculations a little.
    $endgroup$
    – tomasz
    Feb 3 at 0:43








1




1




$begingroup$
This amounts to showing that the parallelopipeds spanned by AR and AP and AQ and AS (respectively) have the same area. The area of each is proportional to the product times the sine of the angles (which is equal by assumption). Also, you have two chords trisecting the angle PAS (in the nondegenerate case). I'm not sure if it helps.
$endgroup$
– tomasz
Feb 3 at 0:39






$begingroup$
This amounts to showing that the parallelopipeds spanned by AR and AP and AQ and AS (respectively) have the same area. The area of each is proportional to the product times the sine of the angles (which is equal by assumption). Also, you have two chords trisecting the angle PAS (in the nondegenerate case). I'm not sure if it helps.
$endgroup$
– tomasz
Feb 3 at 0:39














$begingroup$
My guess is that you should be able to do it by pure tirgonometry. Maybe using complex numbers to ease the calculations a little.
$endgroup$
– tomasz
Feb 3 at 0:43




$begingroup$
My guess is that you should be able to do it by pure tirgonometry. Maybe using complex numbers to ease the calculations a little.
$endgroup$
– tomasz
Feb 3 at 0:43










2 Answers
2






active

oldest

votes


















3












$begingroup$

enter image description here



$$begin{align}
angle PAQ=angle QAR=angle RAS &quadimpliesquad |PQ|=|QR|=|RS| &=: a \
angle PAR=angle QAS &quadimpliesquad |PR|=|QS| &=: b
end{align}$$



Now, we simply invoke Ptolemy's Theorem on two inscribed quadrilaterals:
$$left.begin{align}
square APQR: &quad p a + r a = q b \
square AQRS: &quad q a + s a = r b
end{align}quadright}quadimpliesquad frac{p+r}{q} = frac{b}{a} = frac{q+s}{r}quadimpliesquad r(p+r) = q(q+s)$$






share|cite|improve this answer









$endgroup$





















    1












    $begingroup$

    A synthetic solution:



    The basic principle here? Keep adding things to the picture until we have enough to make it work.



    First, the basic diagram with our five points $A,P,Q,R,S$ on a circle $Gamma$ and some equal angles marked. Also, for future use, I've labeled the segments $AQ$ and $AR$.



    Figure 1



    Second, that expression $AR(AP+AR)$ kind of reminds me of Power of a Point. Let's make it actually into a case of that - extend $PA$ to a point $B$ such that $AB=AR$, and extend $SA$ to $C$ such that $AC=AQ$. Also, draw in $BR$ and $CQ$ to close those isosceles triangles:



    Figure 2



    Well, now we have two different points that we're computing powers from. It's the same circle $Gamma$, so we win if they're the same distance from the center. That's not much use directly, but the new lines we've drawn in are interesting. The isosceles triangles make $angle AQC =angle QCA=frac12angle QAS = angle QAR$, so $CQ$ and $AR$ are parallel. Similarly, $BR$ and $AQ$ are parallel. Extend $BR$ and $CQ$ to meet at $D$ and complete the parallelogram:



    Figure 3



    We have $angle CDB = angle ACD = angle DBA$, so $ACDR$ and $AQDB$ are isosceles trapezoids. The perpendicular bisector of $AQ$, which passes through the center of $Gamma$, also bisects $BD$, so $D$ is the reflection of $B$ across this bisector. In particular, if $R'$ is the second intersection of $BD$ with $Gamma$, then $BR'=DR$ and $BR=DR'$, so $DRcdot DR'=BR'cdot BR=BAcdot BP=ARcdot (AR+AP)$. Similarly, let $Q'$ be the second intersection of $CD$ with $Gamma$. $D$ is the reflection of $C$ across the perpendicular bisector of $AR$, which also passes through the center of $Gamma$ and bisects $CD$, so $CQ'=DQ$ and $CQ=DQ'$. Thus $DQcdot DQ' = CQ'cdot CQ=CAcdot CS = AQcdot (AQ+AS)$. But of course, $DQcdot DQ'=DRcdot DR'$, so $ARcdot (AR+AP)=AQcdot (AQ+AS)$. Done.



    As it happens, $QQ'=AP$ and $RR'=AS$. We didn't use these directly, but in the end we can mark off an awful lot of equal lengths in the picture. My method is certainly not the only one that works well.






    share|cite|improve this answer









    $endgroup$














      Your Answer








      StackExchange.ready(function() {
      var channelOptions = {
      tags: "".split(" "),
      id: "69"
      };
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function() {
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled) {
      StackExchange.using("snippets", function() {
      createEditor();
      });
      }
      else {
      createEditor();
      }
      });

      function createEditor() {
      StackExchange.prepareEditor({
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader: {
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      },
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      });


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3097978%2fq3-from-british-mathematical-olympiad-paper-2-1996%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      3












      $begingroup$

      enter image description here



      $$begin{align}
      angle PAQ=angle QAR=angle RAS &quadimpliesquad |PQ|=|QR|=|RS| &=: a \
      angle PAR=angle QAS &quadimpliesquad |PR|=|QS| &=: b
      end{align}$$



      Now, we simply invoke Ptolemy's Theorem on two inscribed quadrilaterals:
      $$left.begin{align}
      square APQR: &quad p a + r a = q b \
      square AQRS: &quad q a + s a = r b
      end{align}quadright}quadimpliesquad frac{p+r}{q} = frac{b}{a} = frac{q+s}{r}quadimpliesquad r(p+r) = q(q+s)$$






      share|cite|improve this answer









      $endgroup$


















        3












        $begingroup$

        enter image description here



        $$begin{align}
        angle PAQ=angle QAR=angle RAS &quadimpliesquad |PQ|=|QR|=|RS| &=: a \
        angle PAR=angle QAS &quadimpliesquad |PR|=|QS| &=: b
        end{align}$$



        Now, we simply invoke Ptolemy's Theorem on two inscribed quadrilaterals:
        $$left.begin{align}
        square APQR: &quad p a + r a = q b \
        square AQRS: &quad q a + s a = r b
        end{align}quadright}quadimpliesquad frac{p+r}{q} = frac{b}{a} = frac{q+s}{r}quadimpliesquad r(p+r) = q(q+s)$$






        share|cite|improve this answer









        $endgroup$
















          3












          3








          3





          $begingroup$

          enter image description here



          $$begin{align}
          angle PAQ=angle QAR=angle RAS &quadimpliesquad |PQ|=|QR|=|RS| &=: a \
          angle PAR=angle QAS &quadimpliesquad |PR|=|QS| &=: b
          end{align}$$



          Now, we simply invoke Ptolemy's Theorem on two inscribed quadrilaterals:
          $$left.begin{align}
          square APQR: &quad p a + r a = q b \
          square AQRS: &quad q a + s a = r b
          end{align}quadright}quadimpliesquad frac{p+r}{q} = frac{b}{a} = frac{q+s}{r}quadimpliesquad r(p+r) = q(q+s)$$






          share|cite|improve this answer









          $endgroup$



          enter image description here



          $$begin{align}
          angle PAQ=angle QAR=angle RAS &quadimpliesquad |PQ|=|QR|=|RS| &=: a \
          angle PAR=angle QAS &quadimpliesquad |PR|=|QS| &=: b
          end{align}$$



          Now, we simply invoke Ptolemy's Theorem on two inscribed quadrilaterals:
          $$left.begin{align}
          square APQR: &quad p a + r a = q b \
          square AQRS: &quad q a + s a = r b
          end{align}quadright}quadimpliesquad frac{p+r}{q} = frac{b}{a} = frac{q+s}{r}quadimpliesquad r(p+r) = q(q+s)$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Feb 3 at 9:24









          BlueBlue

          49.7k870158




          49.7k870158























              1












              $begingroup$

              A synthetic solution:



              The basic principle here? Keep adding things to the picture until we have enough to make it work.



              First, the basic diagram with our five points $A,P,Q,R,S$ on a circle $Gamma$ and some equal angles marked. Also, for future use, I've labeled the segments $AQ$ and $AR$.



              Figure 1



              Second, that expression $AR(AP+AR)$ kind of reminds me of Power of a Point. Let's make it actually into a case of that - extend $PA$ to a point $B$ such that $AB=AR$, and extend $SA$ to $C$ such that $AC=AQ$. Also, draw in $BR$ and $CQ$ to close those isosceles triangles:



              Figure 2



              Well, now we have two different points that we're computing powers from. It's the same circle $Gamma$, so we win if they're the same distance from the center. That's not much use directly, but the new lines we've drawn in are interesting. The isosceles triangles make $angle AQC =angle QCA=frac12angle QAS = angle QAR$, so $CQ$ and $AR$ are parallel. Similarly, $BR$ and $AQ$ are parallel. Extend $BR$ and $CQ$ to meet at $D$ and complete the parallelogram:



              Figure 3



              We have $angle CDB = angle ACD = angle DBA$, so $ACDR$ and $AQDB$ are isosceles trapezoids. The perpendicular bisector of $AQ$, which passes through the center of $Gamma$, also bisects $BD$, so $D$ is the reflection of $B$ across this bisector. In particular, if $R'$ is the second intersection of $BD$ with $Gamma$, then $BR'=DR$ and $BR=DR'$, so $DRcdot DR'=BR'cdot BR=BAcdot BP=ARcdot (AR+AP)$. Similarly, let $Q'$ be the second intersection of $CD$ with $Gamma$. $D$ is the reflection of $C$ across the perpendicular bisector of $AR$, which also passes through the center of $Gamma$ and bisects $CD$, so $CQ'=DQ$ and $CQ=DQ'$. Thus $DQcdot DQ' = CQ'cdot CQ=CAcdot CS = AQcdot (AQ+AS)$. But of course, $DQcdot DQ'=DRcdot DR'$, so $ARcdot (AR+AP)=AQcdot (AQ+AS)$. Done.



              As it happens, $QQ'=AP$ and $RR'=AS$. We didn't use these directly, but in the end we can mark off an awful lot of equal lengths in the picture. My method is certainly not the only one that works well.






              share|cite|improve this answer









              $endgroup$


















                1












                $begingroup$

                A synthetic solution:



                The basic principle here? Keep adding things to the picture until we have enough to make it work.



                First, the basic diagram with our five points $A,P,Q,R,S$ on a circle $Gamma$ and some equal angles marked. Also, for future use, I've labeled the segments $AQ$ and $AR$.



                Figure 1



                Second, that expression $AR(AP+AR)$ kind of reminds me of Power of a Point. Let's make it actually into a case of that - extend $PA$ to a point $B$ such that $AB=AR$, and extend $SA$ to $C$ such that $AC=AQ$. Also, draw in $BR$ and $CQ$ to close those isosceles triangles:



                Figure 2



                Well, now we have two different points that we're computing powers from. It's the same circle $Gamma$, so we win if they're the same distance from the center. That's not much use directly, but the new lines we've drawn in are interesting. The isosceles triangles make $angle AQC =angle QCA=frac12angle QAS = angle QAR$, so $CQ$ and $AR$ are parallel. Similarly, $BR$ and $AQ$ are parallel. Extend $BR$ and $CQ$ to meet at $D$ and complete the parallelogram:



                Figure 3



                We have $angle CDB = angle ACD = angle DBA$, so $ACDR$ and $AQDB$ are isosceles trapezoids. The perpendicular bisector of $AQ$, which passes through the center of $Gamma$, also bisects $BD$, so $D$ is the reflection of $B$ across this bisector. In particular, if $R'$ is the second intersection of $BD$ with $Gamma$, then $BR'=DR$ and $BR=DR'$, so $DRcdot DR'=BR'cdot BR=BAcdot BP=ARcdot (AR+AP)$. Similarly, let $Q'$ be the second intersection of $CD$ with $Gamma$. $D$ is the reflection of $C$ across the perpendicular bisector of $AR$, which also passes through the center of $Gamma$ and bisects $CD$, so $CQ'=DQ$ and $CQ=DQ'$. Thus $DQcdot DQ' = CQ'cdot CQ=CAcdot CS = AQcdot (AQ+AS)$. But of course, $DQcdot DQ'=DRcdot DR'$, so $ARcdot (AR+AP)=AQcdot (AQ+AS)$. Done.



                As it happens, $QQ'=AP$ and $RR'=AS$. We didn't use these directly, but in the end we can mark off an awful lot of equal lengths in the picture. My method is certainly not the only one that works well.






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  A synthetic solution:



                  The basic principle here? Keep adding things to the picture until we have enough to make it work.



                  First, the basic diagram with our five points $A,P,Q,R,S$ on a circle $Gamma$ and some equal angles marked. Also, for future use, I've labeled the segments $AQ$ and $AR$.



                  Figure 1



                  Second, that expression $AR(AP+AR)$ kind of reminds me of Power of a Point. Let's make it actually into a case of that - extend $PA$ to a point $B$ such that $AB=AR$, and extend $SA$ to $C$ such that $AC=AQ$. Also, draw in $BR$ and $CQ$ to close those isosceles triangles:



                  Figure 2



                  Well, now we have two different points that we're computing powers from. It's the same circle $Gamma$, so we win if they're the same distance from the center. That's not much use directly, but the new lines we've drawn in are interesting. The isosceles triangles make $angle AQC =angle QCA=frac12angle QAS = angle QAR$, so $CQ$ and $AR$ are parallel. Similarly, $BR$ and $AQ$ are parallel. Extend $BR$ and $CQ$ to meet at $D$ and complete the parallelogram:



                  Figure 3



                  We have $angle CDB = angle ACD = angle DBA$, so $ACDR$ and $AQDB$ are isosceles trapezoids. The perpendicular bisector of $AQ$, which passes through the center of $Gamma$, also bisects $BD$, so $D$ is the reflection of $B$ across this bisector. In particular, if $R'$ is the second intersection of $BD$ with $Gamma$, then $BR'=DR$ and $BR=DR'$, so $DRcdot DR'=BR'cdot BR=BAcdot BP=ARcdot (AR+AP)$. Similarly, let $Q'$ be the second intersection of $CD$ with $Gamma$. $D$ is the reflection of $C$ across the perpendicular bisector of $AR$, which also passes through the center of $Gamma$ and bisects $CD$, so $CQ'=DQ$ and $CQ=DQ'$. Thus $DQcdot DQ' = CQ'cdot CQ=CAcdot CS = AQcdot (AQ+AS)$. But of course, $DQcdot DQ'=DRcdot DR'$, so $ARcdot (AR+AP)=AQcdot (AQ+AS)$. Done.



                  As it happens, $QQ'=AP$ and $RR'=AS$. We didn't use these directly, but in the end we can mark off an awful lot of equal lengths in the picture. My method is certainly not the only one that works well.






                  share|cite|improve this answer









                  $endgroup$



                  A synthetic solution:



                  The basic principle here? Keep adding things to the picture until we have enough to make it work.



                  First, the basic diagram with our five points $A,P,Q,R,S$ on a circle $Gamma$ and some equal angles marked. Also, for future use, I've labeled the segments $AQ$ and $AR$.



                  Figure 1



                  Second, that expression $AR(AP+AR)$ kind of reminds me of Power of a Point. Let's make it actually into a case of that - extend $PA$ to a point $B$ such that $AB=AR$, and extend $SA$ to $C$ such that $AC=AQ$. Also, draw in $BR$ and $CQ$ to close those isosceles triangles:



                  Figure 2



                  Well, now we have two different points that we're computing powers from. It's the same circle $Gamma$, so we win if they're the same distance from the center. That's not much use directly, but the new lines we've drawn in are interesting. The isosceles triangles make $angle AQC =angle QCA=frac12angle QAS = angle QAR$, so $CQ$ and $AR$ are parallel. Similarly, $BR$ and $AQ$ are parallel. Extend $BR$ and $CQ$ to meet at $D$ and complete the parallelogram:



                  Figure 3



                  We have $angle CDB = angle ACD = angle DBA$, so $ACDR$ and $AQDB$ are isosceles trapezoids. The perpendicular bisector of $AQ$, which passes through the center of $Gamma$, also bisects $BD$, so $D$ is the reflection of $B$ across this bisector. In particular, if $R'$ is the second intersection of $BD$ with $Gamma$, then $BR'=DR$ and $BR=DR'$, so $DRcdot DR'=BR'cdot BR=BAcdot BP=ARcdot (AR+AP)$. Similarly, let $Q'$ be the second intersection of $CD$ with $Gamma$. $D$ is the reflection of $C$ across the perpendicular bisector of $AR$, which also passes through the center of $Gamma$ and bisects $CD$, so $CQ'=DQ$ and $CQ=DQ'$. Thus $DQcdot DQ' = CQ'cdot CQ=CAcdot CS = AQcdot (AQ+AS)$. But of course, $DQcdot DQ'=DRcdot DR'$, so $ARcdot (AR+AP)=AQcdot (AQ+AS)$. Done.



                  As it happens, $QQ'=AP$ and $RR'=AS$. We didn't use these directly, but in the end we can mark off an awful lot of equal lengths in the picture. My method is certainly not the only one that works well.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Feb 3 at 2:37









                  jmerryjmerry

                  17.1k11633




                  17.1k11633






























                      draft saved

                      draft discarded




















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3097978%2fq3-from-british-mathematical-olympiad-paper-2-1996%23new-answer', 'question_page');
                      }
                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

                      Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

                      A Topological Invariant for $pi_3(U(n))$