已知：如图,α∥β,α∩γ=a,β∩γ=b,求证：a∥b

证明：（反证法）假设直线a与直线b相交,且a∩b=O
∵a包含于α,O∈a,
∴O∈α
同理,O∈β
即α与β有公共点O,
这与已知α∥β矛盾
假设不成立,直线a与直线b不相交
∵a包含于γ,b包含于γ
∴a∥b